e (-39)/153 + (-6)/72*-20. Which is bigger: f or s?
s
Suppose -5*i - 282 - 23 = 0. Let o(m) = -45*m - 871. Let z be o(-18). Does z = i?
True
Let i = 2514 + -1778. Let q = -736.49 + i. Which is smaller: q or -0.6?
-0.6
Suppose 0 = -4*r + 20, -1 = -4*b - 3*r - 6. Let w = -32 + 32. Let o be w*(b/30 + 2/3). Which is greater: o or 0.2?
0.2
Let k = 683 + -15029/22. Suppose -3*d = 143*d + 49*d + 195. Is d less than or equal to k?
True
Let y = -41 + 30. Suppose 2*t - 8 = -18. Let s = t - 6. Is y bigger than s?
False
Let h(i) = -1430*i + 113. Let j be h(-1). Is j at least 1542?
True
Suppose 0 = -5*z - 20, 4*z = 4*j - 1241 + 5049. Is j less than or equal to -955?
True
Let l = 2/33120017 - 1451517865208/2748961411. Let p = 2056 + -1528. Let h = l + p. Which is bigger: h or 0?
0
Let w(r) = r**3 - 30*r**2 - 1381*r + 132. Let z be w(55). Which is smaller: z or -1384/7?
z
Let g be 119/35 + 25113/55. Are 460 and g equal?
True
Suppose 4*g - 40 + 24 = 0, -642 = 2*h + 4*g. Are -1 and h equal?
False
Suppose -12 = -82*u + 79*u. Suppose -i + u = 0, -3*x + 2*i + 7 = -0*x. Suppose 7 = -x*j - 3. Which is smaller: j or -9/13?
j
Let b(z) = 2*z + 13. Let r be b(-4). Let y be (-24)/30*r/59. Which is greater: y or -1?
y
Let n be (2/(-4))/(38/532) - -3. Which is greater: -75/17 or n?
n
Let h be (0 + -1)*-2 - 16. Let l be (822/(-4))/(h/(-28)). Let c be 3/(2*6) + l/12. Do c and -35 have different values?
True
Let h be 19/(-17)*-1 + 478/(-4063). Do h and -10/1783 have different values?
True
Let k be -4231*4/4992 - (-6 - -3). Let l = k - -14/39. Do l and 0 have different values?
True
Let u be ((-3)/(-1))/(3/(-135)*-9). Is u <= -11/3?
False
Suppose -14*v + 180 = -170. Let s be (-24)/(5/(v/(-8)) + 2). Is -61 greater than s?
False
Let w = -292 + 298. Let n be (3 - -1)*(-7)/w. Are n and -6 non-equal?
True
Let l = -65 + 55. Let z = l - -9. Suppose 0*j = -3*j - 39. Which is smaller: j or z?
j
Let m = 280.8 - 237.8. Is 65 less than or equal to m?
False
Let z = 20/287 + -143/287. Let b = 5 - 6.2. Let m = b - 0.8. Which is smaller: z or m?
m
Suppose 65*f + 12*f - 1600 = -3*f. Which is greater: f or 224?
224
Let s be 393477/1036 - (-38)/(-703). Which is bigger: 380 or s?
380
Let y(p) = 10*p - 12. Let s(a) = -8*a + 11. Let t(l) = -3*s(l) - 2*y(l). Let v be t(3). Suppose 0*o - 29 = -o - v*g, -8 = -2*o + 4*g. Is o greater than 0.1?
True
Let w(z) = 2*z**2 - 25*z - 37. Let t be w(14). Let u(m) = -9*m**2 - 2*m + 25. Let q be u(t). Is -210 bigger than q?
False
Suppose -42 = -87*m + 84*m. Let c be ((-354)/(-18) + 1)/(m/6). Let s = 4 - -4. Is c less than s?
False
Let s be -6 + 231/(-14)*112/(-21). Suppose 0 = -4*w + 179 + 161. Is s equal to w?
False
Let q(w) = 24*w**2 - 9*w + 14. Let d be q(3). Let x = 202 - d. Which is smaller: x or 5/21?
x
Suppose -35640 - 1935 = 45*k. Are -838 and k nonequal?
True
Let z be ((-16)/(-4) - (-5)/(-4)) + 12/(-16). Let h = -8.15 - -8. Let w = h + 0.39. Is w greater than or equal to z?
False
Let k = 2269 - 2200. Let n = -24893/4 - -6292. Which is smaller: n or k?
n
Let h = 27.153 - -0.247. Let n = h - 22.4. Let a be (-3)/(-9)*-1*0. Is n bigger than a?
True
Let d be 2/(-3) + 102/136. Suppose 0 = 3*p - 2 - 1. Which is smaller: d or p?
d
Let i(h) = -2*h**3 + 2*h**2 + 2*h + 25. Let t be i(0). Let c = 32 - t. Which is bigger: 8 or c?
8
Let c = -11220 - -11219.5137. Let d = c - 0.0137. Which is smaller: -10 or d?
-10
Let c = 3/296 - -9463/888. Suppose 5 = -5*t, -2*f = 5*t + 84 - 77. Is f at most c?
True
Suppose 4*f + 18 = -i, 3*i + 46*f = 42*f - 14. Which is smaller: 37/14 or i?
i
Suppose 0 = 4*a + 3*w - 63, 5*w + 29 = 2*a + 6*w. Let d(f) = -12*f + 149. Let o be d(a). Let q be 20/3 + (-4)/18. Is o greater than q?
False
Let u be (-105)/28*((5 + 0)*6 - 2). Which is smaller: -944/9 or u?
u
Let a be 4*18/8 + -4. Suppose 490 = -a*g + 185. Which is smaller: -58 or g?
g
Let x(k) = k**3 + 8*k**2 + 20*k - 18. Let q be x(-4). Is q greater than or equal to 0.18?
False
Let j = -20.663 + 21.61. Let m = j + 0.053. Is -859 less than m?
True
Let i(c) = c**3 - 4*c**2 + c - 5. Let z be (-84)/(-22) - ((-184)/44 + 4). Let f be i(z). Which is greater: -14/27 or f?
-14/27
Let u be 338/168 - 4/2. Suppose -3*b + 3*p = 30, 0 = -5*b + 248*p - 249*p + 10. Which is bigger: u or b?
u
Let s(x) = 5*x + 38. Let o be s(-8). Let z = o - -1. Which is smaller: z or 2/555?
z
Let a = -11 + 3. Let c = -21174 + 21172. Is a <= c?
True
Let y be -106 + -1*(-3 - -4). Suppose -58*l + 15 - 15 = 0. Which is smaller: y or l?
y
Let u(t) = -6*t - 52. Let x be u(-17). Let m = x + -137. Let z(d) = 2*d - 44. Let a be z(-22). Are a and m equal?
False
Let w = 2/16335 + -1025185/3267. Is -2/7 < w?
False
Let o = 2.6 - 2.57. Let z = -0.078 + o. Let c = z + -0.152. Which is greater: 4 or c?
4
Let d be (6 + (-39)/6)/(2/(-84)). Let x(v) = -2*v + 47. Let z be x(d). Which is smaller: 9/2 or z?
9/2
Suppose -217 = -8*i + 15. Let z = -44 + i. Let v(x) = 2*x - 4. Let j be v(-5). Is j bigger than z?
True
Let d be 38/171 + 25/9. Suppose -336 = 5*l - d*b, -7*l = -5*l - 3*b + 129. Let c be 4/l*3 + -1 + 1. Is -1 > c?
False
Let f(n) = -n**2 - 2*n + 64. Let y be f(6). Let o be y/(-36) - (-1384)/36. Which is greater: 41 or o?
41
Suppose -46 = i - o, -5*i + 0*i - o = 212. Let g be (6/8*(-1128)/(-27))/((-940)/1410). Is i not equal to g?
True
Let w = -1943.6 - -1939.6. Is w at most as big as -2266?
False
Let s = 8265 - 66127/8. Let a be (-2)/(2*3)*-3. Let w = -2 + a. Is w >= s?
False
Let v(j) = j**3 - 7*j**2 + 4*j + 3. Let u be v(6). Let i = -138758 + 138755. Which is smaller: i or u?
u
Suppose 5*f = -5*n - 10, f = 5*n - 19 - 1. Let z = 4 + f. Let x be -1*(-1 + 20/22). Which is bigger: z or x?
x
Let x(n) be the first derivative of 11*n**3 + n + 10. Let t be x(-1). Suppose -3*o = 3*z + 10 - t, 19 = -2*z + 5*o. Is 2 <= z?
True
Let p be (-2)/((-4)/(-18) - 42/(-54)). Let m be 22 - (p + 9 + -1). Which is smaller: 18 or m?
m
Let g(d) = -d**3 + 6*d**2 + 5*d + 40. Let p be g(-7). Which is greater: p or 1283/2?
p
Let z = -1 + 5. Let c be (-4*(-7)/4)/1. Suppose -2*h + 7 + c = 0. Is z bigger than h?
False
Suppose -27*w - 9360 = -87*w. Which is bigger: w or 154?
w
Let f be (0/(-139))/(-1*1). Which is smaller: 53/42 or f?
f
Suppose h + k = 1979 - 6762, -5*k = -17*h - 81443. Which is smaller: h or 2?
h
Let a be 399/35 - (-2)/(-5). Let u(i) = -i**2 + 10*i - 22. Let b be u(10). Let z be (-90)/b - (-2)/(-22). Which is smaller: z or a?
z
Let d = 74 - 73.46. Let b = -44.46 - d. Is 0 at least as big as b?
True
Let f = -112 + 108. Let d be f + (102/7 - -1). Which is smaller: d or 13?
d
Suppose 78*z + 67*z = 134*z + 11. Are -3326 and z non-equal?
True
Suppose 0 = w + 1211 + 41. Let n be (-1)/(-2) + 630/w. Is 0 greater than or equal to n?
True
Let c(p) = -p**3 + p**2. Let r(b) = -4*b**3 - 3*b**2 + 4*b + 16. Let n(l) = 3*c(l) - r(l). Let t be n(-5). Suppose -t*q = -30*q + 69. Which is bigger: q or 70?
70
Suppose -43*a + 10*a = -13*a. Let i be -1 + 8/(-1 - -3). Suppose -5*p + a*p + 8 = i*k, p = -k + 2. Which is greater: k or -3/19?
k
Let m(h) = h**3 + 14*h**2 - 11*h + 337. Let q be m(-16). Which is bigger: q or 1/13243?
q
Suppose 0 = 4*m - 5*t - 127, t - 19 - 6 = -m. Let c = -87425/7 - -12517. Is m <= c?
False
Let x = 8 + -8. Let d be ((-4)/3)/(3/9). Let p be (-2 - d) + -1 + (-6)/(-18). Which is smaller: p or x?
x
Suppose 264*p - 170 = 94*p. Do p and -22029 have the same value?
False
Let f = 95.9 - 108. Let m = -12 - f. Let s = -1/352 + 359/2464. Which is bigger: s or m?
s
Let v = 2.21474 - 0.21474. Let d = 352 + -351.793. Which is smaller: d or v?
d
Let y = -907 - -865. Which is smaller: -71 or y?
-71
Let k(r) = 332*r + 1506. Let s be k(-1). Is 1176 at least as big as s?
True
Let c = -36.7 + 6.7. Suppose 0 = 2*l + 8, -2*m - 5*l + 4*l - 4 = 0. Which is smaller: m or c?
c
Let m be 1480/150 - 4/(-30). Let y be m/55 + 502/22. Suppose -2*d = 3*w + 3*d - y, 4*w + 3*d = 38. Which is bigger: w or 21/2?
w
Let c be (645/(-230) - -3)/(5 + -32 - -2). Is c < 0?
True
Suppose -3*g = 12, -4*j + 5*j + 2*g + 564 = 0. Which is smaller: j or -550?
j
Let f(o) = -o**2 - o + 1. Let s be f(1). Let d = 92/59 + -7400/4897. Let r = 194/581 - d. Is s smaller than r?
True
Suppose 3*b + 2*w + 2 = 0, -5*w = -b - 3*w - 6. Let d(r) = -2*r**3 - 31*r**2 - 60*r - 14. Let h be d(-2). Do b and h have diff