r: b or 0?
b
Let p = -14 - -13.28. Let c = p + -0.28. Suppose 5*w + 398 = 4*x, 5*w - 5*x + 591 = 191. Which is greater: c or w?
c
Let b be (-10)/6 + 3505/955 - (-1 - -3). Which is smaller: -1 or b?
-1
Suppose 0 = 2*w - 71 + 45. Suppose -17 + w = 4*s. Are s and 1/310 equal?
False
Let l = 45.2221796 + -0.0700796. Let r = l + -0.0521. Let g = r + -45. Which is bigger: 3/26 or g?
3/26
Let z be (-13)/(-78) + (-47)/(-6). Suppose -a + 1 - z = 5*p, 3*a - 2*p + 106 = 0. Let d = -25 - a. Which is greater: d or 5?
d
Let i = -0.6616 + 0.2016. Let c be (-5)/(1 + 24)*-1. Is i greater than or equal to c?
False
Suppose -31*f - 94 = -32*f. Suppose 40 = 89*o - f*o. Is o at most as big as -6?
True
Let g = 49 + -4. Let v = 36 - g. Let z = 8 + v. Does z = 5/11?
False
Suppose -4*u - 30 = -2*y + 38, 0 = -4*u - y - 56. Let v be (-3 - 69/u) + 3/(-5). Let b = -18 - -20. Is v bigger than b?
False
Let b = 632 + -624. Let k be b - ((-16)/(-9) + 6). Suppose -2 = -3*l - 5. Which is bigger: k or l?
k
Let i = 6186 - 9681. Is -3493 smaller than i?
False
Suppose 2*k = 4*j - 36, -35*k + 5*j + 7 = -39*k. Is k greater than -14.5?
True
Let j be 37/1554*(-6)/8. Is -1 <= j?
True
Let w be -1*12/(-5)*5/(-2). Let c be ((-374)/(-126) - 3)*-1*9. Is c greater than w?
True
Let w(r) = r**2 - 10*r - 44. Let t = -108 - -121. Let i be w(t). Which is greater: -6 or i?
i
Let s be (-21)/(-960)*(-65)/78. Which is smaller: s or 0?
s
Let j = 197 + -385. Let d = 3949/21 + j. Is d < -1?
False
Let y = 4.2 + -0.2. Let f = 3 - y. Let q = -436.77 + 436.67. Which is greater: q or f?
q
Suppose -140 - 10 = -15*t. Suppose t*i - 26*i + 16 = 0. Let l(j) = j**3 - 2*j + 1. Let w be l(i). Which is greater: w or -1/50?
w
Let c be (1/(-5))/(269/(-4035)). Which is smaller: c or 98/61?
98/61
Suppose -5*t + 11836 - 11209 = -23633. Which is smaller: 4854 or t?
t
Let h(s) = 28*s**2 - s - 1. Let u be h(-1). Let l = -5000 - -4977. Let q = u + l. Which is greater: q or 19/5?
q
Let m = 12325 + -12324. Which is greater: -151 or m?
m
Let l(b) = -b**2 + 6*b - 6. Let j be l(6). Let m be (-19733)/(-245) - (-8)/(-20). Let z = 529/7 - m. Which is greater: j or z?
z
Let g be (-6 + 1)*(-14)/2*372/(-4340). Is -4/247 not equal to g?
True
Let h = -211 + 85. Let n = h - -126. Which is smaller: 16/11 or n?
n
Let r be 112/(-196)*14/(-4). Suppose r*d = 4*u + 10, -u + 18 = -2*d + 19. Which is smaller: -39 or d?
-39
Let p(x) = -3*x - 1. Let v be p(4). Let j = 25 - v. Suppose -706*w + 711*w - 190 = 0. Is j less than w?
False
Let x = -17867/58 - -308. Let h be (3/(-9))/(3/9). Which is smaller: x or h?
h
Let n = -5.6482 + 0.1182. Let x = 246.47 - n. Is 1 at least x?
False
Suppose -2*t - 24 = -10*t. Suppose 5*x + 22 = -u, -x = -0*x - t*u - 2. Let c = x + -13. Are c and -19 nonequal?
True
Let x(a) = 3*a - 59. Let j be x(7). Let o = -62.2 - -62. Which is smaller: j or o?
j
Suppose 22 = 2*w + 3*q - 9, 0 = -w - 2*q + 18. Let v(i) = 11*i + 199. Let n be v(-17). Let a be 5*(9/(-5))/(n/w). Which is smaller: -10 or a?
-10
Let l = 13927 - 13791.2. Is 0.3 at least as big as l?
False
Let f be 34/255 + 140/(-375). Is -0.3 greater than or equal to f?
False
Suppose 4*i - 13 = -37. Let y(d) = -5*d - 10. Let n be y(i). Let z be (-318)/(-18) + (-32)/12 + 3. Which is smaller: n or z?
z
Let t(k) = -k**3 + 7*k**2 - 17*k - 224. Let m be t(11). Is m at least -901?
True
Let a be (5/(-2) - -3)/(2/(-116)). Let t be a - (-4 - -2)*-1. Which is bigger: -5 or t?
-5
Suppose -2*r + 79 - 74 = -5*a, 5*a = r - 5. Which is smaller: -1/5132 or r?
-1/5132
Let k = -649 + 40888/63. Let l(f) = -f**3 - 15*f**2 + 33*f - 31. Let r be l(-17). Let b be 0/(-2*(-7)/r). Is k at least as big as b?
True
Suppose 4*c = 2*c + 24. Suppose -26 = -2*s - d + 19, -d = s - 23. Suppose 17*a = s*a + 4*f - 58, 3*a - 36 = -2*f. Are a and c unequal?
True
Let q = -2/5 - -3/5. Let j = 0.238 + 32.462. Let m = j + -32.74. Which is greater: q or m?
q
Let h = -0.3842 + 0.3842. Is h at least -216?
True
Let k(h) = 2*h**3 - h**3 - 4*h - 2*h**3 - h**3 - 117 + h**2. Let j be k(0). Is -119 bigger than j?
False
Let a = -130691 - -1436816855/10994. Is a less than or equal to -1?
False
Let j(h) = 4*h**3 - 3*h**2 - 10*h - 5. Let u be j(5). Suppose u = 8*d + 2*d. Let w be 2/8 + d/(-4). Is w >= 0?
False
Let d(f) = 5*f + 15. Let a be d(-3). Suppose t - 70 = 4*i - a*t, 5*t = -3*i - 41. Let o = -18 - i. Is -1/3 not equal to o?
True
Suppose 2*k - 6 = 0, 5*z + 3*k + 138 = -k. Let i be 48/(-28)*(-105)/10. Suppose 0 = 2*b + 74 - i. Is b < z?
False
Let u(j) = 12*j - 55. Let a be u(5). Suppose 0 = -a*n - 2*v - 3*v + 40, v - 17 = -4*n. Is n at most 19?
True
Suppose 0*j - 5*j + b = -18, 4*j + 4*b - 24 = 0. Let l be j/8 + 2/(-4). Let q = 97595/14 + -6971. Is l at least q?
False
Suppose -4*g = -4*l - 40, -g - 2*l + 95 - 91 = 0. Is 1/330 equal to g?
False
Let b be (-18 - 48418)*2/(-12). Let w = b - 8236. Let q = -162 - w. Is q less than -1?
False
Let r = -23 - 39. Let z = 35 + r. Let d = 41 + z. Do d and 13 have different values?
True
Suppose 11*m = -282 - 411. Let y(v) = 2*v**2 - 7*v. Let r be y(5). Let h be 4/15*m/r - -1. Which is bigger: -1 or h?
h
Let z(l) = -28*l**3 - l - 1. Let t be z(-2). Let d = -57 + t. Is 168 not equal to d?
False
Suppose 0 = -5*h + 2*r - 2213, -2615*h + 3*r - 894 = -2613*h. Which is greater: h or -435?
-435
Let a = -140002 + 139996.0509. Let i = -0.0509 + a. Let u = -0.2 + 0.4. Is i equal to u?
False
Suppose -55*j - 3118 - 17 = 0. Which is smaller: j or -972/17?
-972/17
Let c = 13287 - 13554. Is -269 at least as big as c?
False
Let i = -5 + 7. Suppose -3*k + a - 4 = 0, -i*a - 8 = 2*k + 8. Let x be ((-7)/k + -2)/(1/3). Is x greater than 2?
False
Let l = 61 - 121. Let a = l + 90. Let c be (-16 + (-3)/(1245/(-240) - -5))/(-2). Is a at least c?
True
Let m = 13560 + -13473. Which is bigger: m or -32?
m
Let s be (-12)/(-21) - (-8)/(-14). Let m be ((-6)/4*-461)/(1260/660). Let x = m - 362. Is s at most x?
True
Let g = 25050 + -25049.98. Let x = -51 + 79. Do g and x have the same value?
False
Suppose -26*w + 12 = -25*w. Let s be (1/(-9))/(w/(-36)). Let y be 3*12/9 - 5. Is s < y?
False
Suppose 5*s - 121 = 2*d - 132, s - 3*d = -10. Is -0.1371 greater than or equal to s?
True
Let v = -10 - -8. Let i = 56 - 55. Let c = i + -10. Which is greater: c or v?
v
Let r = -1964 + 1967. Is 2/257 at most as big as r?
True
Let j = 320.4 - 320.3. Which is greater: 1441 or j?
1441
Suppose -4*t = -4, 0 = 2*d - 5*t - 195 + 570. Which is greater: -186 or d?
d
Let b(q) = -7*q**2 - 65*q + 186. Let z be b(-14). Which is greater: -1/3 or z?
-1/3
Let a = -3/8 + -7/152. Let i = -2451 + 2450. Which is bigger: i or a?
a
Suppose -8*i + 7*i + 81 = 0. Let l be i/36 + 2/(-8). Suppose 3*b + 3*u = u - 16, -8 = -b + l*u. Which is bigger: -14 or b?
b
Let t = 0 - 2. Let m = -367 + 307. Let b be (204/m - -3)*(-50)/8. Which is bigger: t or b?
b
Let r = -529 + 539.04. Let s = r - -2.96. Which is smaller: s or 2?
2
Suppose -8*z - 241 = 47. Let k = -84 + 47. Is z at least as big as k?
True
Let h be 3766/(-321) - (-3 - -3). Let x = 7/107 + h. Suppose 605*v - b = 608*v + 32, -2*v + b = 28. Is x > v?
True
Let o be (-9)/(-3)*((-834)/9 - 2). Let f = o + -42. Is -326 greater than f?
False
Let f = -4295.1 - -4295. Which is smaller: f or 478.2?
f
Let c be (7/1)/((-1)/(-7)). Suppose -95*z + 500 = -70*z. Suppose z*m - 600 = 8*m. Which is bigger: c or m?
m
Let u be (-57)/19 - (-103 - 0). Let j = -152 - -251. Which is bigger: u or j?
u
Suppose 4 = -a + 3*z, a - 2*a = 3*z - 8. Let l be (6/3 - 102)/(68/(-918)). Let f = l + -1350. Is a smaller than f?
False
Let o be (-52156)/51*9/8 + (3 - 1). Which is greater: -1149 or o?
o
Let l be (-132)/(-34) + (-20)/(-170). Suppose -5*n + n + 374 = 2*a, l*a + 500 = 5*n. Is n < -0.1?
False
Let p = 19968 - 19731. Is 4 greater than or equal to p?
False
Suppose 0 = m - 17*m - m. Let l be m/(-1) + 1 - 42/(-12). Which is smaller: l or 0.7?
0.7
Let m be (240/(-32))/(1/(-22)). Suppose 172*n - 14227 = -17*n + 16769. Is n >= m?
False
Let l = -24001/2280 - -158/15. Is 3/7 at least as big as l?
True
Suppose 163 = 6*j - 35. Let y be ((-46)/j + (-14)/(-21))*262. Let r = y + 190. Which is smaller: r or 0.1?
r
Let h(k) = -3*k - 5. Let n(b) = 2*b + 17. Let r be n(-10). Let d be h(r). Suppose 10 = 5*j - 5*o, -5*j + 4*j - 10 = -5*o. Which is greater: d or