 60878/19 - 3204. Is s >= -56?
True
Suppose 0 = 34*t - 39*t - 230. Let h = t - -29. Do h and -11 have different values?
True
Let j = 1.65 + -6.95. Let t = -5.4 - j. Which is smaller: 0.22 or t?
t
Let v(c) = 5*c + 91. Let g be v(-17). Let i(r) = -r**3 + 2*r**2 + 29*r - 20. Let m be i(g). Is m smaller than -5?
False
Let n(f) = 534*f**3 + 6*f**2 - 120*f + 231. Let y be n(2). Which is bigger: 4289 or y?
4289
Let n = 0.2 - 0.17. Let c = -56315/11 - -5119. Is n not equal to c?
True
Let t(k) = -45*k - 261. Let b be t(17). Which is bigger: -2053/2 or b?
b
Let z be 0/(4 - ((-2 - 4) + 12)). Let l be ((-130)/(-7345))/(-2 + -2 + 3). Do l and z have the same value?
False
Let x(l) = 2*l**3 + 6*l**2 + 7*l - 1. Let t be x(-2). Let p be 2/(-3)*3*6. Let j = p - -9. Is t <= j?
True
Let l = 1630 + -1603. Suppose -7*c + 3 = -4*c. Let i be 1 + -1 + c/(-3). Which is greater: l or i?
l
Suppose -i + 29*x - 25*x + 9 = 0, 3*x = 3*i - 9. Which is greater: i or 3/2369?
i
Let t = -14 + 47. Suppose 0 = 2*l + 5*o - 86, -2*l = -12*l - 4*o + 346. Is t equal to l?
True
Let c = -31.3 + -1.7. Let k = c + 23. Let t = -6.22 - -7.22. Which is greater: t or k?
t
Let z = 4.747 + -88.747. Is 10 bigger than z?
True
Suppose 0 = 455*h - 448*h - 441. Let k be -7*((-387)/h + 6). Is -1/349 bigger than k?
False
Let d be 221/(-2) - -5*1/10. Let q = -171 - -60. Is q not equal to d?
True
Let o be (318/12 + 1)*-2. Let u = -54 - o. Is u greater than or equal to -4/177?
True
Let m = -424 - -1697/4. Which is smaller: -0.2379 or m?
-0.2379
Let n = -141 + 652. Suppose 1701 - n = -7*m. Which is greater: -171 or m?
m
Let d = 81/8 + -95/8. Let o = 16.2 + 5.5. Let i = 20.7 - o. Is d at least as big as i?
False
Let m be 1/(-25) - (-21758)/(-88550). Let q = 934/23 + -488436/12029. Is q not equal to m?
True
Let p = -223248/7 - -31813. Let o = p + 10177/133. Which is smaller: o or -4?
-4
Suppose -1014 = 3*g - 4*g - d, -4 = 4*d. Let i be (-160)/g - (-2)/21*6. Which is smaller: i or 0?
0
Let z be (-2 - 9129)/(3/(-2700)*-4). Let a = z - -26687573/13. Let x = a + 1584. Which is bigger: 0 or x?
0
Suppose 2*n - 303 = 3*s + 26, -s - 3*n = 95. Which is greater: s or 2/61?
2/61
Let v be 9*1*8/(-12). Let y(o) = 58 - o**3 + 4*o + 2*o**2 - 59 - 7*o**2. Let i be y(v). Does i = 12?
False
Suppose 2*a - 3000 = -3*n - 8280, -3*a - 3515 = 2*n. Is -1767 at most as big as n?
True
Let q be (14 + (-216)/16)*(-4 + 0). Which is greater: -18/11 or q?
-18/11
Let z = 3276.454 + -3277. Is 4 less than z?
False
Let h(o) = -o**3 + 41*o**2 - 169*o + 192. Let j be h(27). Is 5836 not equal to j?
True
Let v be 6/5*((-426946)/702 + 23). Is -702 at most v?
False
Let c = 79162 + -558055/7. Is c at least -559?
False
Let p(a) = 21*a**2 + 2*a + 2. Let i be p(2). Suppose 0 = -u - g + 63 - 10, -2*u + 2*g + i = 0. Is u greater than or equal to 47?
True
Let m(g) = -598*g - 2987. Let c be m(-5). Which is smaller: -3015 or c?
-3015
Suppose 449 + 46 = -9*g. Let o be (g/15)/((-1)/(-3)). Suppose -3*t = 20 + 28. Are t and o non-equal?
True
Let i be ((-2)/(-5))/(-22*187/(-12705)). Which is bigger: i or 20?
20
Suppose 2114 - 7994 = -12*i. Let s = i - 346. Let d = 145 - s. Which is smaller: -3/22 or d?
-3/22
Let a(m) = -2*m**2 + 60*m - 92. Let h be a(28). Let g be (-5)/(-50)*(-25)/h. Which is smaller: 3.2 or g?
g
Let o be (-4820900)/385 - (-4)/1. Let d = o - -12526. Is d equal to 9?
False
Let d be 0 - 0 - (140/128 + -1). Suppose -5*t - 3*k = -11, 0 = -4*t + t - 2*k + 7. Is t equal to d?
False
Let g = 49 + 26. Let n = 107 - g. Let b = -32.25 + n. Which is bigger: 0.2 or b?
0.2
Let c = -121 - -391. Let s = -430 + c. Are -159 and s non-equal?
True
Let a = -0.334 + 0.135. Let h = -0.801 + a. Is h bigger than -168?
True
Suppose -3*y - 1 = 2*y - 3*m, y + 5 = 3*m. Suppose 3*h = -5*g - 26, 4*h - 5 = g - 9. Let a be g/(-12) + 40/96. Are a and y nonequal?
True
Let p be (-66)/(-15) + -4 - 279/(-15). Let i be p/(5 - (-84)/(-16)). Is -78 at least i?
False
Let i be (-2)/(-45) - (2 - 2). Suppose 874 = -4*h - 15*h. Let f be (5/2)/((-115)/h). Which is smaller: f or i?
i
Let m = 3.7 - 3.64. Let t be (-12)/(-138) - 28/552*5. Is m < t?
False
Let o = -307 - -293. Let u = -90 - -63. Let l be (2/(-6))/(36/u). Which is smaller: l or o?
o
Let o be 23/4 - (-6)/(-8) - -88. Suppose 0*j - o = 3*j. Which is smaller: -24 or j?
j
Let j = 104331602/1328567 + -1/78151. Which is bigger: j or 78?
j
Let w = -22.1 + -23. Let q = w - -45. Which is bigger: -31 or q?
q
Let h = 6704.2 + -6685. Is -9 less than h?
True
Let f be (-20)/70 + 4/14. Let c be 8/20*(-15)/(-12)*f. Suppose c = 10*t - 5*t. Is t not equal to 1?
True
Suppose 6*v + 14 = -7*u + 5*u, -1 = 3*u - v. Is u < -1/1129?
True
Suppose 267253 - 87843 = 22*s. Which is greater: s or 8156?
8156
Let z = 84205 + -1686239/20. Is z equal to -107?
False
Let f be (-30)/(-7) + (-4)/14. Suppose 2*t + 2*h = 7*h + 2, 4*t = -h + f. Let q be 8 + (-2968)/462 - (-2)/(-3). Is t < q?
False
Let s = 28889 - 664210/23. Is s less than or equal to 9?
False
Suppose -f + 5*f = 0. Let b = -139/6 - -677/30. Which is bigger: f or b?
f
Let r(x) = -68*x - 1371. Let c be r(-21). Is c at most as big as 49?
False
Suppose -8*s + 425 = -111. Let z = s - 63. Let l be (-2 + 1)/((-86)/z). Is 0 <= l?
True
Let c = -35/3 + 12. Let a be (-3531)/330 - 30/(-3). Which is smaller: a or c?
a
Let h(s) = 512*s + 388. Let a be h(-2). Is a greater than -636?
False
Suppose -z + 37 = 4*m - 0*z, 34 = 3*m + 2*z. Let p be m/2 - (-14)/(-3). Let h(d) = d**2 - 9*d. Let b be h(9). Do p and b have the same value?
False
Let s = 59 + -33. Suppose -5*j = 4*r - 170, -2*j + 104 = 3*r + 29. Suppose s*p = j*p. Which is smaller: 8/13 or p?
p
Let r be (5 - 1) + 18468/(-4608). Is r > 1?
False
Suppose 0*o + 55 = -5*o. Let c be (-190)/(-45) + -4 - 2019/(-27). Suppose 81*w = c*w - 66. Are w and o equal?
True
Suppose -12*b - 1217 = -1397. Is b greater than 27?
False
Let q be (-4)/(-17 - 1005/(-60)) + -18. Let u be (-12)/(-10)*(0 - 20). Which is smaller: u or q?
u
Let z(u) = u**3 + 8*u**2 - 11*u + 6. Let y be z(-9). Let t be y/6*(-1)/4. Is 2/255 at most as big as t?
False
Let w be 483/230*10/(-8010)*(-2 + -1). Which is greater: -1 or w?
w
Let h be ((-72)/216)/((-9)/51). Suppose 4 + 1 = 3*d + 2*p, 2 = 4*d + 5*p. Which is bigger: h or d?
d
Let c = 11 - 11. Let b = 4053 - 312077/77. Do c and b have the same value?
False
Suppose -2*h + 2*b = -178, b = -3*h - b + 292. Let m be 3/36*(205 + 923). Are h and m non-equal?
False
Let t = 224.57 - -1631.47. Let y = t + -1822. Let c = y - 34. Which is bigger: -2/13 or c?
c
Let o be 3 + 14/(-6) - 7240/(-30). Let w = -215 + o. Does w = 27?
True
Let w = -5/2367 - -1479385/4734. Let t = -318 + w. Is -6 at most as big as t?
True
Let j(q) = 3*q**2 + 22*q + 18. Let l be j(-8). Suppose 5*r - r + 68 = 4*i, 4*r = 5*i - 87. Let h = l - i. Is 16 less than or equal to h?
False
Let d be 1*((1 - -6) + -6). Let k be (3/(-2) + d)*(-7 + 5). Is k bigger than -2/1823?
True
Let m = 14220 - 269784/19. Which is bigger: m or 21?
21
Let g be 1092/36 - 2/(-3). Suppose -1975*x + 1973*x + 56 = 0. Which is greater: g or x?
g
Let y(h) = -109*h + 762. Let t be y(7). Are t and -19/178 nonequal?
True
Suppose 706*m - 708*m - 16 = 0, -v + m + 9 = 0. Which is smaller: 37/426 or v?
37/426
Let c = 122 - 178. Is c greater than -44?
False
Let c = -1.21 + -52.79. Let x = -6689.1 + 6689. Which is smaller: c or x?
c
Suppose -4*v = -g + 2, 0*g + 8 = 4*g - 3*v. Let c be -79 + g + (-1)/(3/15). Let o be (2/(-3))/(3 - c/(-18)). Do 0 and o have different values?
True
Let z(t) = 117*t**2 + 164*t + 3. Let u be z(3). Is u smaller than 1550?
True
Let h = 11446/329 + 217051/24675. Let t = h - 131/3. Are 0 and t nonequal?
True
Let n be ((-3)/6)/(5/50). Let m = 0.483 - -0.217. Is m smaller than n?
False
Suppose 2*j + 5*g - 632 = 0, -364*j + g = -365*j + 310. Which is smaller: j or 308?
j
Let b(s) = s**3 + s**2 - 3*s + 42. Let i be b(0). Let p = i - -39. Is 81 at most p?
True
Let w = -28891 + 28892. Which is smaller: -1/28885 or w?
-1/28885
Let b = 140.059 + -0.059. Let r = 140.076 - b. Which is bigger: -1/4 or r?
r
Let u = 0.6108 + 105.9692. Which is greater: -0.2 or u?
u
Suppose -3*t + 42 = 2*f, 5*f - 4*t = -0*t + 151. Let k be 356/18 + 6/f. Let q be ((-3)/(-6))/((-5)/k). Which is greater: -30/17 or q?
-30/17
Let m(p) = 44*p + 1. Let 