-3). Is t smaller than b?
False
Let t(q) = -5*q**3 + 7*q**2 - 170*q + 7. Let c be t(10). Is -5992 greater than c?
True
Let p = 73.4 + -116. Let h = 24 + p. Is h less than or equal to -0.1?
True
Let k = 39597/376 - -2212/47. Let r = k - 587/4. Is r smaller than -1?
False
Let m(y) = 5*y - 18. Let w be m(10). Let b be ((-16)/6 - -2)/(w/(-2640)). Is 56 bigger than b?
True
Let k = -3211 + 2918. Is -2349/8 at most as big as k?
True
Let n(j) = j**3 + 43*j**2 + j - 99. Let c be n(-43). Let s be c/(-12) - (12 + 160/(-15)). Suppose -2*d = 6, 0 = p - 3*p - d + 21. Is s not equal to p?
True
Let t = -71.4 - -71. Let h = 9 - 7. Let q be h + -4 - 12/(-5). Which is bigger: t or q?
q
Let p = -64 + 68. Let i = 48 - 32. Which is bigger: p or i?
i
Let j = 735/4 - 183. Is j >= -171?
True
Let j = 0.49 - 195.49. Let p = 214 + j. Which is bigger: -5 or p?
p
Suppose -51*c - 57*c - 274536 = 0. Which is greater: -2541 or c?
-2541
Let n be 52/(-138) + 34/102. Let i = 502/621 - 5/27. Let x = n - i. Which is greater: -0.91 or x?
x
Let l be 5/(-30)*130*3. Let u be (-5)/(-25) + 342/15. Let j be 30/(-12)*(u - -3). Is l smaller than j?
False
Let f(n) = -4*n - 74. Let c be f(-24). Let o(i) = -i**3 + 21*i**2 + 22*i - 6. Let t be o(c). Let l = t - 43. Is -51 at most as big as l?
True
Let h be 16/5 - (-384)/(-320). Suppose -2*n - 8 = 0, h*y + 3*y + 3*n = -207. Is y greater than -43?
True
Suppose 20*o + 104 + 356 = 0. Let q = o + 133/6. Is -2 less than q?
True
Let w be (1184/(-48))/((-2)/12). Let i = 3931 - 3782. Which is greater: i or w?
i
Suppose 2702 = 26*k - 4682. Let c = 341 - k. Are 57 and c non-equal?
False
Let x be (((-84)/8)/(-7))/(5/10). Suppose -3*z - 96 - 57 = 5*s, 4*s + x*z + 120 = 0. Suppose h - 141 = 4*t, 4*t + 2*h + 160 = -t. Which is greater: s or t?
s
Let n(i) = -i**3 + 2*i**2 + 4*i + 1. Let g = 9 + -6. Let l be n(g). Is 70/13 > l?
True
Let l = -6 + 3. Let b = -4613 + 4608. Is b < l?
True
Suppose 16 = -2*j + 86. Let q = j - 38. Let k be q/6 + 284/(-8). Which is smaller: -37 or k?
-37
Suppose -2*k - 16 = 10*h - 8*h, 5*k - 8 = 3*h. Let n(d) = -20*d - 119. Let b be n(h). Let p be (-13)/5*(-5)/6. Are b and p nonequal?
True
Let w(d) = 149*d - 5 - 234*d + 128*d. Let l be w(3). Is l < 123?
False
Suppose -5*p - 150 = 13*r - 8*r, -4*p - 3*r = 111. Let h be 206/(-10) - (1 - 1). Are p and h equal?
False
Suppose 40*r = 66*r + 8190. Which is bigger: -2207/7 or r?
r
Let n be 167/((75/(-12))/(-5) - (-186)/(-168)). Which is smaller: n or 1167?
1167
Suppose 3*w = -5*v - w + 40, 3*w = 4*v - 1. Let q be 39/12 - 1/v. Let r be 7*-4 - (-1 - q). Which is smaller: -23 or r?
r
Let x = -2027 - -1990.88. Let j = -0.627 - -36.627. Let m = x + j. Is m < -0.1?
True
Let i = -1.748 + 0.068. Let d = i - 14.52. Let v = 7.2 + d. Which is greater: v or -1/5?
-1/5
Let k be -14019*(-4)/14 - -4. Let d = 3925 - k. Let p = d - -78. Which is smaller: -6 or p?
p
Let m be (-4)/24 + (-143)/6. Let o be (-162)/105 - m/60. Is o smaller than 9?
True
Let b(y) = 7*y + 89. Let i be b(-9). Let l(g) = 5*g - 144. Let q be l(i). Which is smaller: -73/5 or q?
-73/5
Let h = -9 + 8.9. Let l = 406 - 252. Let o = 80 - l. Are h and o non-equal?
True
Suppose 331*z = 330*z. Let u = -945703/113 - -8369. Is z <= u?
False
Let h = -4251 + 4266. Is h greater than or equal to 0.64?
True
Let f = 50699 - 205779/4. Is -2 greater than f?
True
Let h = -18.5 - 32. Let o = -51 - h. Let w = 0.02 + -9.02. Are o and w unequal?
True
Let p be 4/7 + ((-77)/49 - -2). Let g(i) = -3*i + 5. Let j be g(p). Is 38 greater than or equal to j?
True
Let u be 2/(-11) + 3010/(-22). Suppose -4*i + 28 = 0, -248*f - 4*i + 713 = -253*f. Is f equal to u?
True
Let i = -7733.081 + 7733. Which is smaller: i or -12?
-12
Suppose 9*t + 5993 = 27764. Which is smaller: t or 12093/5?
12093/5
Let h(r) = -r**3 - 3*r**2 + 4*r - 2. Let z be h(-4). Let t = 171 + -269. Let w = -197/2 - t. Which is smaller: z or w?
z
Let o = -204.0184 + 0.0184. Let m = 203.903 + o. Which is smaller: m or 0.2?
m
Let t = 2/53725 - -5426173/1396850. Which is smaller: 3 or t?
3
Let p = -158 - -165. Let v be (-11)/33 - p/33. Is v less than or equal to -6?
False
Let f be 3/30*208/(-2886). Is -1 greater than f?
False
Let i be -4 + -4*(3 + -4). Let z = 85/6 - 389/30. Which is greater: z or i?
z
Let v = -3533 + 5223. Which is greater: 1 or v?
v
Let c(p) = -2*p**2 - 97*p + 1078. Let r be c(11). Is 1 >= r?
True
Let l = -5180 - -7123. Which is smaller: l or 0?
0
Let v = 505 - 248. Let r = v - 257.3. Let t be ((-2)/(-4))/(2/32). Do t and r have different values?
True
Let p = -4 - -6. Let b be ((-18)/27)/((-16)/(-30)) - 294/168. Which is greater: b or p?
p
Let z = -21928 - -22389. Suppose l - 1380 = -2*l. Is l > z?
False
Let n = -13 - -12. Suppose -3*v - 40 = -g + 480, g - 5*v - 520 = 0. Let z = 23401/45 - g. Which is smaller: z or n?
n
Let x(g) = -10*g + 1. Let z be x(-3). Let v = z - 29. Let f = -4307/4 + 1078. Does f = v?
False
Let y(n) = n**3 + 5*n**2 - 10*n - 9. Let a be y(-6). Suppose -5*z + a = -4*d - 28, -41 = 3*d + 5*z. Which is smaller: 5 or d?
d
Let h(u) = -u**3 - 14*u**2 + 30*u - 23. Let x be h(-16). Suppose j + 0*j = 5, x = 2*v + 5*j. Let z be -5 - (8 - 5 - 0). Is z greater than or equal to v?
True
Let g be ((-147)/9)/(5/60). Which is bigger: g or 0.5?
0.5
Let g = 24026 + -24058. Which is smaller: 42 or g?
g
Suppose 0 = 2*n + g - 17, -204 = -3*n - 2*g - 178. Which is greater: n or 0.0826?
n
Let c = 25691 - 25670. Let h = -48 - -70. Is c greater than h?
False
Let s = -3146 - -3646. Which is bigger: s or 3490/7?
s
Suppose -4*a + 23620 = -3*n, 4*n + 2*a - 6*a + 31500 = 0. Let i = n + 86622/11. Which is greater: i or -5?
-5
Let u = 2/15362931 - -67204288152/87056609. Let s = 772 - u. Are s and 0 unequal?
True
Let a(d) = -2025*d - 1458. Let u be a(1). Which is greater: u or -3482?
-3482
Let n(p) = 24*p + 1. Let l(o) = o**2 + 23*o + 2. Let s(b) = 2*l(b) - 3*n(b). Let q be s(13). Let a be (32/(-30) - -1)/((-66)/220). Are q and a unequal?
True
Let u(y) = y**3 - 4*y**2 + 2*y + 4. Let f be u(4). Let g = 15 - f. Suppose g*o = -4*q - 2, -5*o - 14 = 3*q - 7*q. Is q > 3/13?
True
Suppose -154*y = -31*y - 70*y + 79076. Is y bigger than -10434/7?
False
Let f be (-1042)/((-2)/8 + (-68)/8 + 10). Which is smaller: -833 or f?
f
Let o(q) = q**3 + 7*q**2 - 2*q - 13. Suppose -23*f = -22*f. Suppose -n + 8 - 15 = f. Let j be o(n). Which is bigger: j or -0.09?
j
Suppose -3*x - 2*f + 26 = -6*f, 0 = 3*f + 15. Suppose 0 = -2*r + 4*s - x, -s = -4*s + 6. Let n be (-200)/3*10/(-150). Is n less than r?
False
Let g(w) = -w**3 - 37*w**2 - 32*w + 201. Let z be g(-36). Are z and -22/9 unequal?
True
Let m be (17/(-17))/((-4)/(-8)). Let j be 6*(4/m - 9/2). Does -40 = j?
False
Let f = 88420 + -88519. Suppose 2*a - 4*a = 5*r + 487, -5*a + 119 = -r. Is f at most r?
True
Let o = -61977/4 + 317481/20. Which is smaller: 379 or o?
379
Let j(v) = v**3 - 7*v**2 - 3*v + 19. Let d be j(7). Let t be 1326/(-33) - d - (-14)/77. Are -36 and t equal?
False
Let k(t) = 313*t + 1879. Let f be k(-6). Do f and 52/191 have different values?
True
Suppose -739*j + 750 = -589*j. Is j bigger than -51.5?
True
Let p = 3147 + -3153. Which is greater: p or 26/11?
26/11
Let z = -3.5399 + 4.5399. Which is greater: z or 0.994?
z
Let g = -126 + 126.06. Does g = 46?
False
Suppose 547 = -6*k + 1153. Suppose 90*m - k*m = 66. Let j(s) = -s**2 + 4*s - 5. Let f be j(4). Is m greater than f?
False
Let u = 0 - -2. Let b = 75 + -61. Let d be ((-3)/(24/b))/(91/(-56)). Is d at most as big as u?
True
Let q be ((-2877)/(-1128) - 1) + 3/(-24). Which is greater: 1 or q?
q
Let u = 8.136 + 3919.864. Which is bigger: u or -0.1?
u
Let h be 13 + (-69 + 9)/6. Suppose -4*t = 3*a + 13, -7*t + h*t - 20 = -4*a. Suppose -x + 5 = -2*p - 3*p, -5*x = 2*p + 2. Which is smaller: p or a?
p
Let a be 24/(-18)*(9/16 - 0). Suppose 4*s + 9 = -h, 3*h - 58*s - 3 = -55*s. Is a less than or equal to h?
False
Let k = -0.06696 - 40.93304. Does -0.3 = k?
False
Let y be ((-2)/5)/((-2)/(-10)). Let m = -256266 + 1034063/4. Let b = -2251 + m. Which is bigger: y or b?
b
Let t be (21/(-14))/(6/8). Let g = -0.519 - -0.872. Let l = 0.283 - g. Which is bigger: l or t?
l
Let o be 4/34 + (-25761)/51 + 1. Let r be 898/4122 - 14*(-8)/o. Is r < 1?
True
Let t = 1355.2 + -1498. Let x = t + 7.8. Which is bigger: 1/2 or x?
