m = -25 - 3. Let g = t + m. Is -44 at least as big as g?
False
Let d be 1 - (0/1 + -29). Let p(t) = 2*t**3 + 151*t**2 + 87*t + 918. Let a be p(-75). Is a <= d?
True
Let d = 47.9993 + -0.0993. Let y = 48 - d. Is y > -55/7?
True
Let s = -7609/31089 - 8/723. Suppose 0 = d - 5*o - 29, -313*d + 3*o = -318*d - 23. Is s >= d?
True
Suppose -5*d = 5*t + 70, 5*t + 4*d + 65 = -6. Is 12 less than t?
False
Suppose -35*d = -29*d + 24. Let g be d/(-18) - 1/(2412/512). Suppose 0 = 3*c - v - 1, -4*v = 5*c + v + 25. Are g and c unequal?
True
Let n(i) = -2*i**2 - 35*i + 15. Let v be n(-18). Let a = 33.1 - 32. Let f = a + -0.1. Is v at most as big as f?
True
Suppose -110 = -8*j - 102. Let k = 2/6301 - -37676/409565. Is k bigger than j?
False
Suppose 4*q = 50 + 26. Suppose -2*t + 2*l + 3*l = -13, 5*t + l - q = 0. Which is bigger: t or 3?
t
Suppose 0 = -8701*h + 8677*h + 67464. Are 2810 and h non-equal?
True
Let m = -596 - -1001. Let o = 403 - m. Is 102 less than or equal to o?
False
Let q be 1432/3 - (-4 + 0 + 11). Are q and 470 equal?
False
Suppose 0 = 4*x - x - 15207. Let n = x + -35318/7. Which is smaller: 23 or n?
23
Let u = -2297 + 1576. Let p be 4 + (-2)/(16/u). Let c = p - 94. Is -1 < c?
True
Let g be 2 + (-60)/(-18) - (-4)/6. Let f(w) = w**2 - 10*w + 27. Let i be f(g). Suppose -v + 5*v = -3*k - 56, -5*k + i*v = 103. Does k = -20?
True
Suppose 4*l = 5*k + 23, -6*l - 3*k = -2*l + 1. Suppose t + 4*t + 22 = m, l*m - 23 = 3*t. Suppose m*g + 10 = 2*g. Is -1 equal to g?
False
Suppose -8*s + 2*l + 10 = -7*s, -77 = -5*s + l. Suppose s*z - 59 = -11. Which is smaller: 7 or z?
z
Suppose 770 = 5*k + 5*f, -3*f + 792 = 4*k + 179. Let r = 494 - 343. Is r >= k?
True
Let m(s) = 10*s - 2. Let j be m(0). Let l be j/(-8) - 21/(-180)*-57. Which is greater: -6 or l?
-6
Let u = -10632/7 + 1521. Let p = -16.8 + 16.84. Which is bigger: p or u?
u
Let n = 7639 + -7639.1. Does 3.101 = n?
False
Let s be ((-1)/2)/(((-240)/(-416))/(-15)). Which is smaller: s or 219/19?
219/19
Suppose -17 = 2*h - 4*m - 41, m = -4. Let p = -2/261 + 4186/1305. Is h not equal to p?
True
Let w(f) = f**3 - 12*f**2 + 14*f + 2. Let d be w(11). Let c(p) = p**2 + 10*p + 21. Let q be c(-13). Let a be (q/(-35))/(2/d). Which is bigger: a or -31?
a
Let a = 38.8 + -35. Let q = 0.216 - -306.784. Let x = q + -306.9. Are x and a unequal?
True
Let f(w) = w**3 + 15*w**2 + 15*w + 23. Let x be f(-14). Let k be (-15)/x*(6 - 3 - 6). Let l be (k - 225)/(-5) + -5. Is l greater than 39?
False
Let y(t) = t - 3. Suppose 0 = q - 82 + 42. Suppose 6*v - 46 = -q. Let m be y(v). Which is smaller: -18/23 or m?
m
Let g(y) = y**2 - 49*y + 257. Let i be g(43). Is -1/487 != i?
True
Let t = -2.23 - 7.07. Let c = t - -100.3. Let p be ((-152)/(-605 - -149))/((2/(-3))/1). Is c less than p?
False
Suppose -b - 2*x = 3*x + 2, 5*x + 5 = 0. Suppose 282 = 2*v - b*o, 0 = -7*v + 5*v - 2*o + 262. Is 135 not equal to v?
False
Suppose 1950 = -c - 4*v, -c + v - 2558 = -583. Let a be (2/c)/((-126)/140). Is -1 at most a?
True
Let v = -16684 - -11942. Is v greater than -4741?
False
Let t be 8/18 + (-3507)/(-189). Suppose -3*p + 8 = -2*w, 3*w + t = 3*p + 16. Which is smaller: 17/3 or p?
17/3
Let b be (-9 + (-308)/8)*5/50. Which is smaller: b or 7.3?
b
Let d = -0.1 - -0.38. Let h = -0.458704 - -0.258704. Which is smaller: d or h?
h
Let j be (6239/(-4))/(156/(-48)) + 133/(-19). Is j > 474?
False
Let j = -52 + 153. Let i = -106.5 + j. Let x = 3.5 - i. Which is smaller: -0.1 or x?
-0.1
Let n = 1/88275 + -96837679/353100. Let y = n + 273. Let z = -2 + 0. Which is smaller: z or y?
z
Let p = 1/30 - -13/60. Which is bigger: p or 3548/21?
3548/21
Let x be (-57)/(-266)*96/9*(-4 + -16). Let y(f) = -8*f + 3. Let o be y(6). Which is greater: o or x?
o
Let p be 10/(-35)*3/((-42)/49). Let j be (-11625)/(-1950) - (p + 5). Which is greater: j or 1?
1
Let b be (-6)/3*(177/(-38) + 5). Which is smaller: b or -2?
-2
Let g be 11/4 - (34/(-8) - -5). Suppose 11*m + 3*m = -g*m. Let a = -3/41 - 89/1025. Is m bigger than a?
True
Suppose -9*h = -5*h + 4*v - 48, -v - 16 = -3*h. Suppose -h*i - 5*l = -6*i - 4, -2 = -2*i - 4*l. Which is bigger: i or -1/418?
-1/418
Let l be (56/(-3) + (-3211)/(-169))/(6/(-34)). Let y = 1 - 2. Are y and l unequal?
True
Let b = -319 + 3503/11. Let h = 667.191 + -666. Let n = h - 0.191. Which is smaller: n or b?
b
Let c be -14 + 5082/(-1080)*-3. Is c greater than -1?
True
Let b = -133952/43 - -3114. Let m = b + 3530/817. Is 2 at most m?
True
Let t be 34/6 - 1/(-3). Let b = -9 + t. Suppose 129 = -2234*a + 2177*a - 99. Is b at most a?
False
Let r = -51 + 78. Suppose 91 = -3*o - t, -4*t = -o - t - r. Let c = 24 + o. Is c at least -7?
True
Let x = -12333 + 9622. Which is smaller: -2705 or x?
x
Suppose 71 - 36 = 5*a. Let z(r) = -3*r**2 + r - 65. Let y be z(a). Is -206 > y?
False
Let d = -325285/9 - -36143. Which is smaller: 0.08955 or d?
0.08955
Suppose -3731*b = -3706*b. Let v = -5549/30 - -185. Let t = -3/10 - v. Which is smaller: b or t?
t
Let y be (-25320)/(-21) - (-7)/(70/(-40)). Which is smaller: 1202 or y?
y
Let b(r) = -3 + 18 - 72*r + 32*r + 4 + 59*r. Let l be b(-1). Which is bigger: l or -3/104?
l
Let z be (3 + (12 - 16))/((-3)/(-4191)). Does -1396 = z?
False
Let h = 262.156 + -253.9. Let t = h - 8.3. Is t smaller than 0.4?
True
Let r be 2/((-2 - -3)*(2935/(-1465) - -2)). Which is smaller: r or -589?
-589
Suppose 97 - 17 = 4*i. Suppose 12 = 16*u - i. Let z(p) = -p**3 - 3*p**2 - 3*p - 3. Let d be z(-2). Is u <= d?
False
Let y = -0.16809 - 0.03691. Which is greater: 13 or y?
13
Let k be 1*(-1)/8*((-60)/(-10) + -4). Which is greater: k or -13747?
k
Let d(l) = 4*l**2 - l + 2. Let y be d(1). Suppose 32 = y*c - 48. Let a(j) = j**2 + j - 3. Let m be a(4). Is c less than or equal to m?
True
Let g be (200/6)/(-5)*(-63)/(-2). Let j be (-1)/(((-27)/6)/(g/56)). Which is smaller: j or -0.02?
j
Suppose -13*l - 339 = -40. Let b(q) = -2*q**2 - 7*q + 8. Let k be b(2). Let s(x) = -4*x - 58. Let o be s(k). Which is smaller: o or l?
l
Let m(s) = -2*s - 3. Let c be m(-2). Let o be (-2871)/110 + (-6)/15. Let w = 27 + o. Is c greater than or equal to w?
True
Let o be -8 + (1131/58)/(6/128). Is 1226/3 at least o?
True
Let c(s) = s**2 + 7*s + 4. Let z be c(-6). Let i be z + 1 + 10/8. Let q = 2199 - 2199.12. Is q at most i?
True
Let h = 5592 - 5593. Which is smaller: h or -9/560?
h
Let y(b) = b**2 + 19*b - 46*b + 63 + b**2. Let k be y(12). Let n = -45 + 72. Is n != k?
False
Let l = 1830 - 1831. Is l smaller than 2/45?
True
Let o(n) = -2*n**3 + 2*n. Let u be o(0). Let b = 31 - 32. Which is bigger: u or b?
u
Let z(w) = w + 3. Let b be z(4). Let p = b + -5. Let j = 3574.6 - 3575. Which is greater: p or j?
p
Let t = 23110.73 - 23111. Let i = -323/14 + 23. Which is bigger: i or t?
i
Let i = 734 - 739. Let k be 54*(-1)/i*175/105. Which is greater: 158/9 or k?
k
Let o be ((595/(-49) - -13)*(2 - -5))/28. Let f = 2 - 3. Is f bigger than o?
False
Suppose 2*q - 3*k - 25 = 0, 3*q - 28 = k + 13. Suppose q*n + 16 = 18*n. Which is smaller: n or 9?
n
Let z = -18 - 14. Let n be (3 - 4)*1/z. Suppose -2017*c - 40 = -2019*c - 4*d, -2*c - 50 = -5*d. Is c greater than or equal to n?
False
Suppose -742 = -z + 4*d, 3*d = 3*z + d - 2226. Suppose 10*y = 17*y - z. Are 104 and y nonequal?
True
Let k = 5387428647/16677115 + 138/183265. Let o = 2334/7 - k. Is o <= 9?
False
Suppose -4*x + 3*h = 69 - 62, -2*x = h + 1. Which is smaller: -1/2867 or x?
x
Let i(w) = 22*w + 10. Let q be i(-4). Let n = 88 + q. Suppose 3*t - n = -7*t. Is t less than 1?
False
Let m = -100477 - -100473. Let k(u) = -2*u**2 - 8*u - 3. Let c be k(-5). Is m bigger than c?
True
Let r = -1268 - -1273. Are r and 117 equal?
False
Let j be 3/(-2*(-33)/22). Is j > -4/1501?
True
Let h(p) = 50*p + 4532. Let n be h(26). Which is bigger: n or 5833?
5833
Let t be -10 - (-2 + 1 - 0). Let x(i) = -i**2 + 16*i + 93. Let b be x(20). Let g = b - t. Which is smaller: 21 or g?
21
Suppose -78 = -5*k + 32. Let m = 68/3 - k. Do m and 19 have different values?
True
Let s(r) = -r**3 - 7*r**2 + 60*r - 2. Let g be s(-12). Which is greater: -1598 or g?
g
Let d = 2698 + -2697. Let o = -108 + 73. Which is smaller: d or o?
o
Let d be 40/(-8) - ((-10)/(-15) - 1394/3). Which is bigger: 465 or d?
465
Let p be (0 + 0)*(117/18 + -6). Let l be (1/(-2))/(1047/12). Is p > l?
Tru