- (-9)/(-7). Let l be 4*4905/(-2820) - -7. Does l = z?
False
Let x(i) = 0*i + 0*i + 39 - 4*i - 3*i. Let f(s) = 11*s - 59. Let c(n) = 5*f(n) + 8*x(n). Let y be c(7). Which is bigger: y or 11?
11
Let c be (26/3)/(4/96). Suppose -h - c = h. Let a be (2/(-4))/(h/(-32)). Which is greater: 1 or a?
1
Let r = -0.5948 + 49.5348. Let m = r + -44. Let p = 0.06 + m. Does p = 0.1?
False
Let x be (-34)/(-102)*30/(-44). Is x at most as big as -1?
False
Let o(g) = 9*g + 12. Let v(h) = 8*h + 11. Let u(t) = 6*o(t) - 7*v(t). Let s be u(-10). Suppose -f = -4*f + s, -a + 20 = 4*f. Which is smaller: 3 or a?
a
Let u be 4*(-5)/(104 - -6). Which is greater: u or 0?
0
Let g be 1*(2 - 0) + 0. Let b(z) = -z**3 + 6*z**2 - 2*z - 3. Let y be b(5). Suppose -3*r + y = r. Is r bigger than g?
True
Let d be (-68966)/140 + 6/15. Let g = -1334 - -842. Let h = d - g. Which is bigger: h or 0?
0
Let m = -30 - -34. Suppose -3*v = 5*s - m*v - 68, 3*v = -s + 4. Is s != 13?
False
Let g(u) = u - 11. Let y be g(13). Suppose -q = -0*q - y. Suppose -4*s + 0*s + 60 = -2*p, 0 = 5*s + q*p - 84. Which is bigger: 15 or s?
s
Let h be 6/(-33) - 4/((-88)/(-18)). Let l be -1 - 2*150/(-273). Let o = l + 283/819. Which is smaller: h or o?
h
Suppose 649*x - 646*x - 3 = 0. Which is smaller: -3/196 or x?
-3/196
Let x be 1/((-3)/20)*(-60)/80. Let r(p) = -2*p - 1. Let l be r(-5). Let w = l - x. Which is greater: -0.1 or w?
w
Let g = -8 + 28. Suppose -j = -g + 31. Let h = 3 + -14. Is h greater than or equal to j?
True
Let f(g) = 3*g - 3. Let b be f(-3). Let y = 0 - b. Let i be y/(-56)*4/3. Do 0 and i have the same value?
False
Suppose 0 = 5*r + 2*s - 443, 11*r - 4*s - 182 = 9*r. Which is smaller: 92 or r?
r
Let p = 26.4 + -25. Let a = p - 1.2. Is -1 less than or equal to a?
True
Let i be 31/3 - ((-12)/(-9) + -1). Let v = 1405190039/145844834 + 2/819353. Let k = v + -12/89. Which is smaller: k or i?
k
Suppose -8*z = -b - 5*z + 61, 2*z = -5*b + 254. Which is greater: 53 or b?
53
Let d be ((-1)/7)/((-23)/(-299)). Is -3 greater than d?
False
Let r = 11/8 + -79/40. Let y be (17/(-2))/(7/(-14)). Suppose 5 = -y*h + 12*h. Which is bigger: h or r?
r
Let h be 1*((0 - -9) + -4). Suppose 0*g = -g + h. Let l = -0.1 - 0.9. Does l = g?
False
Let z = 197 + -246. Is -45 greater than z?
True
Let r be -1 + 3 - 24/21. Suppose -c = 2*k + 1, 0 = 4*k - c - 4*c + 9. Let v be 0/(4/2 + -3)*k. Are r and v nonequal?
True
Let u = -4067667/332 + 12252. Which is smaller: u or 1?
u
Let l = 2 + 1. Suppose 17 = l*s + 2. Suppose t - 5*p - 5 = 0, 2*t + s*p = -3*t - 5. Is t <= -4/13?
False
Let b(u) = -4*u**3 + u**2 - 1. Let t be b(-1). Let p be ((-26)/t)/(4/(-24)). Let k be 10/(-25) + p/60. Do -15 and k have the same value?
False
Let f = 129 + -140. Is -1/5 at least as big as f?
True
Let n(c) = c**3 + c**2 - c - 1. Let m be n(-1). Let b(a) = -2*a**3 - a**2 + 2*a + 6. Let q be b(m). Which is greater: 21/4 or q?
q
Suppose -5 - 99 = -4*p. Suppose -28*b + 16 = -p*b. Let w = 6 - -3. Is b equal to w?
False
Suppose -4*q = 3*a - 5 - 13, 5*a + q - 13 = 0. Let y be 3/a*(-10)/(-15). Is 1 greater than or equal to y?
True
Suppose -3*b = 14 + 19. Let g be 9 + (-1 + 4 - -1). Let u(n) = -2*n + 15. Let y be u(g). Is y at least as big as b?
True
Let b = 106 - 73. Let l = b - 32. Which is smaller: l or 4/35?
4/35
Let x = -325 - -4873/15. Let q(k) = -k**3 + 12*k**2 - 10*k - 8. Let f be q(11). Suppose -f*u - u = 0. Which is smaller: x or u?
x
Suppose -3*k + 599 = -5*n, -3*n = -2*n + 4*k + 106. Let h = n + 1891/16. Which is greater: 1 or h?
1
Let g(v) = 2*v**3 + 4*v**2 + v - 6. Let d be g(-3). Let r be (-45)/d - 8/(-6). Suppose r*j = -4*j - 91. Which is bigger: j or -27/2?
j
Suppose 0 = u - 4*i - 7, 0 = -3*u + u + 4*i + 14. Suppose 0*s - 3*s = -2*j - 29, 0 = -3*s - 2*j + 25. Which is greater: s or u?
s
Let i(r) = 2*r**2 - 3*r + 3. Let l be i(2). Suppose l*t = 3*t + 4. Is 1 bigger than t?
False
Suppose 4*a + 3*q + 1 = 5, 3*q + 12 = 0. Suppose -81 = 5*u + 3*m, 64 = -4*u + a*m + 12. Let l = -36 - -22. Is u greater than l?
False
Suppose 2*f - 45 = 7*f. Suppose 8*n - 15*n - 70 = 0. Which is smaller: n or f?
n
Let z = 137 + -262. Let i be 3 + -5 + 4/(-1). Let f be (20/z)/(i/5). Is -1 greater than or equal to f?
False
Let d = -1 - -23. Let i = -24 + d. Is 0.07 at least as big as i?
True
Let m(h) = -h**3 + 7*h**2 - 3. Suppose -4*w = -3*w - 7. Let t be m(w). Is t at least as big as -13/7?
False
Suppose -33*z = -29*z - 36. Let w be z/(-30) + 14/35. Is w at most as big as 0?
False
Let o = -680 - -717. Is o <= -6?
False
Let a be -2 + (-218)/12 - 1. Is a not equal to -20?
True
Suppose -4 + 1 = -b. Suppose 4*g - 6 = 4*p - 2, -b*g - 4*p - 25 = 0. Let o = -151/3 - -51. Which is bigger: o or g?
o
Suppose -81*r + 85*r = 276. Let a = r - 205/3. Is a < 31?
True
Suppose 5 = 5*h - 0. Do h and -0.56 have different values?
True
Let h = -18 - -21.4. Let i = 3.4 - h. Is i >= -0.17?
True
Suppose 7*i = 21*i + 126. Let w = 1 - 8. Is w at most i?
False
Let r = -20 - -38. Suppose -1 = -r*q + 17*q. Let a be 2/1 + 134/(-68). Does a = q?
False
Let s = 57/2 - 7919/278. Let m = -97 + 97. Which is smaller: m or s?
m
Let h = -469/295 + -3/295. Let w(z) = 7*z - 31. Suppose -44 = 2*g - 13*g. Let x be w(g). Is h less than x?
False
Let r = -197 + 193.1. Is r greater than or equal to -3/4?
False
Let w be 39/(-6)*(-4 - -2). Let q(x) = x**2 - 12*x - 12. Let o be q(w). Let m be 1/1*o/35. Is m bigger than 1?
False
Let z = 0.38 - 0.18. Let m = -16.1 - -10.98. Let n = -0.12 - m. Which is smaller: z or n?
z
Let u = 2 + -2. Let b be (4/(-8))/(4/360). Let z = -137/3 - b. Which is greater: u or z?
u
Let o be ((-14)/(-5) + 2)*-5. Suppose -5*r + 5 = 0, 5*r + 72 - 8 = -3*g. Is o > g?
False
Suppose -5*q + 74 = -0*q + n, 2*n + 20 = 2*q. Let c = 19 - q. Is c greater than or equal to 32/7?
True
Let z(k) = -k**2 - 5*k - 1. Let s be z(-5). Let u be 19/(-1) + (-5570)/(-290). Is s not equal to u?
True
Let o be ((-4)/4)/(2/(-8)). Let a be (-2)/o*(3 + -3). Let j = -220 - -439/2. Is j > a?
False
Suppose -3*a + 10 + 2 = 0. Suppose 10 + a = 2*w. Let s = 27 + -21. Which is smaller: s or w?
s
Let b = -478 + 63. Which is bigger: -417 or b?
b
Let r be ((-54)/15)/(-4 + (-132)/(-30)). Is -5 smaller than r?
False
Let q be 7 + -5 - 2 - 24. Which is smaller: -0.06 or q?
q
Suppose 0 = -k - r + 135, 5*k + r - 94 - 561 = 0. Suppose 6*w = w - k. Suppose 3*t = -47 - 31. Is w not equal to t?
False
Suppose 3*w + 104 = 23. Is w < -31?
False
Suppose -29*j = -64*j + 35. Which is greater: -19.5 or j?
j
Let p(w) = w**2 - 20*w + 23. Let k be p(19). Suppose 0*v + 5*v - 10 = 0, -4*h - k*v + 8 = 0. Is 12/23 greater than h?
True
Let c be (11/(33/36))/(-1). Let g be (-10)/(-35) - c/7. Is 5 less than g?
False
Let d = -4 - -29. Let h = 16 - d. Let k = h - -14. Is k > -0.1?
True
Let i = 108 + -158. Do i and -51 have the same value?
False
Let o be -6 + (-62)/(-18) + (1 - -2). Which is greater: o or -0.4?
o
Let v(j) = 7*j**3 - 4*j**2 - 8*j - 6. Let k be v(-2). Let t = k + 78. Which is greater: t or 17?
17
Let z be (-4)/(308/(-201281)) + 3. Let l = z + -2617. Is l less than or equal to 0?
False
Suppose r + 28 = -5*b, -2*r = 7*b - 2*b + 66. Let u = r + 39. Is u greater than or equal to 2?
False
Let b = 49 - 41. Suppose 4*c - 4 = -2*l, 5*c + 3 = b. Which is bigger: l or -2/23?
l
Let k = -247/186 + -26/31. Which is smaller: k or -2?
k
Let r = 2.6 - -0.4. Let w be (265/225 - 1)/(3/9). Let z = w - -2/15. Is r <= z?
False
Let i be (243/(-12))/(-3)*(-28)/(-21). Which is smaller: i or 3?
3
Let j be (-2)/(-4) + -1 - 19/38. Let b(w) = -7*w**2 - w + 1. Let a be b(j). Is a > -3/5?
False
Suppose y + 80 = 5*y. Suppose 2*h - 6 = -4*j, 4*j - y = -3*h - h. Suppose -h*d = -4*d. Which is smaller: d or 2?
d
Let s(c) = -c**3 + 7*c**2 - 11*c + 28. Let v be s(6). Let z be (44/(-6))/(3/18). Let y = 307/7 + z. Is y at most v?
False
Let w be 3/1 + 755/(-250). Suppose -d + 5 = 3*v, 5*v + 0*d = -2*d + 10. Which is smaller: w or v?
w
Let k = -1.9 + 2. Suppose -3*w = 2*l + 18, 2*l - 26 = 4*w + 12. Let i be (4/w*4)/2. Is i less than or equal to k?
True
Let s = -12.755 + -0.245. Is s <= 5/3?
True
Suppose -4*s = 8, 4*v - 10*s + 11*s - 22 = 0. Is v > 52/11?
True
Suppose g = 10 - 12. Let v be 154/51 - (g + 5). Which is smaller: v or 0?
0
Suppose -8*v - 53 = -53. Which is smaller: 2 or v?
v
Suppo