= y - z*n, -4*y - 5*n - 24 = 0. Let g be (3/(-3))/(y/(-2)). Is g smaller than 1?
True
Let a(c) = 29*c**2 + 3*c. Let n be a(-2). Let f be ((-2)/(-10))/(11/n). Is 2/3 > f?
False
Suppose -2*t = -t + 1. Let w be 2/t - 4/6. Let q = 9 - 13. Which is smaller: w or q?
q
Let d = -229.9 - -233. Which is greater: 0.3 or d?
d
Let a(w) = -3*w**3 + 44*w**2 + 15*w + 2. Let q be a(15). Which is smaller: -158 or q?
-158
Suppose u + 3*k + 15 = 0, 7*u + 10 = 6*u - 2*k. Do u and 38/33 have the same value?
False
Suppose -188 = 6*z - 182. Which is smaller: z or -55?
-55
Let f be 1/(-4) + (-39)/(-12). Let m(r) = r + 16. Let t be m(-10). Suppose t*c - f*c = 0. Which is smaller: -6 or c?
-6
Let l(f) = 7*f. Let o(g) = 4*g. Let z(b) = 3*l(b) - 5*o(b). Let h be z(0). Suppose h = w + 4*w, 2*d + 14 = w. Which is bigger: -8 or d?
d
Let f = -15 + 11. Let j be (f - -2 - 38/(-12)) + -2. Is -2 < j?
True
Let y be -4*1/14*(0 + -1). Suppose 3*a - q + 12 = 0, 3*a - 2*q = -a - 18. Let l be a/3 - (-3 - -1). Is l not equal to y?
True
Let c(r) = -r**3 + 5*r**2 + r + 7. Let l be c(5). Let g = 506 - 498. Suppose -l*a - 8 = -g*a. Is -11 bigger than a?
False
Let c be 1/(132/(-36)*17). Which is smaller: 0 or c?
c
Let v be (9/(-6))/(3/(-6)). Let a = 79 - 117.8. Let r = -39 - a. Which is smaller: v or r?
r
Let h = 122 - 147. Which is greater: -1 or h?
-1
Let a be ((-14)/(-6) - 2)*0. Let q be (1/(-3))/(14/(-48)). Which is greater: q or a?
q
Suppose 13 = 4*c + o, o - 10 + 5 = 0. Suppose -c*h - 5*j + 22 = 0, 2*j + j - 16 = -4*h. Are 1/7 and h non-equal?
True
Let a = 203.05 - 203. Let b(g) = -g + 13. Let t be b(7). Let s be (9/15)/(t/4). Is s at most as big as a?
False
Suppose -20 = 44*s - 64*s. Let v(u) = -6*u + 1. Let c be v(-1). Let n be 4/c - (-6)/(-9). Which is smaller: s or n?
n
Let b = 93 + -174. Let m = 91 + b. Is -1 <= m?
True
Let o = 0.128 + -0.228. Do o and 77 have different values?
True
Let y = 2641/168 - 55/24. Let t = -13 + y. Which is greater: 0 or t?
t
Suppose 38 = 58*u - 20*u. Is -15/32 greater than u?
False
Suppose 0 = 2*i - 4*w - 24, 10 - 2 = -3*i - 5*w. Suppose l + n = -i*l + 9, 5*n - 20 = 0. Let s be (-6)/4 + 1/((-24)/(-44)). Which is smaller: s or l?
s
Let t = 0.014 - 0.071. Let u = -2.243 + t. Let m = u - -2.4. Is m greater than or equal to 16?
False
Let o = -11476/15 + 765. Which is smaller: o or 0?
o
Suppose -n + 3*l = -3, -3*l - 3 + 0 = -2*n. Suppose 4*w = 0, 0 = f - n*f - 5*w + 39. Is -2/5 at least as big as f?
True
Let m = -1 - -0.5. Let g = 0.14 + -18.14. Let r = g - -19. Which is smaller: m or r?
m
Let f(u) = -1 + 3*u + 2 + 2062*u**2 - 2064*u**2. Let n be f(0). Suppose -4*r + 2*r = -o + 2, 3*r - o = -2. Is r greater than or equal to n?
False
Let d be ((-8)/(-12))/((-2)/3). Let n = -2 + -1. Let s be (-16)/20 - n/6. Which is greater: s or d?
s
Let x(z) = z**3 + 11*z**2 - z - 6. Let j be x(-11). Suppose -2*u = -10, u - 20 = -j*y - 2*u. Let h be y + (-2 - (-8)/4). Is h smaller than 6/11?
False
Let i = 999 + -999.0259. Is -1 equal to i?
False
Let z be ((-2632)/(-29892))/(4/3). Which is bigger: z or 0?
z
Let l = -4 + 0. Let i be (-2)/l - 5/6. Let m = i + 11/15. Is m not equal to -3?
True
Let q = 23 - 43. Let u be (-1)/2*(-8)/q. Let z = 5 + -6. Which is smaller: z or u?
z
Let z(r) = r**3 + 69*r**2 - 57*r + 283. Let n be z(-70). Is 2/3 at least n?
True
Let v(z) = -z**2 - 4*z + 2. Let x be v(-5). Let b(y) be the first derivative of -y**2 - 17*y - 9. Let a be b(-7). Is a at most as big as x?
True
Suppose -5*v - 119 = -2*p, -p + 4*p = 5*v + 166. Suppose r + p = 2*z, -5*r + 2*z - 187 = 4*z. Let o = r + 118/3. Which is smaller: -2 or o?
-2
Let p = -8.48 - -8. Let u = p - -0.31. Let a = u + 0.07. Is 2 less than a?
False
Let k = 673/16713 - 2/619. Which is bigger: 2 or k?
2
Let u be (-2 + 1)*(-4 - -5). Let n be 9/6 + (-17786)/16548. Let j = n - -2/591. Is u less than j?
True
Let n = 3208 + -2695. Which is smaller: 512 or n?
512
Let v = 0.216 - 0.176. Is 2/5 smaller than v?
False
Let p be (-1 + (-98)/(-102))/((-325)/690). Let x = 118 + -10024/85. Let f = x + p. Are -1 and f nonequal?
True
Let v = 11 + 45. Let w = 126 - 69. Which is bigger: v or w?
w
Let o be (-109)/(-56) + 6/(-3). Let a = -200985361/728 + 276079. Let x = a + o. Which is smaller: x or 1?
x
Let t = -3.2 - 0.8. Let v = 4 + t. Let n = -2.6 - -2.56. Is v at most as big as n?
False
Let x = -4 + 11. Let g be 63/147 + (-3)/x. Suppose -o + 2 = 0, 2*b + 0*b - 5*o + 2 = g. Do b and 6 have the same value?
False
Let d = 0.1391 + -0.2391. Which is smaller: d or -539?
-539
Let d be (-1)/(-4) + (-88602)/5544. Let a = 172/11 + d. Let q = a + -5/21. Is q >= 1?
False
Suppose -5*q = a + 12 + 14, -3*a = 5*q + 28. Let p be (a - -3)/((-1)/(-2)). Let h = -32 - -37. Is p at most as big as h?
True
Let h = 2001/85 + -118/5. Which is bigger: -1 or h?
h
Suppose 0 = 3*t - 0 - 6, 4*t - 18 = b. Is b at most 0?
True
Let p = -0.07 - -0.16. Let y = p + 2.31. Let g = y - 0.4. Which is smaller: g or 0?
0
Suppose -1 - 11 = -4*t. Let w be (t/36)/((-3)/30). Let y = -155 + 154. Is w < y?
False
Suppose -7*w + 315 = -2*w. Let p = w + -40. Is p at least 23?
True
Suppose 2*t + 3*r = 3, -4*t - 2 = 4*r + 2. Let p = t + 10. Suppose -h = 4*u + 17, 4 = -5*h - p*u - 33. Which is smaller: h or -6?
-6
Suppose 0 = 12*a - 13*a + 4, 5*a - 20 = -3*d. Are d and 22/19 non-equal?
True
Let o be 9 - (-1 + -9 + 9). Is 11 at most o?
False
Suppose -2*n + 136 = -3*x, -x + 2*x - n = -46. Which is greater: x or -41?
-41
Suppose 0 = 38*r - 39*r + 46. Let w = r + -36. Is w less than 9?
False
Suppose 2*a - 6 - 6 = 0. Suppose -a*y + 0 = 6. Which is smaller: -9/4 or y?
-9/4
Let n = -2252 - -31501/14. Which is smaller: -1 or n?
n
Let l be (-4 - -2)/(-2) - 11. Let j = 8 + l. Let z = j + 1. Which is bigger: -3 or z?
z
Let d = 72 + -128. Let z = -49.9 - d. Let p = 2.1 - z. Is p >= 2/5?
False
Let n be 2*((-2)/(-3) - 10323/(-54)). Let j = n - 389. Which is greater: -2/7 or j?
-2/7
Suppose -2*w + c = -10, 3*w = -2*w + c + 31. Let s = -2 + w. Is s > 35/6?
False
Let v = -6 - 3. Let n be 9/5*(-30)/v. Suppose -l = l + n. Which is bigger: -2 or l?
-2
Let d(o) = -o**2 - o + 2. Let x be d(1). Let l = -9719/43 + 226. Which is smaller: l or x?
l
Let f(h) = -7*h + 4. Suppose -7*v - 7 = -21. Suppose 3*k = 4*g + 2*k - 8, -g + v = 4*k. Let w be f(g). Which is greater: -9 or w?
-9
Let s(p) = 4*p**2 + 1. Let y be s(1). Suppose -y*w = -8 - 2. Suppose -5*u + 3*r - 60 = 0, -50 = -w*u + 4*u + 4*r. Is -15 > u?
False
Suppose 0*i = i - 3. Suppose -14 = -i*l + 5*l. Let y = 6 + l. Is y at most as big as -1/26?
True
Let o be ((-6)/(-60))/((-2)/6). Suppose -2 = -0*f + 2*f. Let k = -1 - f. Is o less than or equal to k?
True
Let c = -2/751 - -1588/32293. Which is greater: c or -3?
c
Let p = 312 - 262. Which is greater: 53 or p?
53
Let y = -3728/273 - -180/13. Which is bigger: y or -1?
y
Let x be 1 + 4/12 - 2/6. Are -3/713 and x equal?
False
Let j = -4/57 - -178/1995. Is 1 at most j?
False
Let a = -20 - -45. Let p be 2/(-3) - a/120. Is -2 at least as big as p?
False
Let v be -6*(-8)/3714*26/312. Which is smaller: 0 or v?
0
Let w be (0/(-5))/(-2 - 0). Suppose w = 2*m - 12 + 14. Does m = 1/6?
False
Suppose 6*x = -2*x + 48. Suppose -x = 4*k - 3*k. Which is smaller: -3 or k?
k
Suppose 0 = 45*n - 68*n - 16606. Is -723 equal to n?
False
Let v = -104 - -103.981. Let z = 4.381 - v. Which is smaller: 1 or z?
1
Let n = 36 + -12. Suppose 2*r + n = 5*r. Suppose 18 - 11 = -7*y. Is r > y?
True
Let h be -1*(0 + (-1 - 0)). Let v be 2/2*h/1. Let i(o) = -o**2 + 50*o - 225. Let s be i(45). Are v and s equal?
False
Suppose 4*q = -191 + 11. Let d = 313/7 + q. Which is bigger: d or -0.52?
d
Suppose 4*s = -2*p - 16, 2*p + 4*s - 4 = 5*s. Let b(k) = 3*k**2 + 1. Let t be b(1). Let j = p + t. Which is smaller: -3 or j?
-3
Let u = -578 - -577. Let k be (2 + 0 + -2)/(-2). Suppose k = -b - 1 + 11. Is u bigger than b?
False
Let d be (-2)/(-10) - 9/(-5). Suppose -8 = -8*l + 8. Suppose 3*q - 6 = d*n, 17 = l*q + 2*n + n. Do 1 and q have the same value?
False
Let w be (-10)/(4/18 + (-16)/(-9)). Is w at least as big as -47?
True
Let z be (2/(2/339))/((-231)/(-77)). Are z and 122 unequal?
True
Let l be (-504)/(-42)*(-6)/8. Which is bigger: 9 or l?
9
Let x be 0/1 - (-4)/122. Let w = 473 + -474. Are x and w equal?
False
Let g be 10*(14/10)/((-17)/(-51)). I