 177*(-1)/(-87) - 2. Let m be (1 - 2)*0/((-1)/(-1)). Which is smaller: m or b?
m
Let f be -6*(-4)/12*-2. Let o = -42 - -130. Let x be o/(-66)*6/f. Which is smaller: x or 11/6?
11/6
Let t(h) = -h**3 - 51*h**2 - 2*h - 24. Let i be t(-51). Is i at most 78?
True
Let v(h) = h + 1. Let z be v(-3). Let p be (-39)/(-26) + 3/z. Which is smaller: 2/61 or p?
p
Let z = 544.4 - 544. Which is smaller: z or -3?
-3
Let q = 1/5 - 14/45. Is -58 <= q?
True
Let y be 2 - (-3)/(51/(-37)). Suppose b = -0*x + x + 6, 4*x = -2*b + 6. Let v be (2 - (3 + x))/2. Is v at most as big as y?
False
Suppose 0 = -5*t + 4*t + 28. Suppose 0 = t*k - 26*k. Let d be 2/5 + (-16)/(-60). Which is smaller: k or d?
k
Suppose -4*i + 5*i = 1. Let h be 46*1/12 - 2 - i. Are h and 1 nonequal?
True
Let q = -141029/2365 - -656/11. Are q and -1 nonequal?
True
Let k be (0 - 2)/((-2)/28). Suppose -3*i + k = -i - 4*q, -5*i + 105 = -3*q. Suppose o - 4*v + i = -2*o, -2*o + 2*v = 14. Is o at most as big as -2/3?
True
Let p be -2 - (-39)/18 - (-319)/(-330). Let j = -3 + -1. Let a = -5 - j. Is a != p?
True
Let c = 43 + -45. Let v be (-3 - -2 - c)*13. Is 13 > v?
False
Let j = 0.0665 - 19.0665. Which is smaller: j or 0.08?
j
Let r be (279/18)/(3/12). Is r greater than or equal to 1?
True
Let q be (-42)/192 + 2/16. Which is smaller: -0.05 or q?
q
Let w = 5154 - 5158. Let v = 0.7 - -0.3. Which is smaller: v or w?
w
Let w = 3520/9 + -392. Let a = -346 - -344. Which is greater: a or w?
w
Let k be 1 + 3/(747/869507). Let y = k - 3493. Let z = 329/747 - y. Is 1 greater than z?
True
Suppose -n = 10*n - 363. Let a = n + -45. Which is bigger: -14 or a?
a
Suppose -3*l + 55 = -2*u, 0 = -2*l - u - 3*u + 26. Is 18 < l?
False
Suppose -4*y + 6 = 2*h, 0 = -8*h + 10*h - 2*y - 30. Let f(j) = -3 - j + 4*j**2 - 3*j**2 + 1. Let c be f(-3). Which is bigger: h or c?
h
Let b = -2/29 + -465/406. Is b at least as big as -2?
True
Suppose -4*d + 5*l + 11 = 0, -3*l - 4 - 5 = 0. Let z = 7 + -11. Let m = -8 - z. Is d at most as big as m?
False
Suppose -2*x + 28 = 2*i, x + 4*x - 67 = -4*i. Let y = 22 + -10. Are x and y non-equal?
True
Let z = 214.18 + 9.82. Which is greater: z or -3?
z
Suppose -a - 191 - 262 = 0. Let c = a + 17669/39. Which is smaller: -1 or c?
-1
Let a = 58.2 - 76.2. Which is greater: 1/11 or a?
1/11
Let h be 4 - 2 - (-1 - -3). Suppose z + 15 = 4*a - 0*z, 2*z = -2*a. Is h less than a?
True
Let w(l) = -25*l - 270. Let v be w(0). Which is smaller: -268 or v?
v
Let p = -1363/8 + 170. Let c = -11 - -10. Is p not equal to c?
True
Let u = 2373 - 353579/149. Are u and 1 nonequal?
True
Let l = 2 - 1.97. Let q = 92.07 - 92. Let z = q + l. Is z smaller than 1/8?
True
Let y be 6/4*(2048/(-12))/(-4). Let f be y/80 - (6/4)/3. Suppose 4*c + 1 = -3. Is c less than or equal to f?
True
Suppose 7*q + 519 = -1567. Which is smaller: q or -297?
q
Let s(b) = 3*b - 20. Let g be -7*(-3 + 8 + -3)/(-2). Let a be s(g). Which is bigger: a or 12/11?
12/11
Let q(g) = -g**3 - 8*g**2 - g - 4. Let r be q(-8). Let k be r + (-153)/21 + 3. Does k = -2?
False
Suppose w = 7*h - 4*h + 154, -4*h + 3*w - 212 = 0. Let a = h - -55. Is a greater than or equal to 3?
True
Suppose 5*i - i - 4820 = 0. Let o = -157853/131 + i. Which is bigger: -1 or o?
o
Let c = 104 - 109.98. Let q = c + -0.02. Is q <= 3/4?
True
Let p(v) = -v**3 - 6*v**2 + 8*v + 4. Let z be p(-7). Let a = z + 11. Suppose -a*w + 6*w = 0. Does -1/37 = w?
False
Let h = -49 + 118. Let l be (1 - h/66)*4. Which is smaller: 0 or l?
l
Let v be 38/19 - 2/(-2). Let u(f) = -f**3 + 3*f**2 + f - 4. Let i be u(v). Which is smaller: -4/11 or i?
i
Let k be (-1)/8*4/(-1). Let j = -468.57 - -468. Do k and j have the same value?
False
Let c be (-3 + 7)/(-8) + (-90)/(-228). Is c greater than or equal to 1?
False
Let w be ((-99)/(-22))/(1 + 8). Suppose -2*g = 3*u - 0*g + 2, 3*u = -4*g - 10. Which is smaller: u or w?
w
Let b = -30.061 + 30. Let p = 0.139 - b. Which is greater: p or 3?
3
Suppose 60 = 5*b + 2*q - 6*q, -b + 23 = -3*q. Let i = 11 - b. Suppose -4*a = 3*t - 9, -2*a - 4 = -i*t - 13. Are -0.3 and t equal?
False
Let v be ((-135)/360)/(-3*(-1)/2). Let s = -2.01 - -2. Let x = 2.01 + s. Which is smaller: v or x?
v
Let s = -0.0062 - -0.1062. Which is smaller: s or -2028?
-2028
Let i be (-1)/(-7) - (-3148)/14. Suppose 8*t = 9 - i. Is 0.1 less than t?
False
Suppose -4*r + 34 - 150 = -4*m, 5*r = 4*m - 113. Is m at least 32?
True
Let q(g) = g**2 - 13*g + 16. Let s be q(12). Suppose -2 - 8 = -2*a + 4*f, 4*a = -s*f + 20. Do 4 and a have different values?
True
Let v = 11 + -3. Let g = v - -2. Let j = 29 - 20. Which is greater: g or j?
g
Let d = 5/52 - -29/780. Suppose -90*x - 48 = 78 - 36. Which is greater: d or x?
d
Let w(q) = 2*q + 2*q - 109*q**3 - 99*q**3 + 3*q**2 + 205*q**3 + 3. Let z be w(-2). Is z at least 31?
True
Suppose 4*t + 78 + 78 = 0. Which is greater: t or -40?
t
Let d = -97451/20 - -4870. Is d at most -3?
False
Let m = -6 - 0. Let r = -17 - m. Let d = r + 6. Is 0.1 greater than d?
True
Let v(r) = -4*r**3 + r + 1. Let t be v(-1). Suppose -o + t*m = -2*o + 22, -2*m - 22 = -o. Let w be 1/(1417/(-286) + 1 + 4). Is o equal to w?
True
Suppose 2*j = 3*r - 6*r + 81, 0 = r - 4*j - 41. Let s be -4*((-3)/(-12) + 0)*-29. Is r at least s?
True
Let x = 39 + -24. Let y = -16 + x. Let h = y - -1.3. Is -3 smaller than h?
True
Let f = 4172 + -287876/69. Which is bigger: 0.1 or f?
0.1
Suppose -5*f = -20, -t = -17*f + 19*f - 23. Is t not equal to 29?
True
Suppose -9*b = 2*o - 4*b - 10, 0 = b - 2. Let i be (25/(-580))/((-1)/2). Let g = i - 267/406. Which is bigger: g or o?
o
Suppose -15*t - 299 = 8*t. Which is greater: 5 or t?
5
Let d = 1115 + -1145. Which is bigger: -7 or d?
-7
Suppose -1 = 3*w - 19. Let b be -3*5/60 + 34/8. Let u be (-4)/(-24)*b*w. Is 4 less than or equal to u?
True
Let j(n) = -n**3 - 28*n**2 - 21*n - 5. Let w be j(-27). Let g = w + 168. Is 5/7 at least g?
False
Let z(r) = -r**2 + 5*r + 13. Let h be z(6). Let u be 12/21*h/56. Is -1 at most u?
True
Let b = 5 - 3. Suppose -c = b*c. Let t(j) = -4*j + 7. Let z be t(2). Is c >= z?
True
Let v be (-3)/5 - (-221)/85. Suppose -v*y = -16 + 2. Let d be 8 + 3/(-3*1). Do d and y have the same value?
True
Suppose -12*d - 70 = -1426. Let t be (-4)/6*(d/29 + -4). Which is bigger: t or -2?
t
Suppose 5*v = x - 151, -x = -3*x + 4*v + 296. Suppose 0*f + 4*f - x = 5*u, -4*f = -16. Is -26 smaller than u?
False
Suppose 4*w + 2*n - 52 = 4*n, -n + 58 = 4*w. Let y = w + -19. Let m be 36/8*2/(-3). Which is smaller: y or m?
y
Let q = 3 - 3. Let l be (-51)/(-4) + 2/8. Suppose 6*m + 5*f = m + 10, -2*m + l = 5*f. Which is smaller: m or q?
m
Let d = 29 - 54. Let c = d + 126/5. Which is smaller: -1 or c?
-1
Suppose 15*z = 37*z - 4312. Is 197 smaller than z?
False
Let q(i) = -2*i - 12. Let n be q(-10). Suppose 3*z = n*z - 15. Let o = z + 0. Is 2 smaller than o?
True
Let m = 4201 - 12481/3. Which is bigger: 42 or m?
42
Let k(o) = -1 - 2 - 2 - 4*o**2 - 7*o + 3*o**2. Let x be k(-5). Is 5 equal to x?
True
Let n = 245 + -225. Which is bigger: n or 22?
22
Suppose -2*l + 44 = -k, -5*l = 5*k + 61 - 186. Let g = l + -19. Which is bigger: g or -7?
g
Let z be (6 - 13) + 3090/442. Which is smaller: 0 or z?
z
Let j = -55.7 + 61. Let r = 5.53 - j. Which is smaller: 2/3 or r?
r
Let z be 136/112 - (-18)/(-12). Suppose m - 3 = -0*m. Let n be 15/18 - 1/m. Are z and n non-equal?
True
Let z = 86 + -87. Which is bigger: z or 15/47?
15/47
Let k = 0.0894 - 2.0894. Let j(b) = -10*b - 1. Let u be j(2). Which is bigger: k or u?
k
Let a be (4/(-12))/((-1)/(-87)). Let y = 29 + a. Is y at least as big as -6/7?
True
Let h = -38.4 + 38. Let m = h - -0.5. Is -1.5 at most m?
True
Suppose 5*r - 6*r = -9. Let y(h) = -h + 9. Let t be y(r). Suppose 5*f - 4*z - 14 = t, -f - z = -0 - 1. Which is bigger: f or 4?
4
Let o = -1963/3 + 655. Is -375 smaller than o?
True
Let l be 75/27 + (-4)/(-18). Suppose -2 = -4*u + l*u. Let d be u/(-3) - (-93)/(-9). Do d and -12 have the same value?
False
Let n = 9 + -5. Suppose -n*b + 15 = b. Let o = -17 - -21. Is o at most b?
False
Suppose -q = 2*q. Which is smaller: q or -12/187?
-12/187
Let l = -6 - -5. Let v be (l/2)/(610/20). Let k be 6 + -4 - -5 - 6. Is v at most as big as k?
True
Let u = 1 - 0. Let r be u/2 - (-30)/4. Let b be 6 - (20/(-15) - (0 + (-14)/(-21))). Do r and b have different val