at least as big as 58?
True
Let j = 274221 + -2464067/9. Let a = 435 - j. Is -1 > a?
False
Let p = -11459 - -11460. Which is greater: p or 5/733?
p
Let k = -149103 - -1044035/7. Let q = 90 + -46. Which is smaller: q or k?
q
Let c(a) = -86*a - 113. Let h be c(-11). Suppose -h = -p - 16*p. Is 49 > p?
False
Let k be ((-780)/16)/(3/(-12)). Suppose 2*o + 3*h + k = -3*o, 3*o + 3*h = -117. Let m be (8/60)/(o/18). Is 0 greater than or equal to m?
True
Suppose 232*j - 54255 + 11223 = 244*j. Which is smaller: -3585 or j?
j
Suppose p + 1 = b, 7*p + 7 = 4*p - b. Let h = 9.509 + -0.109. Let r = h + -54.4. Which is greater: r or p?
p
Let v = -16954 + 16954. Let x = 56.6 - 9.6. Which is bigger: x or v?
x
Let k = 1357 + -2269. Let n = k + 798. Which is bigger: -115 or n?
n
Let u = 90 - -34. Let g = -240 - -357. Let t = u - g. Which is bigger: 25/4 or t?
t
Let m = -3 + 5. Let t(n) = 10*n - n + 3*n - n**m - 1 - n**3. Let g be t(-4). Is -1/15 bigger than g?
True
Suppose 9*i = 5*i - 8. Let s = -83 - -120. Let c = -74 + s. Which is smaller: c or i?
c
Let l be (-6)/(-45) - (23146584/180)/31. Which is greater: l or 0.1?
0.1
Let n = -227/4 - -84663/1492. Let i(r) = 30861*r. Let d be i(0). Which is greater: n or d?
d
Let d = 1.5752 + -1.6752. Which is greater: -0.10724 or d?
d
Let f = 3140 - 3305. Suppose -195 = 2*y + 137. Do y and f have different values?
True
Let q = 6.8069 + -6.6069. Let a = -1.3 + 82.3. Which is smaller: a or q?
q
Suppose 21*v - 2578 - 1391 = 0. Which is bigger: 190 or v?
190
Let c = -14851/1326 + 530/51. Which is smaller: 0.3 or c?
c
Let g = -49713917/39860 - -105/7972. Which is bigger: -1248 or g?
g
Suppose 82*f + 116188 + 307155 - 64265 = 0. Is f greater than or equal to -4379?
True
Suppose -22*y + 17*y = -35. Suppose -12 = -10*l + y*l. Suppose 5*i + 5 = 30. Are i and l equal?
False
Let d be 15 - (-16 - 1520) - (-2 - 0/1). Is 1555 greater than d?
True
Let n = -123712/9 - -13746. Which is smaller: n or -12?
-12
Suppose 70 = 3*j + 3*j - 2*v, j + 5*v = -15. Let k = 148/69 - 56546/26427. Let p = 8039/766 + k. Which is bigger: j or p?
p
Let m = 41579/2 - 21202. Is -413 greater than m?
False
Let r = 375.4 - 672.4. Is 3 > r?
True
Suppose f + 2*f + 2*n = 2, 3*n - 1 = -4*f. Suppose -f*z + 4*i - 21 = -5, -3*z + 12 = 3*i. Which is greater: 76 or z?
76
Let n be 392/105*243/5076. Which is smaller: 1 or n?
n
Let c = -0.089 - 389.911. Let z = c - -389. Which is smaller: z or 190?
z
Let y = -11 + 10.9. Let r = 498.14 + -498. Which is smaller: y or r?
y
Let g = 52572033 + -1180294713159/22451. Let j = -14/1287 - g. Is -1 bigger than j?
False
Let p(l) = 3 + 6*l + 11 + 3*l - l. Let u be p(-6). Suppose 3*d + 14 - 76 = 2*i, 5*i - 3*d + 164 = 0. Is u < i?
False
Let b = -21670 + 108348/5. Which is smaller: 47/43 or b?
b
Suppose -42*t = -40*t - 4, 3*t - 30 = -3*j. Let y be (-170)/221*j/10. Is -1 > y?
False
Suppose 5*s - 25 = -0*s, -q + 35 = 3*s. Suppose 4*k - q = -g, k - g = -2*k + 15. Is k not equal to 5?
False
Suppose 4*b - b + 3 = 0. Let l = -0.491141 - 512.508859. Is l greater than b?
False
Let v = 1/388155 - -249581/3566756295. Is v < 0?
False
Suppose 2205 - 1256 = 27*r - 5369. Is r at most 237?
True
Let r = 22 + -10. Suppose 0 = -9*m - 10*m + 5624. Let k = m - 284. Is k equal to r?
True
Let u be 248776/98736 + 13/(-6). Is u < -29?
False
Let g = 41.53 - 42. Let h = g + 0.5. Let y be (0 - -4)*(-7)/4. Is y > h?
False
Let o(q) = -8*q + 134. Let y be o(18). Let n be (18/y)/(9/(-240)). Which is smaller: 0.2 or n?
0.2
Let z = 1558706 + -1430891795/918. Let n = z + -10/27. Let a be 10/(-65) + (-30)/(-26). Which is bigger: n or a?
a
Let o be 5*(2 - (-11 + 6) - (-2 - -7)). Let p = 29 - 21. Is p at least o?
False
Let v = -18586.883 - -18575. Let f = v + 12. Let g = f + 5.883. Are g and 1 equal?
False
Suppose -143 = -3*z - 38. Let j(q) = -q**2 - 8*q + 21. Let v be (2 + -3)/(2/10). Let m be j(v). Which is bigger: m or z?
m
Let g = -4344 + 4123. Is g equal to -3/4?
False
Suppose 2*z + 3*z = -200. Let n(p) = -p**3 - 11*p**2 + 8*p - 27. Let r be n(-12). Suppose 0 = g + 60 - r. Which is smaller: z or g?
z
Let y = 716 - 706. Which is smaller: y or 182/19?
182/19
Let s = -26132 - -12386573/474. Let x = -1663/67782 + s. Which is greater: x or -1?
x
Suppose 12 = -17*j + 13*j, 2*j - 114 = 3*r. Let a be (3 + -4)/(166/r). Is -1 at least as big as a?
False
Let m be 394/(-3) - 1/(-3). Let x = 7654 + -7784. Which is bigger: x or m?
x
Let a = 547.8 + -547.34. Do 28 and a have different values?
True
Let w be (364/2 - (8 - 9)) + -5. Let t = w + -179. Which is greater: t or 34?
34
Let i(q) = 32*q**3 - 14*q**2 + 8*q - 6. Let r be i(3). Is r less than or equal to -1?
False
Let j = 6035 + -3874. Is j at least as big as 0.1?
True
Let f = 417 + -397. Let p be 210/175*f/(-6). Is p greater than or equal to 4.3?
False
Suppose -25 = -5*g - 4*z + 47, 4*z = -4*g + 56. Let d = -11 + 67. Suppose d = 7*q - 3*q. Which is smaller: g or q?
q
Let w be 4/2 + 4 - 4. Suppose 14 = -6*f + 5*f + 3*x, 0 = -w*x. Is f equal to -5?
False
Suppose 5*s - l - 8 = -0*s, -5*l - 20 = -5*s. Let o be -2 - (4/(-16))/(1/s). Do o and -1 have different values?
True
Suppose -2*y + 134 = 200. Which is smaller: -24 or y?
y
Let d = 88 - 85. Let m be (-6)/(-18)*0 - d. Does m = -7/4?
False
Let u = 2.97 - -0.03. Let j = -4.8992 + -0.1008. Let s = u + j. Is -3 bigger than s?
False
Let v = -75.9 + 76. Let i = -15391 - -169493/11. Let a = -17 + i. Is v at most as big as a?
True
Let s be 8/(7 + (-4 - 7)). Which is smaller: -2/3485 or s?
s
Suppose -441*h + 1317 - 6357 = -81*h. Which is smaller: -72 or h?
-72
Let i = 8 + -9. Let h = -1759 + 1758.5. Are h and i non-equal?
True
Suppose -7*g = -10*g + v + 4046, 0 = 2*g + 5*v - 2720. Is 1349 > g?
False
Let w be 9 + (12810/(-130) - -6). Is w != -83?
True
Let x = -1774 - -1810.04. Let v = 3.96 + x. Which is smaller: -5 or v?
-5
Let v be (46/3)/(9/81). Let h be v/36 - 5 - 2/(-12). Let b be 276/78 - (-4)/h. Is b at most as big as 0?
True
Let l = -3.8 - -6.98. Let v = 8.18 + -8. Let w = l - v. Which is smaller: w or -1.2?
-1.2
Let d = -25.7 - -30.78. Let a = d - 8.08. Is a <= 36?
True
Let h = -7798475/43 + 181323. Is h <= -37?
False
Let k(g) = g - 4. Let s be k(20). Suppose -8 = -4*f + 48. Suppose -12 = s*z - f*z. Is z <= 1?
True
Let j be (1 - (0 - 1)) + -2 + 1. Which is greater: j or -83?
j
Let g = 5672 + -5669. Which is greater: -0.182 or g?
g
Let n = 767 - -643. Suppose n = 5*h - 0*h. Let b be -1 - 2 - (-852)/h. Which is smaller: b or -1?
-1
Let a(y) = -9*y**2 + 10*y - 3. Let t be a(2). Let z be 0/(-2 + 0) - (18 - t). Let v = z + 40. Is v greater than or equal to 15?
False
Let r = -1468 - -1555. Is -34 at most r?
True
Suppose -2*k + 2*i + 20 = -64, -4*k = -5*i - 171. Let b be ((130/(-9))/(-5))/((-26)/k). Which is smaller: -5 or b?
-5
Let r(k) = 10*k - 8. Let j(m) = 3*m - 28. Let i be j(11). Let h be r(i). Let y be -1 - ((-2 - -4) + -44). Is h at most as big as y?
False
Let c = -10621 - -10620.888. Is 2/9 bigger than c?
True
Suppose 3575 = 16*x - 16793. Which is greater: x or 1272?
x
Let k = 69 + -81. Let x be (k - (-1529)/132)/(5/(-2)). Are 28/11 and x unequal?
True
Let h be 322/21*1 - (-1)/(-3). Let x be 69/h + -3*(7 + -6). Which is smaller: x or -1.1?
-1.1
Let f = -1270/451 - -26/41. Suppose -4*h + 3*o - 53 = -56, 0 = h - o - 1. Let j(q) = q**3 + 2*q**2 + 4*q - 3. Let m be j(h). Which is smaller: f or m?
m
Let t = 239 - 27. Let u = t + -317. Let d = -118 - u. Is d bigger than -17?
True
Let h = 118 - 174. Let p be (-296)/(-64) + (-7)/h. Do 1 and p have the same value?
False
Let k be 33/((-40)/15 + 4 - 18/(-9)). Which is smaller: k or 4?
4
Let t(z) = z**3 + 9*z**2 + 18*z + 44. Let w = 69 - 77. Let c be t(w). Which is bigger: c or 2/9?
2/9
Let f = 3228/5 - 655. Is -5/7 != f?
True
Let u = 202.65 + -202.46. Is -2/231 at most as big as u?
True
Suppose -4*g - 4574 = -2*v, -v - 6*g = -1601 - 742. Are 2302 and v nonequal?
True
Let d = 79/25 - -1943/200. Which is smaller: d or 12?
12
Suppose -2*w + 4*f + 28 = 8, 4*w - 25 = 3*f. Suppose 4*d = -29 + 57. Is d less than w?
False
Let p(d) = 24 - 24*d - 26*d + 49*d. Let z be p(23). Is -111 less than z?
True
Let r = 16.906 + -17.33. Is r != -0.1?
True
Let u = -5127/151 - -2885477/2869. Let m = -1562 - -590. Let w = m + u. Is w less than 1?
True
Let o = 88 + -22