h = 3*c + 6, -35 = 5*c + 3*h - 6. Let f be (c/(-30) + 146757/585)/1. Is f smaller than 251?
False
Suppose 4*k - 43 = 5*f, 17*k = 12*k + f + 38. Suppose k*t - 217 = -0. Does t = 28?
False
Let c = -15 + 15. Let x = 14951/6 - 2499. Do x and c have the same value?
False
Let v = 0.0488 - 254.0488. Let u = v - -250. Which is bigger: 14 or u?
14
Let j be (27/12)/(9/24). Let h be (4/18)/(j/(-9))*3. Is -1/20 <= h?
False
Let g(m) = -16*m + 224. Let n be g(14). Do 10/709 and n have the same value?
False
Let t = -8.97607 - 0.02393. Let g = -0.5 - -0.1. Let i = g + 0.8. Which is smaller: i or t?
t
Let o = 9580 - 9528. Are o and -31 equal?
False
Let i(f) = -f**3 - 10*f**2 - 35*f + 4. Let u be i(-11). Which is greater: 513 or u?
513
Let x = 0.32 + -0.02. Let j = 1.2 + 7.1. Let a = j + -2.3. Which is greater: a or x?
a
Let g = 14.76 - 36.4. Let d = g - 0.36. Suppose -9*z - 8 = -5*z - 4*x, -z = -5*x + 14. Does d = z?
False
Let v = -6547/5 + 1309. Suppose 3*d - d - 2 = 0. Which is greater: d or v?
d
Let a be 11/4*((-24)/4 - -14). Suppose 5*d = t - 0*t + 170, 51 = 2*d + 3*t. Is d at least a?
True
Let y be -2 + (54/(-3))/2. Let p(j) = -j**3 - 10*j**2 + 10*j - 12. Let o be p(y). Let h be 54/(-24)*11/132. Are h and o non-equal?
True
Let h = 12492 + -23759. Is -11269 > h?
False
Suppose 0 = -j + 5*j + 28. Let r(f) = -f**2 + 18*f - 4. Let n be r(18). Let o be (-1)/n*264/(-8). Are o and j unequal?
True
Let l = -25.7 + 151.7. Let n = l - 138.8. Let p = -13 - n. Which is smaller: p or -4?
-4
Let g be (-459)/(-159) - (0 + 3). Let w(f) = -f**2 + 16*f - 59. Suppose -4*v = -5*i - 30, 6*v - 2*v - 3*i = 34. Let n be w(v). Which is bigger: g or n?
n
Let t = 0.1 + -0.1. Let u(l) = -6*l**2 - 4*l - 20. Let y be u(-6). Let h = y + 202. Which is greater: h or t?
t
Let a = 1226.9 + -1250.9. Is a <= 3/20?
True
Let d(s) = s**2 + 16*s - 97. Let f be d(-29). Let k be ((-48)/f)/(16/(-196)). Suppose -3*q + 3 = -2*t, 2*t + 0*q + 6 = 4*q. Which is bigger: k or t?
t
Let p = 3303 - 3085. Is 216 less than or equal to p?
True
Let s = -0.0838 - 235.3162. Let d = s - -268. Let l = 33 - d. Which is greater: l or 0.5?
0.5
Let d = 2 + 0. Suppose d*f = -f. Let w = 112/815 + -2/489. Which is bigger: f or w?
w
Suppose 0 = -5*y + u + u + 194, -4*y - u + 150 = 0. Suppose 2*t + 5*l = 3*t + 17, l = 4*t + 11. Let z be (t*13)/((-4)/6). Is z smaller than y?
False
Let i(m) = m**3 - 3*m**2 - 7*m - 2. Suppose -16 - 4 = -4*x + 4*d, 3*x + 4*d + 6 = 0. Let w(z) = 3*z - 1. Let g be w(x). Let j be i(g). Which is bigger: 12 or j?
j
Let o(s) = 4*s**2 + 4*s - 3. Let w be o(1). Suppose 15 = 5*n, w*x - 4*x + 64 = n. Let j = x - -36. Which is greater: j or -23?
-23
Let b(c) = -c**3 - 85*c - 1. Let n be b(0). Which is greater: -1/24964 or n?
-1/24964
Suppose -679 = 6*a - 247. Let r(v) = 7*v - 24. Let z be r(-7). Which is bigger: z or a?
a
Let l = 2250.8 + -2261. Is l bigger than -1/4?
False
Let y(h) = 584*h**2 - 54*h - 53. Let w be y(-1). Is w less than or equal to 5847/10?
False
Let f(t) = t**3 - 7*t**2 + 19*t - 25. Let k be f(3). Let g be 97546/1368 + k/(-9). Do g and 73 have different values?
True
Let v = -1 + 8. Let t be (5040/26 - 5) + 2/13. Suppose 0 = -24*o + t - 45. Which is smaller: v or o?
o
Let b be (1/6*-2)/(-1). Let j = -6826562/547 + 12480. Which is bigger: b or j?
b
Let g = -50 + 53. Let j(t) = 4*t - 44. Let s be j(14). Suppose -g*h - l = -s - 5, -2*l = -5*h + 43. Which is smaller: h or 4?
4
Let t = 27 - 22. Let b(i) = i**3 - i**2 - 2*i - 1. Let z be b(3). Suppose -3*l + t*n = 18, -l + 5*n - z = -5*l. Is -2 less than l?
True
Suppose 4*k - 5*p = 622, -10*p + 5*p = 10. Suppose -231 = k*x - 156*x. Which is smaller: 1 or x?
1
Let i be (-3596)/240 - (50/(-8) - -5). Which is greater: -15 or i?
i
Let z be (-825)/75 - (-2 - -20). Is -235/8 smaller than z?
True
Let k be (-18)/120*10/(-3384). Let t = 6487/2256 - k. Which is smaller: 4 or t?
t
Let k be 1/3 - (4 + (-458416)/124944). Which is greater: 0 or k?
k
Let l = 1 + 2. Let f(i) = -i**3 + 4*i**2 - 4*i + 5. Let u be f(l). Suppose -2*a = -2*m, 3 = -5*m + u*m + 2*a. Which is greater: -6 or m?
m
Let y be (8/14)/4 + (-2574)/(-63). Suppose 27*g - 56 = y*g. Which is smaller: 0 or g?
g
Let r be (-54)/((-9)/2 - -3). Let a be (-9)/((1/(-3))/(r/4698)). Is 0 >= a?
False
Let j = -3.905 + 4.322. Is j >= -2?
True
Let v = 10.93 + 0.07. Let r = -167 - -174. Is v less than r?
False
Let o be (-10)/(-240)*80*(-12)/(-10). Which is smaller: o or 198/73?
198/73
Suppose 5*d + 17 = b - 4, 4*b = 3*d + 16. Let f = -124087/133 - -933. Which is greater: b or f?
b
Suppose u - 5*r = -3*u + 28, -5*r - 14 = -2*u. Do u and 56 have the same value?
False
Let b = -57 + 59. Suppose -4*m = -6*m + b. Let u be ((-318)/(-24) - (-6)/8)/m. Which is greater: u or 13?
u
Let t be (1 - 4)*(-124)/(-12). Let w be 3/(-4 - (-249)/63). Let n = -93 - w. Is t < n?
True
Suppose 3*b = -4*c + 3, 2*c - 16 - 3 = -5*b. Suppose 5 = -2*u + u + b*f, u + 2 = 2*f. Is -7/50 <= u?
True
Suppose 4219 = 41*j + 23899. Is j >= -479?
False
Let v = -16 - -9. Suppose 461 = 13*p + 19. Suppose 0 = 5*o + p - 4. Which is smaller: v or o?
v
Let b(f) = 86*f**2 + f + 5. Let z(a) = -29*a**2 - 2. Let i(c) = -2*b(c) - 7*z(c). Let k be i(-2). Suppose -4*o - k = -10*o. Which is bigger: o or 24?
24
Suppose -7*t + 83810 = 25*t - 3*t. Are t and 2890 non-equal?
False
Let o(b) = -12*b - 217. Let h = 335 + -353. Let t be o(h). Which is smaller: -4/95 or t?
t
Let k = -5 + -6. Let g(u) = u + 11. Let w be g(k). Let j = 446 + -6688/15. Are w and j nonequal?
True
Suppose -28*c = -53*c - 3850. Is c < 22?
True
Let h = -321 - -396. Let r = 74.8 - h. Let j = 14 - 55/4. Which is greater: r or j?
j
Let g = -869575596 + 6112246846327/7029. Let l = 1/47237 - -92131/110676291. Let f = g - l. Which is smaller: f or -4?
-4
Let h(u) = 24*u**2 + 3*u + 3. Let q be h(-1). Let n = 23 - 0. Let a = q - n. Is a less than 0?
False
Let m be 40/(-25) - 2/(-5). Let o(b) = b**2 + b - 13. Let n be (-42)/10 + 1 + 12/(-15). Let l be o(n). Which is greater: m or l?
l
Suppose 0 = 5*y, -y - 22 + 20 = r. Which is bigger: r or 556?
556
Let i = -3/167990945450 + -14841328054389049/690815221725562650. Let y = i + 44/1961. Is -1 > y?
False
Let f = -620 + 691. Let l(o) = o**3 - 6*o**2 - 7*o. Let d be l(8). Let h = d - f. Is -1/10 greater than h?
False
Let j be (3 - 220/60)*8/12. Which is bigger: 58 or j?
58
Let y(a) = -16 + 16 - 1 + 4*a + 18. Let o be 4*(-3 + 0)/3. Let j be y(o). Which is greater: 1/30 or j?
j
Let h be -1*7 - (-431 - -424). Is 1/47 > h?
True
Suppose -o + 130 = 2*c, 3*o + 5*c + 108 - 496 = 0. Suppose -o = -39*h + 48*h. Is -11 < h?
False
Suppose c = -0*c + 3. Let y = 257 - 305. Let t be 32/y - (-8)/(-6). Which is smaller: t or c?
t
Suppose h + 5*q - 432 = 0, -493*h - 5*q = -494*h + 412. Suppose -5*b + 4*b = u - 421, -2111 = -5*b - 2*u. Is h >= b?
False
Suppose 2*y = 3*s - 37 + 504, 3*s - 449 = -2*y. Suppose -5*n - 3*f - 1149 = -7*f, -n + f = y. Is -234 < n?
True
Let n = 48 + -52. Suppose 76 = -6*j - 6*j + 112. Which is smaller: j or n?
n
Let w(m) = -m**2 - 12*m - 29. Let l be w(-6). Let x(f) = -8*f - 34. Let a be x(l). Are a and -89 equal?
False
Suppose -5*r = -4*g - 38, 0 = -4*r + 5*g + 21 + 13. Let u be (((-4)/(-47))/1)/(-2). Let z = 37/235 - u. Which is smaller: z or r?
z
Suppose -4*i + 708 = 34*z - 33*z, 4*z - 2900 = i. Is 722 != z?
True
Suppose 2 + 0 = -2*i. Let z be 2 + 3 + -3 + 0 + 1904/(-948). Which is bigger: z or i?
z
Let c = 1824 - 2571. Let l = c + 761. Is 108/7 not equal to l?
True
Let z be 21 + 35607/(-312) - 3*3. Is z at least as big as -101?
False
Let j be (-1)/(7/49) + 71. Let o = j - 77. Is o bigger than -13?
False
Suppose 346 = 175*m + 346. Let p be (0 + 1)/(1/3). Suppose -3*r + b + 124 = 2*r, 3 = p*b. Is r greater than or equal to m?
True
Let i(u) = -u**3 - 31*u**2 - 33*u - 1853. Let c be i(-32). Is 223 greater than or equal to c?
False
Let k = 47563 - 195421/4. Is -1292 at most as big as k?
False
Let g be (0 + (-8)/10)/((-9)/1020*-12). Which is greater: g or -9?
g
Let i = 586 - 559. Suppose 1923 + 5151 = i*f. Is f greater than 263?
False
Suppose 0 = -5*w, -3*g + w = -2*w - 168. Let h = 0 + g. Let t be 0 + 0/2 + h/(-154). Is t at least 0?
False
Let h be (-3*(-106148943)/27)/(-921). Let v = -12806 - h. Which is greater: v or 0?
v
Let v(g) = -6*g**3 - 2*g**2 - 5