eater than b?
True
Let b = 14622 + -14323. Does 595/2 = b?
False
Let s = -31944 + 31843. Which is smaller: s or -30?
s
Let u = 21758006/35 - 621705. Let p = 333/7 + u. Do 1 and p have different values?
True
Let u(k) = -k**3 + 6*k**2 - 2*k + 1. Let s be u(5). Let b be (-52)/s - 5/(-20). Let v be b/146*(-8)/(-6). Is -1 >= v?
False
Suppose 0 = 6*o + 255 + 159. Which is bigger: o or -900/13?
o
Let o = 312 + -59594/191. Which is smaller: -1 or o?
-1
Let h = 77262639/536 + -1151661/8. Let j = 189 - h. Which is smaller: 0 or j?
j
Let f = 29 - 1. Let s(x) = -x**3 + 46*x**2 + 4*x - 181. Let b be s(46). Is b smaller than f?
True
Let w = 6.90854 - -0.09146. Do -22.52 and w have different values?
True
Let k be (-21)/(((-356)/168)/(-89)). Which is smaller: k or -2648/3?
-2648/3
Let f = 5582.95 - 5583. Do f and 8/15 have different values?
True
Let l = -28955985/22759 - -30/2069. Let k = 1270 + l. Which is bigger: -2 or k?
-2
Suppose 0 = -5*p + 66 + 29. Let r = -27 + p. Let z be (4/r)/(5/85). Which is bigger: 1/4 or z?
1/4
Let m be 11433/(-23088) - (-12)/39. Let v = -33 + 33. Is v equal to m?
False
Suppose 0 = 6*z + 74 - 422. Is 90 bigger than z?
True
Let s = 7445783/3 + -1094517089/441. Let i = s - 265/9. Which is smaller: -1 or i?
-1
Let i = 80701/15 + -5381. Let c = 3 + -5. Is i equal to c?
False
Let h be ((-14)/3 - -4)*-9. Suppose -4*a - b + 438 = 0, h*b = -3*a + 7*b + 332. Is 111 >= a?
True
Let c = -48 + 101. Let y = -165.085 - -164.085. Which is smaller: c or y?
y
Let j = 94 + -90. Let l be -4*j/(-208) - 4/4. Is l less than -2?
False
Suppose -3*k + 4*z + 13 = 0, -100*z + 95*z = -k - 3. Let w be (-1608)/24 + 0 + k. Is -237/4 > w?
True
Let u = -7.15 + 309.15. Let c = u - 302.05. Suppose 0 - 20 = 4*o. Which is smaller: o or c?
o
Let r = -0.3 + -1.7. Let d = -51 - 306. Let j = d + 356.91. Is r < j?
True
Let o = -21509/11480 - 2/1435. Let w(r) = r**3 - 5*r**2 - 10*r + 22. Let z be 6 + 2 + (-4)/2*1. Let l be w(z). Is o less than or equal to l?
False
Let z = 0.2 + 223.8. Let g = 224 - z. Which is bigger: g or 0.245?
0.245
Let o(t) = -1187*t - 2390. Let a be o(-2). Let n = 0.06 - 0.04. Is n greater than a?
True
Let i(r) = -172*r. Let z be i(-1). Suppose 4*h = -j + 704, h - 5*j = -156 + 311. Is z at least as big as h?
False
Suppose 66*j - 71*j - 2*s = -337, -j + 85 = -4*s. Suppose 31 = f - j. Is 99 at most as big as f?
True
Let k be (-6)/15 + 2/5 + 1. Let d = 36.32 + -36. Is d != k?
True
Let a(p) = -3*p - 16. Let r be a(-7). Suppose 2*c = -0*c + 3*v - 7, c + r*v - 16 = 0. Let d be 1/c + 1*8. Which is smaller: 10 or d?
d
Let k(i) = 11*i**3 - i**2 + 2*i + 8. Let g be k(4). Suppose 214 = -n - g. Let j be (-204)/n - (-1)/((-9)/2). Which is smaller: j or -2/43?
-2/43
Let v(u) = u**2 - 32*u - 273. Let g be v(-7). Is -1/16862 at least g?
False
Suppose 5*q - 2*q = -45. Suppose 0 = -38*k + 23*k + 90. Suppose 3*w - k*w - 4*n = 30, 0 = -5*w + 5*n - 85. Is w > q?
True
Let w = -39.44 + 38.94. Which is smaller: -140 or w?
-140
Let o be (0/(3 + -5) - -8) + -3. Suppose 5*r = f + r + 1, r = o*f - 14. Suppose f*v + d - 3*d = -57, v + 19 = -2*d. Is -17 equal to v?
False
Suppose 2*p = -0*p + 8. Let f be (-11224)/(-46046) + p/(-14). Which is smaller: 0 or f?
f
Let t = -0.21 - -0.11. Let b = -0.9 + t. Which is bigger: -71 or b?
b
Suppose 0*y = 2*y. Suppose 3*r = 5*g - 94 - 56, y = g + r - 30. Let b be 12/g - 24/70. Which is smaller: 1/6 or b?
b
Let c be 21/27 - (-2)/9. Let k be (-4)/(-24) + (-115880)/15708 - -3. Let d = k + 93/22. Which is bigger: d or c?
c
Let d(v) = v**3 + 35*v**2 - 45*v - 323. Let y be d(-36). Is y >= -2/19459?
True
Let d(a) = -6*a + 118. Let r be d(20). Let z be r - (105 - -1 - (-48)/(-16)). Which is bigger: z or -106?
z
Let h be 5442/(-320) + (-47 - -64). Which is bigger: 40 or h?
40
Let z be 0 - ((-5)/20)/1. Let j(f) = f**3 + 5*f**2 - 9*f - 13. Let t be j(-6). Let u = -6 + t. Is u at least as big as z?
False
Let u(a) = -530*a - 20. Let h be u(1). Let k = h + 549. Are -6/125 and k nonequal?
True
Suppose 4*b + 4*w = 48, 0*b - 3*w = -4*b + 62. Suppose -b*l + 0*l = 3*l. Which is smaller: l or -39?
-39
Let t(p) = p**2 - 22*p + 75. Let r be t(18). Suppose -3*v = 4*z + 64, -r*v + 3*z = -6*v - 63. Which is bigger: v or 1?
1
Let j be 36/30 - 2/10. Let p be 41 - (0 - j)*0/13. Suppose -l + 5*s + 30 = 0, 2*l - l + 4*s = 48. Are p and l equal?
False
Suppose 547*q + 14 = 545*q, 5*q - 3847 = 3*k. Does -1298 = k?
False
Let p = -5 + 11. Let h = 135365 - 4737051/35. Let w = h + -100/7. Which is smaller: p or w?
p
Let z = 4363 - 3841. Is z not equal to 517?
True
Suppose -p = -5*t + 12457, 0 = 3*p + 4*t - 2*t + 37371. Let x = p + 847091/68. Which is smaller: x or 1?
x
Let d = -3892 + 3548. Suppose -6*w = -3*w + 1032. Is d at most w?
True
Let d be -8 + (3/32)/((-370)/(-31560)). Are 2 and d nonequal?
True
Suppose 34 = -3*m + 94. Suppose 4*b + m = 2*v, -2*b - 3*b - 25 = -5*v. Which is greater: 3/148 or v?
3/148
Let b = -0.53 - -0.503. Let j = b - -2.027. Let m = -42 + 26. Which is smaller: j or m?
m
Let u be (53*-1 - 0)*((-85 - -62) + 24). Are u and 1 equal?
False
Let l be -10 + 20 + -17 + -1 + 6. Let a = 576/7 - 83. Are l and a equal?
False
Let t(x) = x**2 + 3*x - 33. Let n be -1 + 0 + 0 + 4. Suppose 0 = -n*m + d - 25, 5*m - 2*d = -0*d - 43. Let l be t(m). Which is smaller: -9 or l?
-9
Suppose -2*g = -4*h - 3 - 3, -g + 17 = 5*h. Suppose -g = -10*n + 53. Let y be n/(-36) - (-2 + (-22)/(-12)). Which is greater: y or -1/37?
y
Let u = 75 + -73. Suppose f = u*s + 5 + 2, -3*f - s = 7. Is 3/70 at most f?
False
Let r be 1/(-4) - 16155/(-60). Let d = -295 + r. Is d not equal to -26?
False
Let f = -15 - -58. Let r = -5047 + 25234/5. Do f and r have the same value?
False
Suppose 14*w + 25 = -45. Let d(u) = -4*u**2 - 10*u - 15. Let q be d(w). Let o = q - -220/3. Is 9 greater than o?
True
Suppose -10*b = 2*d - 10, 5*b - 11*d + 14*d - 5 = 0. Which is bigger: -8/443 or b?
b
Let b = 17 - 10. Let t = 1/2646 + 169333/29106. Is b greater than t?
True
Let b = 2618083/26972 - 275/2452. Let k = b - 97. Which is greater: k or 1?
1
Let m be 18/(-20)*(168/64 + -2). Let d = m + -47/16. Which is bigger: d or -3/2?
-3/2
Let m = 1.036 - -1.964. Is -296 < m?
True
Let h = 1967197/8096 - 2012/253. Let i = h + -235. Which is greater: i or 0?
i
Suppose 516 = -32*h - 320 - 252. Which is greater: h or -1/11?
-1/11
Suppose 9 - 139 = -13*c. Suppose c*l = 9*l - 1. Which is bigger: l or -0.65?
-0.65
Let y = -108 - -186. Let n be (y/(-24))/(2/(-8)). Is 7 greater than n?
False
Let k = -79 - -63. Let o(m) = -3*m**3 - 14*m**2 + 13*m - 13 - 2 + 4*m**3. Let n be o(13). Is n >= k?
True
Let l = 776 - 41. Let n = -11027/15 + l. Which is smaller: n or -0.1?
n
Let d(z) = z**3 + 23*z**2 + 119*z + 125. Let w be d(-17). Is w at least as big as -165?
True
Suppose p = 5*i + 452, 5*p = -i + 2*i + 100. Let z = i - -121. Which is bigger: 29 or z?
z
Let a be (-17 + 1770/105)*-21. Which is smaller: a or -1757?
-1757
Let g = -179885 + 2265291803/12593. Which is smaller: 0 or g?
g
Let x be -108*((-164)/15 - 4/10). Let k be (x/(-1))/(304/(-40)). Let d = k - 161. Is 0 greater than or equal to d?
False
Let h(i) = -2*i - 4. Let x be h(4). Let q(t) = -t**3 - 19*t**2 + 2*t + 23. Let n be q(-19). Let v be (x/(-16))/(n/2). Which is bigger: v or 0?
0
Let t(n) = -n**2 - 24*n + 9. Let r(k) = -25*k + 8. Let v(d) = 3*r(d) - 2*t(d). Let p be v(13). Let g(s) = 3*s + 11. Let q be g(p). Is q > -9?
False
Let t = 78 - 74. Suppose -5*w + 4 + 24 = x, -t*w = 5*x - 35. Let g = -44 - -40. Is w > g?
True
Suppose -114 - 253 = -2*j - 3*o, 928 = 5*j - 3*o. Which is smaller: 187 or j?
j
Let p be 4 + (0/(-2) - -3) - 8. Let d be 1/4 + 354/(-1480). Which is smaller: d or p?
p
Let n be -51*(4/2 + -1). Let y be (-4)/((-126)/49 + 4)*(63 + -43). Which is smaller: y or n?
y
Suppose -48 = -45*t + 41*t. Suppose -2*g + t = -4*s, 0 = -0*g - 5*g - 2*s + 6. Suppose 10 = g*i - 4*i, 5*j - 2*i = 5. Is j bigger than 3/32?
False
Suppose -4*i = 7*s + 28, 20*s - 7 = 25*s + i. Let n = 4059/17 - 239. Is s at most as big as n?
False
Let p be 1 + 1/2*6. Let z(c) = 97*c - 482. Let y be z(5). Let q be (-39)/12 + (p - 4) + y. Which is smaller: q or -1?
-1
Let r be (228/(-15))/(-1) + 3/(-15). Suppose 11*f - 132 = r*f. Let y be (-12)/(-8)*4/f. Which is smaller: 0 or y?
y
Let f = -148 + 239. Let r