t q = d - 15. Is q bigger than -116?
False
Let p = 19 - 24. Let g be 0/p + 2/2. Let y = -161 - -161.4. Which is bigger: g or y?
g
Let u be 9*(69/(-4))/(-15 + 948/64). Which is smaller: 826 or u?
826
Let z be 1664/(-260) + 4/(-10) + 32/40. Is -296/41 < z?
True
Let r(y) = 37*y - 390. Let a be r(16). Which is bigger: 220 or a?
220
Let o = -0.19 - -0.28. Let z = -6.91 - o. Let v = 1174 + -1174.8. Is v >= z?
True
Suppose -96 = -4*c + 4*d, 3*c + d + 4*d - 72 = 0. Suppose 0 = 3*i - i - c. Let x(h) = h**3 - 11*h**2 - 11*h - 13. Let y be x(i). Are 6 and y non-equal?
True
Let r = -2.1 + -0.8. Let v = -74.2 + 77. Let b = v + r. Which is smaller: b or -23/4?
-23/4
Let s = -5 + 4.6. Let f = 489 - 281. Let x = f - 1458/7. Which is smaller: s or x?
s
Suppose 6*z = 2*d + z - 193, -5*z + 302 = 3*d. Suppose -5*s + d = 2*y - 5*y, 0 = -s + 3. Let o be y/3 - 20/30. Is -10 <= o?
True
Suppose 0 = -2921*h + 2944*h + 20010. Is h greater than or equal to -872?
True
Let t(r) = -3*r**3 + 11*r + 4. Let l be t(-3). Suppose -12 = 8*o - l. Let j be (o + -4)*((-6)/52)/3. Which is smaller: j or 0?
j
Suppose 0 = 20*x - 26*x + 48. Let d be 1/(x/(-152)) + 5. Are d and -74/5 equal?
False
Let o = -36.6 - 15.5. Let m = o - -54.1. Is m at least as big as 4/19?
True
Let b = 1.1 + 8.4. Let t = -75.5 + b. Let l = -69.4 - t. Is l equal to -1?
False
Let w = 1752 - 850. Let a = w + -566. Are a and 337 nonequal?
True
Suppose 0 = 298*z - 286*z - 24. Is z at most -471?
False
Let w = 44.65 - 45.65. Is 7.188 smaller than w?
False
Let m = -62.64 + 0.04. Let q = m + 62.607. Are 2 and q nonequal?
True
Suppose -1747*g + 1744*g = -1833. Is g at most 613?
True
Let y be (2 - 1)*3*-1. Let j = 272 - 272. Let q be ((-2)/(-10) - j)*(-40)/(-32). Which is smaller: y or q?
y
Suppose 583*p - 172*p - 57951 = 0. Is p equal to 109?
False
Let z = 93 + -83. Suppose 0 = -z*w + 7*w + 6. Which is smaller: 35 or w?
w
Suppose 4*t + 100 - 76 = 0, 0 = 3*u + 5*t + 234. Which is smaller: u or -143?
-143
Suppose -90*q = 8*q + 68278 + 25606. Is q less than or equal to -958?
True
Suppose 10*z - z - 837 = 0. Is z greater than or equal to 91?
True
Suppose -6*t + 8 = 2*t. Let k(j) = -5*j**3 - 2*j**2 + 3*j - 2. Let p be k(t). Let l be (2/(-6))/(28/p - -5). Is l at least as big as 2/71?
False
Let d = 806 + -806.11. Do d and 94 have different values?
True
Suppose -3*h + 0*h - 1 = -2*u, -3*h = -3*u + 9. Suppose -5*k - 261 = 4*g - 3*g, -2*g + u = 0. Which is bigger: -105/2 or k?
-105/2
Let j = -11226 + 11419. Which is bigger: j or 198?
198
Let s be (-997)/(441/126 - (-201)/(-42)). Is s smaller than 774?
False
Suppose 5*v - 4*l - 540 = 0, 5*v + 8*l = 3*l + 540. Let r = v + -76. Which is smaller: 29 or r?
29
Let q(o) = 56*o + 2537. Let k be q(-45). Is k equal to 39?
False
Let l = -115.18 - -117. Let w = l - 1.92. Let k be (-4 + 5 + 1)*(-2)/(-164). Is k less than or equal to w?
False
Let y = -57 - -77. Let s be (-96)/80*(-75)/9 + -3. Is y at most as big as s?
False
Let n be 4 + 0 - (-1 + 8). Let c be -3 + 2 - (-5 - n). Let j be 3 - (21/15 - c). Which is bigger: 4 or j?
4
Let j = -12921576/197 + 65592. Is j less than or equal to 1?
True
Let o = -13968 + 13993. Which is smaller: o or 118?
o
Let q be (-5)/(-3 - -4) - 3. Let z be (q/(-25))/((-56)/(-6180)) + -1. Let u = -173/5 + z. Are -13 and u non-equal?
True
Suppose -5*f = -7*f + 24. Suppose -5*i = -i + f. Let u = 258 - 519/2. Is u equal to i?
False
Let l = 12.3 - 2.3. Let c = 41.89 + -42. Let f = -0.21 - c. Which is smaller: f or l?
f
Let l = 23 + 0. Let n = 20 - l. Let q be (-1)/(((-286)/88)/((-1)/4)). Is q less than or equal to n?
False
Let q = 152 + -104. Suppose -17*g = -4*g - 611. Do g and q have the same value?
False
Let d = 76987.078 - 77068. Let c = d + 81. Which is greater: c or -1?
c
Suppose 0 = 4*b + 79 + 413. Let t = 75 + b. Is 4 at most t?
False
Let n = 356 - 355. Let d be 6 - 5/n - (0 - 0). Do -2/53 and d have the same value?
False
Suppose 4*q = -29 + 49. Let v be (q + -2)/((-1)/30). Let z be (21/v - 0) + (-4)/24. Is z at least as big as -72?
True
Let r be 30 + -16*(-24)/(-32). Let g be (-4)/(-14) - (-248)/14. Is r != g?
False
Let s(d) = d**3 - 37*d**2 - 8*d - 1142. Let a be s(38). Which is greater: -67/53 or a?
-67/53
Let c = 51 - 47. Suppose -c = u - 3. Let r be 33/108 + (-1)/4*u. Which is greater: r or 0?
r
Let k be (-188)/282 + 284/291. Is -1 greater than or equal to k?
False
Let q be (1 + (592/188 - 4))*702/63. Is q greater than 3?
False
Suppose 1578*z = 1574*z - 4. Which is smaller: z or -3/115?
z
Let t(u) = -u**3 - 42*u**2 - 270*u - 12931. Let q be t(-40). Which is bigger: 1/3 or q?
1/3
Let k be -1 + 135/(-24) - -7. Let a = 14 - 9. Let r(b) = b**3 - 6*b**2 + 6*b - 4. Let y be r(a). Is y bigger than k?
True
Let c = 2940524/105 + -28005. Let w(v) = 3*v + 18. Let s be w(-6). Are c and s nonequal?
True
Let w be 207/(-9522) + 654/4692. Let l = 0 - 0.1. Are w and l equal?
False
Let w = -19.4 - -10.7. Let l = 16482.3 + -16493. Let y = l - w. Is 3 <= y?
False
Let o be (5166/224*1)/(5*(-30)/200). Let p be (16/(-2))/(3/12). Which is smaller: p or o?
p
Let d(t) = -t**2 + 4*t - 2. Let h be d(2). Suppose -h*c + v = -148, c + 11*v = 7*v + 83. Which is smaller: c or 73?
73
Let r(z) = z**2 + 7*z + 3. Let a be r(-7). Let w be (-172)/(-32) + -5 + (-90)/(-16). Which is smaller: w or a?
a
Suppose -26 = -5*r + 4. Suppose -3*a = -9 - 0, 0 = -5*s + 2*a + 54. Which is bigger: s or r?
s
Suppose -2*p = 2, 4*l - 14*p - 10331 = -11*p. Which is smaller: l or 2581?
2581
Let g = 10 - 14. Suppose 0 = -2*n - 4*b + 26, -62*n - b + 11 = -60*n. Which is greater: n or g?
n
Suppose -102*f - 8 = -110*f. Let t = 5236 + -1282822/245. Which is smaller: t or f?
t
Suppose 6*w = 37*w - 62. Let t(a) = a**2 - 5*a. Let n be t(5). Suppose 4*h + 27 - 7 = n, -5*c + 25 = -w*h. Does 3 = c?
True
Let h be (-14)/(-3)*2/20. Let a = -41815 - -41816. Which is bigger: h or a?
a
Let x(q) = 4*q + 8. Let y be x(11). Let r = 4689/2 - 2291. Let f = r - y. Which is smaller: f or -2/5?
-2/5
Let i = -0.41 + -1.29. Let b = i + 3.2. Let k = b + -1.6. Which is smaller: -1/8 or k?
-1/8
Let u = -0.16033 - 3.64967. Is u greater than 15?
False
Let x be ((-560)/90)/8 - 2*(-4)/18. Which is greater: x or -3/2693?
-3/2693
Suppose -145 = -19*l - 392. Let o be -148*(21/(-273))/(2/l). Is o greater than -76?
True
Suppose 2*s + 5 = v + 26, 3*s - 18 = -3*v. Let l = 5723/4 - 1423. Is s at least l?
True
Let p = 120 - 97. Suppose 33*b - 76 = p. Is b != 14/5?
True
Let i be -6*8/24*(-3245)/(-5). Are -1298 and i non-equal?
False
Let s = 2019 + -1705. Do s and 940/3 have the same value?
False
Let f(o) = -o**3 + 3*o**2 + 2*o + 4. Let j be f(4). Let x = -327892.9457 + 327907. Let w = 0.0543 - x. Is w smaller than j?
True
Let h = 88 - 87. Let p be 1*((-14)/(-7) - (-308)/(-152)). Is p <= h?
True
Let z(t) = 13*t**2 + 3*t - 2. Let d be z(1). Let f = d + 0. Let m be f/(-18) - 8/36. Do m and -3/8 have the same value?
False
Suppose -78 = -36*h + 62*h. Let o = 699 - 700. Is o < h?
False
Let m = -5503 - -5671. Which is smaller: m or 160?
160
Suppose 5*v = -5*q - 20, 5*v + 3*q = -19 - 5. Let w be 8/v*(-10 - -4). Let p be (-87)/(-5) - w/20. Which is smaller: p or 19?
p
Let s(c) = c - 35. Let r be s(37). Suppose 0 = -0*a + 3*a, 5*g - 5 = -r*a. Let b = 8 - 6. Which is greater: g or b?
b
Let r(x) = -2*x**3 - 16*x**2 + 29*x - 9. Let c be r(-9). Let u be c/26 - (88/(-2))/11. Let g = -36 + 75/2. Is u less than or equal to g?
True
Suppose 11*b - 1589 = -2458. Is b <= -78?
True
Suppose 15*p = 65*p - 50. Let a be 640/900 + p/(-9). Which is bigger: 4 or a?
4
Let q be 28/174*872/(-763). Is 0 less than or equal to q?
False
Suppose -5*f = -2*f + 18. Let u be f*1 + 0 + 3. Let s be 2/(5/55 - 48/44). Is u < s?
True
Let x = 49.78 - -0.22. Let v = -643.7 - -694. Let r = x - v. Which is smaller: 2/9 or r?
r
Let f be 2/8 + (-2650)/40. Let b be -3 - (-3)/(-3) - f/6. Suppose -216 = 2*p + b*p. Which is smaller: p or -23?
p
Suppose 5*a + 2*d = -11031, -63*d - 4401 = 2*a - 66*d. Is -2207 less than or equal to a?
True
Let w be -10*((-6)/(-8) - 4/(-16)). Let q be (-3190)/(-232) + w/(-8). Which is bigger: q or 16?
16
Let w be ((-3315)/170)/((-2)/52). Let a = w + -508. Which is smaller: 2/687 or a?
a
Let x = -6167 - -7554. Is 1388 < x?
False
Suppose 232*k + 19286 = 160*k + 4814. Are -219 and k