. Let j = -0.12 + 1.12. Which is smaller: u or j?
u
Suppose 2*c - 61 = -3*c - 2*i, 3*i + 71 = 5*c. Let g be (12 - c)/(2/(-380)). Let l = g + -755/4. Which is bigger: l or 1?
l
Let k = 994/3 - 345. Let a = 5 - 20. Are a and k unequal?
True
Let t be 2/(((-2)/(-10))/((-9)/(-18))). Are 64/11 and t equal?
False
Suppose -28*u = -33*u + 190. Let c(r) = 19*r - 76. Let x be c(6). Is x greater than u?
False
Let d be -8 + 9 - -1*(-17)/15. Let f = 0 + -3. Which is smaller: f or d?
f
Let m(b) = -b - 1. Let g be m(-5). Let h = g + 3. Let w(u) = -u**3 - 3*u**2 + 2*u. Let t be w(-4). Which is smaller: h or t?
h
Let v(c) be the second derivative of c**3/6 - c**2/2 + 3*c. Let k be v(-3). Let q be (1 + -2)*(-2)/k. Is q != -1?
True
Let b = -0.8 + 0.5. Let r = -722 + 9384/13. Is r at most as big as b?
False
Suppose -g - 3*f + 3 = -0*g, -3*g + 4*f = 4. Suppose 17*n + 6 + 79 = g. Which is greater: -3 or n?
-3
Let d be 38/(-68) + 1/2. Let q be (93/155)/(54/(-60)). Is d at most q?
False
Let v(r) = -158*r - 850. Let a be v(-7). Is a at most 258?
True
Suppose -5*h + 40 = -85. Suppose -o + 33 = h. Is -2/7 != o?
True
Let w = 1.192 + 0.808. Is w not equal to -26.5?
True
Suppose -28 = -2*a + 4. Let k = -2 + a. Let z = k - 2. Is 11 greater than or equal to z?
False
Let n = 13 - 27. Suppose 2*x + 49 - 19 = 0. Which is smaller: x or n?
x
Suppose 3*c - 6 = 18. Suppose -4 = 40*z - 36*z. Let m be ((-81)/(-18))/(z/(-2)). Is c < m?
True
Let g(h) = 18*h + 144. Let o be g(-8). Let n = 6058/11 + -552. Which is smaller: o or n?
n
Let g = -0.058 - -8.458. Let m = g + -8.32. Let h = 0.7 - -0.3. Which is bigger: m or h?
h
Let g = -16 + 14. Let n be (24/(-8))/(3/g). Suppose -4 = n*o - 2*d, 5*o + 6 = -2*d - 11. Which is smaller: o or -4?
-4
Let p be ((-16)/18)/(-4) - (-8120)/(-33705). Let v = 0 - -1. Is p less than v?
True
Let b = -3/2474 - 24551/155862. Which is bigger: -1 or b?
b
Let x = -229 - -467/2. Let r = 171 + -167. Which is smaller: x or r?
r
Suppose -3*t - 12 = 0, -p + 88 = 2*p - 4*t. Let q be (p/20)/(3 - (-68)/(-20)). Is q less than or equal to -6?
False
Let v = 0.005 + -11.905. Let p = v + 12. Which is greater: -1.4 or p?
p
Let y = 89/7 + -80/7. Suppose 3*i - 94 = -x, 0*i + 376 = 4*x - 4*i. Let n = x + -93. Which is bigger: y or n?
y
Suppose 7*q = 2*q. Let m = -88.09 - -88. Is q smaller than m?
False
Let z be -124*3/9 - (-15 + 17). Let v be 0 + -2 - 1079/(-24). Let j = v + z. Which is bigger: 0 or j?
0
Let v = 2.5 + -2.9. Is -3/5 at most v?
True
Suppose 0 = 5*t - 4 - 21. Suppose 0*r + 2 = -2*r, -5*r - t = 2*q. Which is smaller: 4/21 or q?
q
Let l(w) = w**3 - 3*w**2 - 3*w - 2. Let z be l(4). Suppose 0*i - z*r - 17 = -3*i, -2*r = -4*i + 24. Let g = 11 - i. Which is greater: 0.1 or g?
g
Let p be (-2)/(12/(-34)) - 0. Suppose 2*a - 34 = 4*x - 8*x, 4*a - 43 = -3*x. Is p >= a?
False
Let u = 0.051 - 0.199. Let o = -0.368 - u. Is -2 < o?
True
Suppose -288 = -161*a + 170*a. Are a and 3 nonequal?
True
Let n be -13 + 1 + 8 + -19 + 12. Are 33 and n nonequal?
True
Let x(a) = -4*a + 3. Let u be x(-8). Suppose -5*p + 5*y - u = 0, 0 = -3*y + 2*y + 4. Suppose -6*w = -10*w - 16. Is w equal to p?
False
Suppose 72 = -5*t + 3*t. Suppose -s + 94 = -5*s + 2*w, 2*s + 5*w + 65 = 0. Let k = t - s. Is k at most -11?
True
Let i(z) = z**3 + 12*z**2 + 9*z - 6. Let t be i(-11). Suppose 3*m - 31 + t = 0. Is 2 at most m?
True
Suppose 6*p - 39 = y + 9*p, 0 = 5*y - 5*p + 255. Let a = 20 + -67. Is a bigger than y?
True
Suppose -3*g + 92 = -g. Suppose -b = -2*z - 9, g = 4*b - 0*z + 2*z. Suppose 12*j = b*j - 6. Is j bigger than -5?
False
Let x(k) = -k + 19. Let y(j) = -2. Let g(v) = -75. Let a(u) = 2*g(u) - 70*y(u). Let f(w) = -5*a(w) - 3*x(w). Let m be f(3). Which is greater: 1 or m?
m
Suppose -4*f + 294 = 10*f. Is f <= 22?
True
Let l be (2 + 10/5)*1/6. Let p be (22/(-77))/((-10)/14). Is l >= p?
True
Let p(j) = -j**3 + 4*j + 3. Let s be p(-2). Suppose 0 = -g + 4*g + s. Let v = 142/119 - 13/17. Which is greater: v or g?
v
Let n = 73 - 67. Let v be (-7)/57 - (0 - 2)/n. Which is smaller: 0 or v?
0
Let i be ((-2)/300*-5)/((-3)/(-23)). Which is smaller: i or 0?
0
Suppose 7*b - 96 = 11*b. Let l be (3/(-7)*16/b)/(-1). Is l equal to 22?
False
Let c(n) = 4*n - 95. Let h be c(-24). Are h and 2 nonequal?
True
Let a be ((-3)/35)/((-6)/(-4)). Let k = -60 + 119/2. Is a at least k?
True
Let u(h) = 8*h + 7. Let w be u(-5). Let n be (-50)/w + 4/(-3). Are n and -0.02 unequal?
True
Let h = -70 - -49. Let l be 7/(h/(-9)) + -6. Are 0.06 and l nonequal?
True
Let j(p) = p**3 + 4*p**2 - 4*p + 1. Let m be j(3). Let c = 323/33 - 104/11. Which is greater: m or c?
m
Let b(z) = -z**2 + 9*z - 8. Let q be b(7). Let u be (-3)/(-2) + 3/q. Let m be ((-1)/3*u)/(-5). Is 0 > m?
False
Let t = -0.537 - 0.463. Is t less than or equal to 0.0384?
True
Suppose 6*u = 8*u. Let p(a) = a**2 + 2*a + 11. Let r be p(u). Let v be 98/8 - 2/8. Which is smaller: v or r?
r
Let y(t) be the first derivative of -t**3/6 + 3*t**2 - 5*t - 12. Let g(s) be the first derivative of y(s). Let r be g(7). Is -5/6 at least r?
True
Suppose -8 = -3*k + 1. Suppose 2*f - 5 = -k. Let y = -636/3377 - -2/307. Is f less than y?
False
Let u = -65 - -78. Is u at least as big as -22?
True
Let q = -14.5 - -2.5. Let i = q + 12.03. Let y = i + -0.13. Which is smaller: -3 or y?
-3
Let p = -2/9 - -103/18. Suppose 5*z + 3*i - 179 = 0, -2*z = -0*i + i - 72. Let m = z - 31. Is p smaller than m?
True
Suppose 0 = 4*x - p + 13, -4*x = 110*p - 115*p + 1. Which is greater: 1/51 or x?
1/51
Let w = -142 - -241. Let v be ((-1)/(-2))/(w/4400). Let l = v - 22. Is 2 < l?
False
Let h = 284 + -569/2. Which is bigger: -89 or h?
h
Let g be (-2783)/(-92) - (-1)/(2/4). Which is smaller: g or 31?
31
Let p be ((-6)/(-4) - 2)/(21/(-51954)). Is p > 1238?
False
Suppose -15*l - 381 - 309 = 0. Which is bigger: -47 or l?
l
Suppose 1536*z + 243 = 1545*z. Which is smaller: -0.17 or z?
-0.17
Suppose 4*t = 5*t - 2. Let m = -16385/13 + 1261. Which is bigger: t or m?
t
Let y = -1026 + 966. Is -45 at most y?
False
Let z = 2.49 + 2.51. Are z and 1 non-equal?
True
Suppose 7*b - 60 = -8*b. Let v(n) = -n**3 + 8*n**2 + 10*n - 8. Let k be v(9). Which is greater: b or k?
b
Let j = 661 - 658. Suppose 0*w - 6 = -3*w. Suppose 3*a - 2*f - w = j, -2*a = 2*f. Is -1/18 greater than a?
False
Let b = -260.019 - 0.981. Which is greater: b or -2/7?
-2/7
Suppose 14*c - 6 = 8*c. Which is smaller: 0 or c?
0
Let z(l) = -l**2 - 20*l - 41. Suppose -30 = 11*q + 168. Let o be z(q). Is -8 greater than o?
False
Suppose -2*h = -4*h + 2. Let v be 3 + -18*((-22)/(-6) - 4). Let a be (v - -4) + -4 - h. Is 6 < a?
True
Suppose -112 = 5*n - 107. Is -2/149 < n?
False
Let y(l) be the first derivative of -l**3/3 + 3*l**2/2 - 2*l - 4. Let o be y(2). Let k be -8 - -6 - (o + -2). Is -2/19 greater than k?
False
Let h(v) = v - 143. Let f be h(7). Is -136 at most f?
True
Let h = -360.8 - -359. Let z = 0.2 - 1.2. Which is smaller: z or h?
h
Let u be (-1)/(-7) - (-9)/126*-394. Suppose 28 = -4*o + 3*o. Is o less than u?
False
Let d be (6/4)/(-3)*50/(-115). Which is smaller: 1 or d?
d
Let u be (-399 - -336)/(1 + (0 - 0)). Which is greater: u or -72?
u
Let l = -18 - -35. Let k = -16.1 + l. Is k greater than -2?
True
Let f be 1 + 1 - 23/6. Suppose -44 + 8 = 12*n. Which is greater: f or n?
f
Suppose 163 = s + 150. Suppose -2*k + 21 = -s. Is 15 bigger than k?
False
Let y = -8.3 + 8. Let x = 2.7 - y. Which is bigger: x or 2?
x
Let v(m) = 9*m**2 - 151*m**3 - m - 7*m**2 + 0*m**2 - m + 1. Let f be v(1). Let c = 2401/16 + f. Which is bigger: 1 or c?
1
Let k be (0/2)/1 - 10. Let g be ((-2)/k)/(264/20). Which is smaller: -1 or g?
-1
Let c = 79 + -87. Let v(b) = b**3 + 6*b**2 + 3. Let h be v(-6). Let d be 7 - (h - c/(-4)). Which is bigger: 7 or d?
7
Let x be (-10)/(-12)*(25 + -23). Which is bigger: x or 41?
41
Let r be (75/12)/(-5)*-72. Let h be -2*5/r*-3. Is 0 >= h?
False
Let k = 11656398/35 - 333424. Let z = k - -384. Are z and 0 unequal?
True
Let z be (-32)/16 + (-46)/(1 + 1). Is z <= -25?
True
Let u = 5 - 11. Let w = -6 + 11. Let p = u + w. Which is greater: -2 or p?
p
Let c = -453 - -371. Which is greater: c or -83?
c
Let r be 18*(0 - (-8)/(-12)). Let q = -97 - -97. Is r != q?
True
Suppose -c + 6*c = 2*y + 113, -3*c = 9. Which is bigger: -129/2 or y?
y
Let b be 9/(-2) + (-1)/(-2). Le