a
Suppose -3*b + 5 = -10. Suppose -5*a + 4*c + 10 = 0, 0 = 5*a - c + b - 15. Suppose -5*o = 5*l + 255, -4*o - 5*l = -a*l + 200. Which is smaller: o or -48?
-48
Let p be (1/1*2)/(-46 + -1365). Is p bigger than 0?
False
Let c = 32048 + -32046. Is 4179 at least c?
True
Let r = -7/6 - -173/138. Suppose -33*q - 12*q + 495 = 0. Suppose q*t + 3 = u + 13*t, 3*u = -t - 1. Is r less than u?
False
Let n = 0.0577 + -234.0577. Let p = n - -231. Which is greater: p or 8?
8
Let k = -656/5 - -133. Let a be (1 + -5)*1/(-2). Let h = a - k. Which is smaller: 3 or h?
h
Suppose 2*g - 23 = -3*y, 26 = -g - g + 4*y. Which is bigger: 3/6743 or g?
g
Suppose 2*n + 3*u - 12930 = -u, 19368 = 3*n - 3*u. Let l = 83927/13 - n. Which is bigger: l or -2?
-2
Let q be (8 - 110/25) + (-2)/(-5). Let r(f) = -f**2 + 16*f - 49. Let h be r(q). Are 2/259 and h non-equal?
True
Let n = 10 - 8. Let v = n + 5. Let x = -9/118 + 77/236. Which is bigger: v or x?
v
Let q = 23.9 - 24. Let h = -191 + 203. Is q smaller than h?
True
Let l = 30327 - 30327.6. Is 1/426 less than l?
False
Suppose -152 = -n + 11. Suppose 295 = 6*i + n. Which is smaller: i or 24?
i
Let v be (-2)/368*2*71. Let z be (-3 - 3)/(3/(-6)*23). Let y = z + v. Is y greater than -1?
True
Let r = -4072.31 + 4072. Which is bigger: r or 77?
77
Let a be 135/(-27)*4/(-30) + 394/3. Is a less than or equal to 128?
False
Let q = 0.4493 + -0.5993. Which is bigger: 0.091 or q?
0.091
Let j = -651 - -634. Which is greater: -27 or j?
j
Let j = -686 + 355. Let t = j + 497. Is 166 at most as big as t?
True
Let x(u) = -2*u**2 - 8*u + 4. Let p be x(5). Let k = p + 347/4. Are 27 and k non-equal?
True
Let c = -34 - -37. Suppose c*g - 4 = 2*g. Suppose 4*d - n - 32 = 0, -14 = -g*d + 4*n + 6. Is 9 bigger than d?
False
Let v be -15412*2/(-4)*8/(-2840). Let p = -217/10 - v. Are 0 and p equal?
False
Let f = 2109 + -2004. Are 105 and f nonequal?
False
Let w = -7626 + 7511. Which is bigger: -227/2 or w?
-227/2
Let t(f) = f**3 + 11*f**2 - 30*f - 21. Let v be t(-13). Let g = v - 30. Which is smaller: g or 56?
g
Let s = 676 - 463. Let g = 211.87 - s. Which is greater: 0.1 or g?
0.1
Let w = 2881.68 + -2883. Which is smaller: w or -2/3?
w
Suppose 0 = -n - 3*w + 4 + 37, -5*n = -3*w - 151. Let i = -3110 + 3077. Let v = i + n. Which is smaller: -3/26 or v?
v
Let s = 15129 + -15124.888. Which is bigger: -2/5 or s?
s
Let l be (-6)/3 - (384 - 108). Do -278 and l have different values?
False
Suppose 11003*o - 1245 = 11006*o. Is o less than or equal to -406?
True
Let z be (-70)/25 - -3 - 1548484/(-280). Which is smaller: 5531 or z?
z
Let f = 1359020/36449 - -1/5207. Suppose -8*b - 78 = 210. Let v = b + f. Do v and 2 have the same value?
False
Suppose 0 = -26*h + 37*h + 2761. Let d = h - -220. Which is smaller: d or -123/4?
d
Suppose 3*y + 4*k + 11 = 0, 1 = -y - 3*k - 11. Suppose 4*c - y*c = -22. Is c < -22?
False
Let m = 78 + -49. Let p = m - 28.05. Let o = 517509 - 517509.1. Is o != p?
True
Let w = 266.6 - 267.8. Is w greater than -480?
True
Let z(c) = c**3 + 10*c**2 + 21*c - 2. Let f be z(-7). Let d be 4/(46/(-22) - f). Is d >= -39?
False
Let q = -142635638 + 29811283272/209. Let b = q - 2081. Is b at most -1?
False
Let r = 0.19 + -0.2. Let p = 0.09794 - 0.05994. Let x = r - p. Which is greater: x or -1?
x
Suppose -16*k + 2128 = 2256. Which is smaller: k or -1/13?
k
Suppose 1560 = -g + 14*g. Suppose 13*y = y + g. Which is smaller: y or 14?
y
Let y = -22 - 38. Let u = y - -18. Let j be 49/u - 4/(-6). Are 0 and j non-equal?
True
Let r = 723 - 724. Is 2127 > r?
True
Let g = 3881 - 3882. Do g and 8/9587 have different values?
True
Let w(s) = -s**3 - 14*s**2 - 49*s - 467. Let l be w(-13). Which is smaller: l or 38/53?
38/53
Suppose z = -a + 14, a - 74 = -5*z - 3*a. Let m(c) = -5*c**2 - 51*c + 62. Let j be m(-11). Is z at least j?
True
Let w = 2421/31406 - 3/766. Let h be 0 + 12 + (-2)/2. Suppose -h*c + 9 = -2*c. Is c < w?
False
Suppose 16*t - 64 = -0*t. Suppose -f = -4*w + 20, t*f + 7*w = 5*w + 10. Which is smaller: 3/125 or f?
f
Let x = 9272 + -9275. Let c = -1.6 + -0.8. Let h = c - -0.4. Is x greater than h?
False
Let o be 4*356/(-32)*-2. Which is greater: o or 93?
93
Let x = -4584907/4 + 677419564/591. Let c = x + 2/591. Which is smaller: 19 or c?
c
Let y(m) = 2*m**3 - 22*m**2 + m - 12. Suppose -20*w + 10*w + 110 = 0. Let a be y(w). Which is smaller: -6/199 or a?
a
Let f be -11 + ((-44509360)/202314)/(-20). Which is greater: 1 or f?
1
Let p be -2 + (2 - -2 - 3). Let l = -118661/37 - -3207. Is l less than or equal to p?
False
Let k(x) = x**3 - 26*x**2 + 15*x - 391. Let j be k(26). Let z = 804 + -562. Is z > j?
True
Suppose g - 5*h = -18, -h = -g - 8 + 2. Let x = -1969 - -1910. Which is greater: g or x?
g
Suppose -2*h - 8169 = 5*b, 0 = 3*b + 2*h + 3698 + 1205. Which is greater: -1635 or b?
b
Suppose 2*g + 4 - 12 = 0. Let t = 176 + 40. Let r = t + -214. Which is bigger: g or r?
g
Let d be ((-2151)/3)/(-6 + 3). Suppose -d - 25 = -3*c. Which is smaller: c or 90?
c
Let q = -978/7 - -1030/21. Suppose 0 = 5*i - 2*x + 426, -135*i - 2*x = -139*i - 336. Does i = q?
False
Let a = -0.615 + 0.687. Let v = 92 - 92.2. Is a less than v?
False
Let b = -21 + 23. Let j = -14 + 12.6. Let p = j - -1. Which is smaller: p or b?
p
Let u = -8523.01 + 8523. Which is greater: u or 117?
117
Let p = -14569.903 - -14577. Let u = p - 6.35. Let w = -0.053 - u. Is 2 greater than w?
True
Let q(f) = -36*f**2 - 795*f - 63. Let h be q(-22). Which is smaller: 119 or h?
h
Suppose -2*g + 40*j = 41*j - 672, 2*j = -5*g + 1677. Which is greater: 332 or g?
g
Suppose 5*a + 373 = -c, -2*a - 4*c = -3*c + 151. Let t = 77 + a. Suppose -3*s = 2*k - 53, -t*s - 4*k + 64 = s. Is s > 20?
True
Suppose -188*k + 163*k + 75 = 0. Let f = -690 - -686.11. Let a = 4 + f. Is a greater than k?
False
Let m be (10 - 24968)/(-3 - (-364)/412). Let n = m - 11792. Which is smaller: 0 or n?
0
Let a = -22557 + 22559. Which is smaller: a or -2535/4?
-2535/4
Let l be (101/(-606))/(1/1338). Is l at most -221?
True
Let h be (7 + 826/(-126))*726/(-4). Which is smaller: h or -81?
-81
Let p = 22447 + -22234. Which is greater: 1/40 or p?
p
Suppose -8*i - 12 = 12. Suppose 16 = -6*l + 34. Let h(a) = a**3 - a**2 - 4*a - 9. Let x be h(l). Is x bigger than i?
False
Let m(g) = -g**3 + 8*g**2 - 6*g - 3. Let p be m(7). Suppose -7*o = -9*o + 5*d + 318, p*d + 477 = 3*o. Is 159 greater than or equal to o?
True
Suppose 3*n - 465 = -0*n - 3*r, -4*r + 318 = 2*n. Let o = -603887 + 1208077/2. Which is bigger: o or n?
o
Let f be (-2)/4*4/19. Suppose -18 = -3*y + 2*z, z = -5*y + 36 - 6. Let h be -1 + (4/6 - y/9). Is f equal to h?
False
Let o = 2962 - 5915/2. Are o and 39 non-equal?
True
Let w be (-14)/49 - 3/14*-6. Which is bigger: w or 108/59?
108/59
Let p(a) = -6*a + 23. Let i(z) = -z**3 + 20*z**2 + 45*z - 18. Let k be i(22). Let d be p(k). Is 1/71 > d?
True
Let i be (8085 + 2 + -11)/(6/4). Let m = i - 26797/5. Which is smaller: 26 or m?
m
Suppose -3*f = 5*r + 620, 180 = 6*f - 7*f + 5*r. Let a = -201 - f. Which is bigger: a or 2/47?
2/47
Let a be (1/3)/(79/18012). Suppose a = 3*u + 133. Which is smaller: u or -121/6?
-121/6
Let r = 81 - -16. Let h = -289/3 + r. Is h < 24?
True
Let m = 8 + 0. Let h(v) = v**3 - 11*v**2 + 27*v - 114. Let d be h(m). Are d and -88 non-equal?
True
Let v = 7 + -6.5. Suppose -29*o - 239 - 1443 = 29*o. Is o > v?
False
Let z = -267.73 - -2.73. Let y = z + 264.817. Let n = 0.033 + y. Is n less than -5?
False
Let p = -6760 - -6760. Which is smaller: p or -5/3386?
-5/3386
Let q = 5 - 11. Let c = 2 + q. Let d be (-11)/(231/(-294)) - 9. Which is smaller: c or d?
c
Let z = -0.66 + -7.84. Let j = -10.5 - z. Let r(n) = n**3 - 3*n**2 + 3. Let l be r(3). Is j not equal to l?
True
Let n be 9 + 7 + -9 - -6. Let q be ((-9)/n)/1*(-3040)/(-240). Which is smaller: -8 or q?
q
Let d = 35 + -88. Let b = 51 + d. Let t = -2/159 - 473/318. Are b and t unequal?
True
Let d = 269.8 + -208.35. Let h = d - 61. Let p = -0.51 + h. Which is bigger: p or -1?
p
Let o = 320/17 + -943/51. Which is greater: 3.5 or o?
3.5
Suppose 3 = -3*g + 4*m - 11, 0 = -17*g + 2*m + 24. Is -0.097 at least as big as g?
False
Let u be (-4)/6 + (-19)/(-24). Suppose -13 = 2*d + 5*y, -4*d = -4*y - 0*y - 44. Suppose -11*f - d - 5 = 0. Which is greater: u or f?
u
Let p be -1 + ((-85)/(-495))/(