have the same value?
False
Let q be (47*-1)/((-69)/345). Which is greater: q or 233?
q
Let r be (4/50)/((-627)/165). Let q(o) = -o**3 + 17*o**2 + 19*o - 17. Let d be q(18). Is d < r?
False
Suppose 2*i - 20 = 3*l, -2*l + 11 = 19. Are i and -22 equal?
False
Let f be (-2)/6 + (-3)/15*-5. Is f bigger than 10?
False
Let y be 26/(-117) - (-362)/9. Let k = 42 - y. Which is greater: 4 or k?
4
Suppose 0 = -5*t, 5*j - 2*t + t = -15015. Let m = -12083/4 - j. Which is smaller: m or -17?
m
Let a be ((-164)/40 + 4)*(-5)/3. Which is bigger: 2/11 or a?
2/11
Suppose -u + 40 = 4*u. Suppose 4*m - 26 = 2*a, a + 4*m + u = 1. Is a less than or equal to -12?
False
Let q be 2/(-4 - (-92)/24). Let w be (-2)/6 - 52/q. Let s = -0.3 + -0.7. Which is bigger: w or s?
w
Let c = -92 + 830/9. Which is greater: 0 or c?
c
Suppose 2060*v = 2050*v. Which is smaller: v or 1/29?
v
Suppose -8683 + 1139 = -41*k. Which is greater: 188 or k?
188
Let g = -43 + 34. Let s = 7 + g. Suppose 0 = -2*w + 4, 2*w = -5*b + w + 2. Which is smaller: s or b?
s
Let v be (126/7)/(2/(-5)). Let y be (-3)/v - (-2)/10. Which is greater: 0.1 or y?
y
Let f(q) = 2*q**3 + 24*q**2 - q - 3. Let n be f(-12). Is n <= 14?
True
Let v = -447 - -435. Are 8 and v unequal?
True
Let f be (-1)/(9/7 - (-50)/(-175)). Let c be 6/(3 - 110/6). Is f equal to c?
False
Suppose -3*i + 72 = 3*i. Let c = 14 + -12. Suppose d - 14 + 3 = 4*v, 4*d + i = c*v. Which is bigger: -23/4 or d?
d
Let a = 369/5 + -12167/165. Which is greater: -0.9 or a?
a
Let i = 14 + -9. Let z = i + -5.12. Let d = 0.1 + z. Which is smaller: -0.1 or d?
-0.1
Let k = 280 - 281. Is k <= 332?
True
Suppose 3*z = -2*f + 839, 64*z - 68*z = -12. Is f > 415?
False
Suppose -2*l + 7*l - 15 = 0. Suppose -12*d + 87 = 17*d. Is d at most as big as l?
True
Let m(w) = -w**3 - 7*w**2 + 8*w + 6. Let j be m(-8). Suppose 36 = 6*h + 6*h. Are h and j non-equal?
True
Let b = 66 - 59. Let m be -1 - (16/(-21) - 0). Let x = 4/7 + m. Which is greater: b or x?
b
Suppose 3*c + 4 = -14. Suppose -3*y = -25 - 2. Let d = y + c. Is 0 greater than or equal to d?
False
Suppose -283 = -12*a + 221. Is 45 > a?
True
Suppose 0 = 5*l - 10*l + 3*i + 44, 0 = 4*l - 3*i - 34. Suppose 8*v + 41 = l*v + 5*h, -3*v + 5*h = -49. Which is smaller: 16 or v?
16
Suppose -53*i = -56*i - 9. Let l(d) = d**2 + 3*d. Let g be l(-2). Let k be i/(-9)*(5 + g). Which is smaller: k or 3?
k
Suppose 75 - 183 = 6*x. Let i = -71 + 68. Is x at least i?
False
Let l be (28/18)/((-144)/(-378)). Which is greater: l or 3?
l
Let k be (3324/300 + -11)/(0 + 10). Is 0 at most k?
True
Let l be (-10)/(80/(-3)) + (-141)/24 + 2. Suppose 6 = -2*z - 0*z. Let i(t) = -t**3 - 5*t**2 - 5*t - 2. Let n be i(z). Is n < l?
True
Let a be 2/8 + 45/12. Suppose t + 2*t - 3*n = 12, -n - a = 4*t. Suppose t = -d - 8 + 4. Is -2 > d?
True
Suppose 5*v - 2*r = 55, 3*v + 4*r - 9*r = 33. Which is greater: 9 or v?
v
Suppose -7*x + 2796 = -11*x. Is -699 < x?
False
Let z(v) = -v**3 - 7*v**2 - 8*v - 10. Let j be z(-6). Is j at most as big as 3/2?
False
Let u = 1.1 - -4.9. Let g = 5335 - 5328. Is u != g?
True
Let i = -163 + 162. Is 1 < i?
False
Let m = 0.087 + 2.213. Is m <= 3/5?
False
Let v be -2 - ((-2)/(-2) - 1). Let x = -811 - -804. Which is smaller: v or x?
x
Let r be 1/(-4) - (-13)/20. Suppose 6*l = 36 - 12. Suppose 2*w + a = l*w + 5, 4*a - 14 = 2*w. Is r at most w?
False
Suppose 3*h - 2*c = c + 39, -2*h + 31 = 3*c. Let j be 10/h + (-8)/(-28). Suppose -j = 5*t - 11. Which is smaller: t or 7?
t
Suppose 4*f - 9 - 11 = 0, -2*a - 1 = -f. Suppose 3*j = -4*c + 11, 0 = a*c + 2*j - 4*j + 12. Let u be (-1)/8*(-8 + 15 - 8). Which is bigger: c or u?
u
Let t = 2623 - 396071/151. Suppose -l = 3*s - 6 + 1, -5*l = 5*s - 15. Is s smaller than t?
False
Suppose 23*v - 11*v = -18036. Let h = -91685/61 - v. Is h less than 1?
True
Let k = -77 - -149. Let x = -0.07156 + 0.07156. Which is smaller: k or x?
x
Let x = 0.0471 - 0.2471. Is -15/7 at least as big as x?
False
Let u = -8.011 + 8. Let n = 0.211 + u. Which is smaller: 1/2 or n?
n
Let r(a) = -7*a**2 + 57*a - 212. Let p be r(4). Is p at most as big as -1?
True
Suppose -6*b + 2*b + 175 = -5*m, -4*m - 5*b = 99. Is -29 != m?
True
Suppose 2*d = -z + 4*z - 27, 2*z = -5*d - 96. Suppose -2*b - 5*j - 143 = 0, -j + 290 = -3*b - 2*b. Let t = 293/5 + b. Which is smaller: d or t?
d
Let s be (-3 + 120/1)/(-1). Let l be (-369)/s - 4/26. Which is bigger: 2 or l?
l
Let u be 20/996*(-9)/(-6). Do -1 and u have different values?
True
Let p = -126.5 - -126. Which is bigger: p or 1/2?
1/2
Suppose 9 = -5*d - 21. Let b be d/45 + (-44)/(-30). Suppose 3*l - 3*j = 9, -2*l - 6 = j + 3*j. Which is bigger: l or b?
b
Let j be 12/36 - 26/(-3). Let f be (-2)/(-6) - (-92)/12. Let i = f - j. Which is smaller: 3/8 or i?
i
Suppose -421 = -4*x - 2*v + 2097, 0 = 2*x + 4*v - 1262. Are x and 629 non-equal?
False
Let m(o) = -4*o**2 - 3*o + 1. Let h(i) = i**2 - i - 1. Let r(q) = -2*h(q) - m(q). Let t be r(-4). Suppose 5*z = 2 + t. Which is greater: 1 or z?
z
Suppose 0*w - 20 = -4*w. Suppose w*j - 3 = -2*r + 13, 0 = 2*r + j - 8. Let d = 0 - r. Is -3 equal to d?
True
Let p = -0.2 - -1.2. Let d = -0.704 + 0.7. Let z = 0.004 + d. Which is bigger: z or p?
p
Suppose -811 = -4*s - 5*r - 2975, -5*s + 4*r - 2664 = 0. Is -536 bigger than s?
False
Let r = 68.2 - 68.2. Which is smaller: r or -48/5?
-48/5
Let k = 27 + -31. Let b = k - 18. Let a = b + 21. Which is smaller: a or 24?
a
Suppose -17*x + 210 = -3*x. Let v = x + -43. Do v and -27 have the same value?
False
Let v = -3 + -3. Let l = v - -5.05. Let o = l + 1. Which is greater: o or 0.1?
0.1
Suppose 0 = 5*v + 790 + 225. Let q = 131 + v. Let n be 135/q*(-2)/3. Is n at least 2?
False
Let a(w) = w + 14. Let t be a(-8). Let b be (-4)/7*2/t*-1. Which is smaller: b or -1?
-1
Suppose -r - 156 = 2*r + 3*v, -v + 5 = 0. Let k be (-24)/(4 + r/12 + 0). Is k less than or equal to 0.1?
False
Let g be (-1 + 3 - 5) + 9. Suppose -g*i = -87 + 267. Let d be ((-8)/54)/(20/i). Do d and 1 have different values?
True
Let c(d) = -d**2 + 11*d - 5. Let z be c(9). Let o = -12 + z. Let s be (6 - 4)/(-20)*-2. Are o and s equal?
False
Let o be 3 + -8*1 - 2. Let g(q) = -2*q - 3. Let m be g(o). Suppose 29 = -5*z - m. Is z smaller than -2/5?
True
Let q(g) = -g**3 - g**2 + g - 1. Let z be q(-2). Let t(c) = 5*c - 23. Let n be t(6). Suppose 3*u + 4 = n. Are z and u equal?
True
Let b = -2996.9 - -2997. Let l = -3 + 2. Let n be 2*(-3)/(-10)*l. Which is bigger: n or b?
b
Let m be (-9454)/42 - (-28)/294. Is -226 less than or equal to m?
True
Suppose -3*c = -3*g - 2*g + 6, -3*g + 4*c = 3. Suppose -g*b - 29 = 16. Let q = b + 20. Which is smaller: 3 or q?
3
Let v(p) = -4*p**2 - 2. Let c be v(2). Let n be (6 + 42/(-12))*80/100. Which is smaller: c or n?
c
Let c be (3 + -1 + 0)/1. Let g be 4/(c - 0/4). Suppose -r = -g*r. Is 1 smaller than r?
False
Let g(h) = 2*h + 44 - 44. Let s = -4 - -3. Let r be g(s). Which is greater: r or -4/5?
-4/5
Let o be (-16 - -1)*(-1 - 0). Suppose 2*k - 3*k = -c - 15, 0 = 5*c - k + 91. Let a = c + o. Are -5 and a equal?
False
Suppose 6*r - r + 455 = 0. Let y be 19/r + 14/49. Let i(k) = k**3 + 4*k**2 - 3*k + 11. Let u be i(-5). Which is greater: u or y?
u
Suppose -y + 110 = 111. Which is bigger: 1/286 or y?
1/286
Suppose -u + 0 = 4*p + 1, -7 = -2*u - 5*p. Suppose -1 + u = 5*y. Let s be ((-9)/27)/(2/(-12)). Is s >= y?
True
Let i = 26697/7 + -3807. Let o = -52/7 + i. Which is smaller: o or -1?
-1
Let w(t) = -t**2 + 7*t + 7. Let j be w(8). Let f be j/(-1*(-1)/2). Let q be (4/(-6))/(2/3). Is f at most q?
True
Let b be ((-28)/(-8)*2)/(44/(-20)). Are -4 and b equal?
False
Let w = -0.933 + 0.833. Which is bigger: 0.254 or w?
0.254
Let c be 26/(-16) - (-6)/(-16). Do -4 and c have the same value?
False
Suppose o + 4*c = -3, -15 - 29 = -4*o - 2*c. Suppose 3*b + 5*a = 39, -4*b + 13 = -3*b - 3*a. Let v = b - o. Are 1/15 and v nonequal?
True
Let b be 4418/476 + 8/112 + -5. Is 4 greater than b?
False
Suppose 25 = 5*h + 3*x, 4*h = 3*x - x + 42. Suppose r = -r + h. Suppose -2*p = -6*p + r. Is p equal to 1/8?
False
Let k = 497 - 325. Let u be k/60 - 1/5. Do 3 and u have different values?
True
Suppose 18*b - 15*b = 18. Let l(h) = -16*h + 50. Let n be l(b). Is n != -47?
True
Suppose 174 = 8*i - 322. Which is greater: i or 64?
64
Let l(b) = -2*b**2 + 29*b + 19. Let 