. Which is greater: r or t?
r
Let z be 44/154 + (-7114)/56 + 1. Which is bigger: z or -126?
z
Suppose -2*o + 55 = 3*o. Suppose 3*y - o*y + 88 = 0. Suppose 4*r = r + 36. Is y less than or equal to r?
True
Let h = 298 - 297. Let m(w) = -w**2 - 34*w - 141. Let s be m(-29). Which is smaller: s or h?
h
Let q(c) = 101*c**2 + 314*c + 1242. Let a be q(-4). Which is bigger: 1600 or a?
a
Let n = -121.2 - -130. Let w = 14.8 - n. Let l = -53 + w. Is 1 less than l?
False
Let x = 29/18243 - -1221423463/72972. Let m = -16651 + x. Which is smaller: 88 or m?
m
Let j(x) = x**2 - 23*x + 1816. Let c be j(-46). Is 4988 <= c?
True
Let y(l) = 2*l**2 - 21*l - 117. Let o be y(15). Suppose -121 = 4*q + 7. Let u = -13 - q. Which is smaller: u or o?
o
Suppose -1053921 - 51868 = -579*m + 518306. Which is smaller: m or 2812?
m
Let y = 1342 + -1342. Are y and -0.4333 non-equal?
True
Let z(h) = -h**3 - h**2 + 2*h + 1. Let c be z(-2). Let s = 20171948523/88872314 - 1/2066798. Let w = 227 - s. Does c = w?
False
Suppose -3*m + x + 14 = 4, 2*m + 3*x - 14 = 0. Suppose 0 = q - 2*q + d - 2, -m*q = -d + 5. Let s be (q - -2)*-19 - (2 + -2). Which is greater: s or -20?
s
Let f be (-184)/(-32) + (-3)/(-12). Suppose 0 = -11*p + 284 - 339. Which is smaller: f or p?
p
Let z = -296 + 301. Suppose z*n - 4*h + 3 = -2, 5*h - 1 = n. Let j be 147/(-492) + 2/8. Which is smaller: n or j?
n
Let w be ((-70)/40 - -2) + (-659)/(-4). Let x = -173 + w. Let z be (25/35 - 4)*2. Is z bigger than x?
True
Suppose 19 = -10*y - 18 - 13. Which is greater: -127/25 or y?
y
Suppose -5*j - 5*u = -2*u + 6, -3*j - 5*u = 10. Let f = 14448/1431481 - -2/7417. Which is smaller: f or j?
j
Let v be (6/(-60)*2)/1. Let g = -12.2 + 1.2. Let h = g + 15. Is v at most as big as h?
True
Let t(r) = -9*r**2 - 26*r - 31. Let o be t(14). Is -2161 >= o?
False
Suppose 4*o + 4 + 4 = 4*m, o = -m - 2. Let x(k) = -11*k + 6. Let n be x(o). Let u(c) = 4*c**2 + c - 6. Let w be u(-3). Which is bigger: n or w?
n
Suppose -13*g - 12*g + 19*g = 3*g. Are -47 and g equal?
False
Suppose -h = -6*h - u - 3, -6 = 5*h + 2*u. Suppose 9*n - 5*n + 3*c - 9 = 0, -n + 3*c - 9 = h. Is n less than -1/295?
False
Suppose 18*r + 9*r - 597 = -2109. Is r > -73?
True
Suppose -4*h = 5*n - 49, 2*n - 2*h - 7 = n. Suppose 15 - n = 6*z. Let f be 4/180*(1 - (z + -1)). Which is bigger: f or 0?
f
Let o be -9 + 12 - (2 + -1). Let p be o*-1*(-3236)/7824. Let q = p - -1/163. Which is smaller: 1 or q?
q
Let y(r) = 4*r - 20. Let m be y(8). Let p be 344/(-1488) + 2/m. Let w = 3.0041 + -0.0041. Is p <= w?
True
Let c be ((-2)/3)/2*13. Let n = -18073 - -18069. Which is smaller: c or n?
c
Let r = 0.3782 - 0.3702. Are r and -3 unequal?
True
Suppose -4*r = -5*u - 134, -4*u + u - 78 = -3*r. Let k be ((-155)/(-30) - 2)/(1/(-9)). Which is greater: k or u?
k
Let w = 1.93387 + 0.06613. Is -203 >= w?
False
Let r = 0 + -2. Let f = 166 + -391. Let x = f - -219. Is r < x?
False
Let v = 247 + -312. Let c = 64 + v. Which is greater: -3/161 or c?
-3/161
Suppose -21*m = 10*m - 9*m + 8778. Do m and -3592/9 have different values?
True
Let s = -134 - -158. Let g be (33/(-43))/((-2)/((-32)/s)). Is 0 at most g?
False
Suppose 3*x - 4 = 4*f, 0 = -3*f - 2*f - 4*x + 26. Let j be (-15)/(-18)*(-87)/(-10) + -6. Which is smaller: f or j?
j
Suppose -4 - 2 = -3*a. Let o be 3*(-7)/378*-2*9. Is o smaller than a?
True
Let x = -563/150 - 2/25. Let b = -2602 + 2601. Which is smaller: x or b?
x
Let r be (-378)/248*(-52)/(-30). Let u = -54/31 - r. Let x be 3 - 28/(-35)*(-25)/10. Is x >= u?
True
Let v(h) = -h**3 - 2*h**2 + 4*h - 3. Let u be v(2). Let p = -14 + 14. Suppose -37*f + 34*f - 24 = p. Which is bigger: f or u?
f
Let q be 1/(1/(-4 + 9)). Let b be ((-20)/q - -7) + -3. Let d be -1 - (38 + -5 + b). Is d greater than -34?
False
Let t(m) = 2*m**2 - 36*m - 34. Let j be t(18). Let o(k) = 3*k**3 - k + 1. Let x be o(2). Let v = x + j. Is -11 less than or equal to v?
True
Let s be 4/6 - (-206)/6. Let o be (-9 - (-4608)/105) + (-21)/(-6)*2/5. Is s > o?
False
Let b(i) = 4*i**2 + 10*i - 6. Let t be b(-6). Suppose -69*h - 108 = -t*h. Is 2/15 < h?
True
Let t = 13/86 - 211/258. Is t < 0.4745?
True
Let a = 19414 - 19382. Which is smaller: 0.07 or a?
0.07
Let a be 4/(-20)*-3 - (-426)/15. Let j = -31 + a. Let z be ((-7)/(-3))/(j/(0 + 8)). Is z less than or equal to -8?
True
Let v = 7.76 - 39.66. Let x = -32 - v. Let m = 57/2 - 103/4. Which is smaller: m or x?
x
Suppose 39558 = 26*s - 83*s. Is -2 at most s?
False
Let c = -878 - -1258. Suppose 4*w - 4*m = c, 2*w + 3*m + 101 = 3*w. Let v = 462/5 - w. Is v less than 16?
True
Suppose -60*r + 38*r + 9372 = 0. Do 423 and r have the same value?
False
Suppose -12*a = 4*d - 13*a - 8341, 0 = 3*a - 9. Which is smaller: d or 2087?
d
Suppose 93664 = -35*a - 199111. Which is bigger: -33455/4 or a?
-33455/4
Let i be 4/2 - (-1000)/(-480). Suppose -39*r + 35*r = 0. Is r != i?
True
Suppose 7 = -3*l - 2*c, 0*l - 3*l - 5*c - 13 = 0. Let q = -166 + 162. Let g be (1/q)/(555/20). Which is greater: g or l?
g
Let z = 2 + -2. Suppose 2*c - 6 = 5*f - 0*c, z = 4*f - 2*c + 4. Let b = 4431 - 8863/2. Is b smaller than f?
False
Suppose -76*p + 65*p = 4818. Let x = p + 437. Which is smaller: -10/13 or x?
x
Let n(y) = y**3 + 3*y**2 - 3*y + 1. Let v be n(1). Let b be ((-1 + v)*-1)/(-1). Let z be ((-324)/111)/(-1) + -3. Is b greater than z?
True
Let p(n) = n**2 + 13*n + 44. Let s be p(-7). Let z(t) = t**3 - t**2 - 4. Let c be z(s). Which is smaller: c or 2/147?
c
Let u = 251/2 + -125. Let h = -449/22 - -28528/1397. Are h and u equal?
False
Let r = -2782 + 2784. Does 207 = r?
False
Suppose 5*t + 4*u + 1093 = 0, 5*u + 887 = -8*t + 4*t. Which is greater: t or -216?
t
Suppose 147 = -7*s + 294. Suppose -s*j + 602 = -511. Which is greater: 54 or j?
54
Suppose 4*f - 72 - 276 = 0. Let c = f - 137. Let w = c - -41. Which is smaller: -11 or w?
-11
Let v be 3/(-6)*(-1 - 1). Let l be ((3510/4)/9)/((-14)/21). Let u = l + 20463/140. Is u > v?
False
Let a be (0/1)/(0 + (-4)/2). Suppose 6*k + 0*k + 150 = a. Let s = 12 + -13. Which is bigger: k or s?
s
Let v = -411.38 - -409. Let a = v - -4.48. Is 1 not equal to a?
True
Let l = 347 - 340. Let f be ((-6)/l)/((-1)/(-28)). Let n(a) = -8*a - 1. Let g be n(3). Which is smaller: f or g?
g
Let p be 1/(((-8)/(0 - -32))/2). Which is smaller: -69/10 or p?
p
Let i = -235.98 + 238.9051. Let j = 0.0749 + i. Which is greater: -65 or j?
j
Suppose 10390 = 2*l + 77*l + 752. Let u be 126 + 0 - 4/2. Which is bigger: l or u?
u
Let b be 6726/42 + 4/(-28). Suppose -32*x = -28*x - b. Is 4 not equal to x?
True
Let l(i) = -2*i**2 - 15*i + 26. Let z be l(-10). Let b be z/(159/30 - 5). Is b not equal to -80?
False
Let t = 7604.9 + -7270. Let a = -335 + t. Is -462 greater than a?
False
Suppose 4*o - 17 = -13*v, v = 5*o - 0 - 4. Is 4/323 greater than v?
False
Let h = 186.231 - 186. Let k = 0.318 - h. Is 0.1 greater than k?
True
Let s = -32 - -37. Let d(c) = 0 - 2 + s - 13 + c. Let h be d(9). Is h equal to -2/13?
False
Suppose 0 = -3*o - 3*g + 12, 9 = 3*o + 4*g - 8. Suppose -3*s - 189 = -0*s. Let a be 6/s*(-112)/12. Is a < o?
False
Let x(h) = -4*h + 36. Let z be x(8). Let c be -13 + 2 + -1 - z. Let a be (8/3)/(c/120) + -3. Is -24 equal to a?
False
Let f = -256.96 - -252. Let l = -6.3 - f. Let v = l + -4.66. Which is smaller: v or 6?
v
Let d(g) be the third derivative of -11*g**6/20 + g**5/15 - 5*g**4/24 + g**3/3 - 2*g**2 + 69*g. Let m be d(1). Which is greater: m or -64?
-64
Let b = -9.799 - -6.799. Which is smaller: -226 or b?
-226
Let v(n) = -n**3 - 13*n**2 - 13*n + 42. Let l be v(-7). Which is greater: l or -178?
l
Let f = 254 - 425. Let g = 174 + f. Is g bigger than 27?
False
Let h = 42.28 - 1318.28. Is h at least -1?
False
Let h(m) = -408*m + 680. Let w be h(4). Is w != -950?
True
Suppose -3*d + 8 = -2*g - 4, -2*d - 2*g + 18 = 0. Suppose -d = 4*l - 18. Suppose -12 = m - l*m. Is m < 10?
True
Let p be 54/(-351) - (-54368)/(-494). Let d = -110 - p. Which is smaller: -1 or d?
-1
Let m be (-93)/((-3)/264*-12). Are -683 and m nonequal?
True
Let g = -30470 + 30471. Which is greater: g or -18/605?
g
Let i be 23/(-7) - (-512)/1792. Let p = 15.91 + -16. Which is smaller: i or p?
i
Let j(y) = y**3 - 32*y**2 + 70*y - 56. Let b be j(30). Is 487/2 at least as big as b?
False
Suppose 288*z + 4328 - 3197 = -4053. Is z at