 ((-21312)/126 + -34). Suppose 2*f + s = 280, 5*s - 46 = -f + 85. Suppose -f = x - i. Is 62 less than x?
False
Let g = 0.224 + 0.326. Let w = 1.6 + -2.05. Let b = w + g. Which is smaller: 14 or b?
b
Let v(u) = 11*u**2 - 16*u - 14. Let x be v(2). Let h be (3 - 21/6)*6. Let t be 4*-3*h/9. Which is smaller: x or t?
x
Let k = 78 + -75. Let d(i) = 5*i + 14. Let g(r) = 10*r + 28. Let o(n) = k*g(n) - 5*d(n). Let y be o(-5). Does -12 = y?
False
Let y(l) = l**3 + 25*l**2 - 53*l + 12. Let g be y(-27). Let t be 10 + (2/g - 24/(-180)). Suppose -4*q + 5*q = 8. Which is smaller: t or q?
q
Let k(x) be the second derivative of x**5/20 + 5*x**4/6 + 7*x**3/3 - 7*x**2 - x. Let g = 2892 + -2900. Let d be k(g). Is d equal to -3?
False
Let c be 5/57*(1/6 + 3751/51150). Suppose 3*f + 2*f = -3*h + 17, 10 = -2*f + 3*h. Is c less than f?
True
Let z be -1 + (-98)/(-105) + 4/(-12). Suppose 3*k + c + 12 = -1, k - 5*c = -31. Is z < k?
False
Let a be (434/(-12) - 4) + -3. Let o = 5137/114 + a. Is o at least as big as 2?
False
Suppose 0 = 5*j - 4*i - 1, 25*j - 29*j = -2*i - 8. Is j >= -2029?
True
Suppose -5*i + 8 + 2 = 0. Let b be i - 4/14 - (-6)/21. Suppose 5*o - b*o - 3 = 0. Is o not equal to -1/42?
True
Let y = -6131 - -11963/2. Is y >= -150?
True
Let z = -121 + 55. Let a be ((-946)/z)/((-2)/(-12)*-2). Is -44 <= a?
True
Suppose 8*d - 4 + 4 = 0. Suppose d = -2*a + 3*s + 10, 5*a - s + 5*s - 25 = 0. Suppose 2*h + 2 - 10 = 5*j, -j = 3*h + a. Which is smaller: -3/4 or h?
h
Let f = 38 - 36. Suppose z - f*p = -20, z + 3*p - 65 = 5*z. Let n be 63/z*(-4)/(-51). Which is greater: n or 1?
1
Let h = -25.4 + 84.4. Let w = h + -58.8. Is w less than 43/5?
True
Suppose 3*o - 5*c = 2910, 1940 = 2*o - 4*c + 8*c. Suppose 4*z = -974 + o. Which is smaller: -4/161 or z?
z
Let h be 6/105*10*(-219)/146. Which is smaller: 2239 or h?
h
Let g = -111 - -51. Suppose -4*n + 224 = -4*f, 6*f - 2*f + 20 = 0. Let m = n + g. Is -10 less than or equal to m?
True
Let r(j) = -2*j**2 + 18*j + 525. Let u be r(22). Let q(c) = -7*c - 7. Let d be q(6). Is u at least d?
True
Let i = 3.258 + -3.4. Let c = -0.222 - i. Let h = 0.8 - -0.2. Which is bigger: c or h?
h
Suppose -3*i = -4*i - 2. Let c(v) = -2*v**3 + 8*v + 4. Let a be c(i). Suppose -a*n + 5*p - 208 = 0, -3*n + 4*p - 198 + 42 = 0. Which is greater: -51 or n?
-51
Let i(v) = v**2 + 5*v + 3. Let a be i(-4). Let s be (6/72)/((-55)/10). Which is smaller: a or s?
a
Let d be (-27)/3 - (-391664)/43518. Let s = d + 2959213/239349. Which is smaller: s or 11?
11
Let a(j) = -j - 8. Let i be a(-7). Let u = 5352 + -5325. Let m be (i - u/(-30))*10/25. Which is bigger: 0 or m?
0
Let r = 677 + -1157. Let f be ((-6)/r*-4)/((-3)/(-234)). Is f equal to -4?
False
Let r = 61 - 39. Let j = -5.4 + 5.44. Let z = -0.14 + j. Which is greater: z or r?
r
Suppose 5*n - 16 - 9 = 0. Suppose 25 = 5*o, -2*h + o = 3*h - n. Let w be h - -2 - (-984)/(-244). Which is smaller: w or -1?
-1
Let w(u) = 2*u**2 - 3*u + 28. Let f be w(5). Suppose -f = 4*j - 4*y + 109, 0 = j + 2*y + 28. Is j greater than -40?
True
Let z be 12/41*(-1)/(-3). Let k be 672/128 - 2/8. Suppose 2*u = 3*u - 5*w + k, 5*u - 1 = -w. Which is smaller: z or u?
u
Let a = -1.1 - 12.9. Let w = a - -14.86. Let b = w - -0.14. Is 9 bigger than b?
True
Let j = -205 + 231. Let h be (-4)/j + 1420/(-65). Is h at most 7?
True
Let h = -189 - -208.3. Let o = 3.711 - 0.011. Let g = h + o. Which is smaller: 2 or g?
2
Let a(z) = 93*z + 930. Let h be a(-10). Is 5024 equal to h?
False
Let l = -4143.2 + 4143. Do l and 2.077 have different values?
True
Let n = -44 - -44. Let b be 8 + -8 + 3 + n. Suppose 0 = -b*a + 2*a + 7. Is a at least 7?
True
Let t = 7495/12 - 616. Which is greater: 10 or t?
10
Suppose p = 4*p. Let q be (6*(-5)/(-105))/((-2)/(-28)). Suppose -3*u = -2*z - z + 6, q*u = z - 5. Which is bigger: u or p?
p
Let z be -257*(-1)/(-259) - -1. Let y = z - -180/43771. Let u be (0/(-5*27/45))/(-5). Does y = u?
False
Let g be (-3 + 2)*2/(-206). Suppose 5*y - 60 = 5*w, 3733*y + 48 = -3*w + 3737*y. Are g and w nonequal?
True
Suppose -574*z - 7283 = 4*m - 569*z, 0 = -3*z + 15. Which is smaller: -1829 or m?
-1829
Suppose p - 22 = -4*d + 12, -3*d + 22 = -p. Let x be ((-6)/d)/((-3)/12). Let i be (-15)/(-15)*2/x. Which is smaller: i or 1?
i
Let y = -162.57 + -743.43. Are 4 and y equal?
False
Suppose -26*j + 27*j + 83 = 4*g, -g + 4 = 0. Let d be -3*1/6*134. Are j and d nonequal?
False
Suppose -4*h + u + 29 = 0, -22 = -h + 2*u - 6. Suppose 0*j - 5*j + 2*y - 6 = 0, h = 3*j + 2*y. Let f = 9.3328 - 9.3428. Which is smaller: f or j?
f
Let c = -320.77 - 7.23. Let k = c - -332.7. Is k less than -2?
False
Suppose 343*w - 345*w = -918. Let d = 443 - w. Are -14 and d unequal?
True
Let o = -1022 - -1528. Let m = -505.955 + o. Which is bigger: 1 or m?
1
Let h be (1 - 53)/(6 + 176/(-28)). Let s be 6 - 1 - 897/h. Is 6 bigger than s?
True
Suppose 15*m - 10*m = 10. Suppose h + 3*y - 2 = 3*h, 4*h - m*y + 4 = 0. Let f = 91/4 + -1179/52. Are f and h non-equal?
True
Let g be 74/(-120) + 2/3. Suppose 350*c - 645*c + 590 = 0. Which is bigger: c or g?
c
Let w(t) = 6*t**3 - 29*t**2 - 3*t - 36. Let o be w(13). Let q = o - 139540/17. Which is bigger: q or -2?
-2
Let m = -265.77 - -276.54. Is m at least as big as -11?
True
Let m be (5355/306)/((53/(-1163))/(-1)). Let k = -384 + m. Is 1 <= k?
False
Let b be (12*(-16)/(-2304))/(3/(-654)). Do 0.031 and b have different values?
True
Let y = 19831 + -20090. Is -9/7 at least y?
True
Suppose 0 = 3*z + 3, -5*z - 47 = 4*u - 6*z. Let w be ((-32)/u)/(14/(-9)). Let y be 6/(-2) + 53 + -51. Is w != y?
True
Let n = -2467/5740 + 1/820. Let z = 5 - 6. Does n = z?
False
Suppose -v = 5*v - 96. Suppose -2*d + 0*d + v = 3*o, -2*o + 4*d = 0. Suppose -5*l = a - 39, 9*l - 47 = o*l - 3*a. Is 4 != l?
True
Suppose -4*i + 162 = -i. Let j(n) = 2*n**2 - 364*n + 3495. Let x be j(10). Is x smaller than i?
False
Suppose 3*o = -49 + 46. Is o >= 1/1756?
False
Let q be 5/((-405)/(-6)) - (-32108)/2484. Which is greater: 0.07 or q?
q
Let k(s) = 28*s**2 - 134*s - 30. Let f be k(5). Do f and 4/843 have the same value?
False
Let i(q) = -q**3 + 24*q**2 + 24*q + 39. Let c(y) = -y**3 + 25*y**2 + 20*y + 39. Let p(z) = 6*c(z) - 5*i(z). Let l be p(30). Do 426/11 and l have the same value?
False
Let p = 0.01 - 196.01. Let m = 196 + p. Is m greater than or equal to 21?
False
Suppose 385*b + 2*k - 776 = 383*b, 2*b - 734 = 4*k. Which is smaller: b or 2673/7?
b
Let s = -539 - -887. Let h = -219 + s. Let v = -128.9 + h. Which is greater: 30 or v?
30
Let w = -295/1427 + 282943/271130. Is 1 at least w?
True
Let o = 151.829 - 151.7. Is o >= -0.11?
True
Suppose 3*w = 2*h - 7492, -9*w - 5001 = -7*w + 5*h. Let n = 49949/20 + w. Which is smaller: 0 or n?
n
Let k = -54 + 73. Let w = 19.15 - k. Let q = -0.35 + w. Do -3 and q have the same value?
False
Let y be (63/21)/(-2*(-6)/16). Let k be (y/1)/(92 + -88). Let f = 1686 + -241100/143. Which is bigger: f or k?
k
Let r(p) = -20*p + 54. Let m be r(55). Let l = -1046 - m. Which is bigger: l or 3/121?
3/121
Let i = -2.06 + 2.067. Is 5 at least i?
True
Let a = -246 - -281. Let p = 122/3 - a. Is p greater than or equal to -2?
True
Let v be (29562/(-1122))/(-13) - 2. Is 1 equal to v?
False
Suppose 4*y + 3*g = 42, g - 8 = -y - g. Let x = y - 14. Let k = -0.0358 + -0.0642. Which is smaller: x or k?
x
Let g = 5944 - 5356. Is -0.6 > g?
False
Let m be ((-47)/(-232) - 141/376)*(-2)/5. Which is smaller: m or 11?
m
Let y = -2595 + 2562. Let n = 122 + -187. Let t = y - n. Is 32 smaller than t?
False
Let h = 69.7719 - 0.0719. Let w = 6.7 - h. Let u = 62.9 + w. Which is smaller: u or 0.09?
u
Let b = -134.65 - -131. Let d = b - -1.65. Which is smaller: -23 or d?
-23
Let s = -95389 + 95386. Let p be 29/(-3) - (-2)/(-6). Is p <= s?
True
Let x = -237/5 - -48. Let l be (20 + -16)*9/45. Is x > l?
False
Let h = -75462460 - -324564038962/4301. Let k = h + -6/391. Which is greater: 0 or k?
0
Let q be (-89628)/(-535752) + 3/(-18). Which is greater: 1 or q?
1
Let z(o) = o**2 + 27*o - 13. Let r be z(-36). Suppose -281*i = -279*i - 624. Which is smaller: r or i?
r
Let b(s) = -40*s + 3599. Let i be b(93). Which is smaller: -1572/13 or i?
i
Let t be ((-31328)/2612)/(-4) - 3. Let b = t + -1247/38527. Suppose -5*c + 2*j + 5 = -2, 4*j + 8 = 4*c. Is b less than or equal to c?