s big as a?
True
Let l = -5371517/11 + 488787. Which is smaller: 467 or l?
467
Suppose 1 - 4 = 3*t, -361 = -4*j - 3*t. Does j = 85?
False
Let z be ((-5)/(-25) + -1 + 2/2)*-5. Is z at least as big as 1/1367?
False
Suppose -102*k - 588716 = -231634 + 221870. Is k at least -5676?
True
Let h = -22 - -21.961. Let w = h + -28.961. Let i = -44.1 + 44. Which is greater: i or w?
i
Suppose -324 = 2638*h - 936*h + 1378. Let c = -2392/115439 - -6/241. Which is smaller: c or h?
h
Let i = -24.36 - -24. Let o = -23.36 - i. Let c = o + 20. Is -9 greater than or equal to c?
False
Let z = -76 + 76. Let w = -27 + 38. Let c = w + -11.04. Which is smaller: c or z?
c
Let a be (-137841)/(-88) - 30/80. Is a at least as big as 1569?
False
Let q = -6 + 5. Let p = -11043 + 651533/59. Which is smaller: q or p?
q
Let k = -0.49 + 1.06. Let x = k + -0.535. Let s = x + -0.535. Is -1/3 >= s?
True
Suppose -20 = -5*n - 5*p, 5*p - 4*p = n - 6. Let d(s) = s**3 - 6*s**2 + 2*s + 17. Let o be d(n). Suppose -o*g = 9*g + 55. Is g at most 0.01?
True
Let w = -216/559 - -1352183/2795. Which is smaller: w or 483?
483
Let d = 2762 - 2762. Which is greater: -12/161 or d?
d
Let n(p) = -p**2 - 10*p + 9. Suppose 5*r = -29 + 89. Let t(s) = s - 23. Let q be t(r). Let i be n(q). Which is bigger: i or -3/2?
-3/2
Let k = 67629 - 17110161/253. Which is smaller: 1 or k?
k
Let g(y) = 10*y - 1. Let n(h) = 1. Let q(r) = g(r) + 2*n(r). Let i be q(2). Let x = i - -10. Is x >= 31?
True
Let w(o) = -4*o**2 - 5*o + 50. Let u be w(-13). Let z = u - -157. Is -405 != z?
True
Suppose -70*s + 66795 = -9*s. Which is smaller: 1096 or s?
s
Let m be (4 - 4)/(-2 - (-4 - -1)). Let z = -243.9 + 241. Is m at most z?
False
Let n be 7 + (0 - -6) + (0 - 1). Let q be (-2)/(4/(-450)) - (n - 16). Are q and 228 nonequal?
True
Let q be (2/508)/(2200/1200). Is q at least as big as 1?
False
Let n be 3840/(-66) + 4/22. Let z be n/(-7) - (-1 + 2). Let u(b) = 27*b - 237. Let r be u(9). Is r at most z?
True
Let i = 0.179 + -0.274. Let x = 3.905 - i. Is 10 bigger than x?
True
Suppose -6*v = -29 + 11. Let u be (-39)/(-9) + -1 - v. Let p be (1/3)/(2/(18/(-3))). Are p and u nonequal?
True
Let k = 9754 - 11610. Which is smaller: 2 or k?
k
Let m = -41 + 120. Let d = 364 - 242. Let y = m - d. Which is bigger: y or 0.1?
0.1
Suppose -3*f - 5*z = 9, -3*z + 5 = 4*f - 2*z. Suppose -f*o - 5*w = 8, 14 = o - 5*w + 3*w. Suppose 2*r = 9 + 3. Is r smaller than o?
False
Let k = 365 + -365. Suppose k = 14*f + 256 + 276. Which is smaller: -187/5 or f?
f
Let u = 1289.127 - 1291. Let t = u - 0.127. Is 90 > t?
True
Suppose 5 = c, 5056*p - 5053*p + 3*c - 24 = 0. Which is greater: p or -1504?
p
Let p be -3*(0 + 1/3)*-11. Let a be 40/110 + 18/p. Is a at least as big as -27?
True
Let v be 0 + 58*(-581)/6720 - (-1 - 4). Is 0 less than or equal to v?
False
Let d = 3.406 - 3.306. Which is bigger: d or 4/353?
d
Let i be 2 + (51917/(-44) - (-7 - (-75)/11)). Which is greater: i or -1177?
-1177
Let l be (-2*1/2)/(-17). Let s be ((-12)/(-21))/(30/14)*(-4077)/(-1812). Which is greater: s or l?
s
Let w be ((-5355)/(-20))/((-6 - -7)/4). Is w bigger than 1073?
False
Let g = -2267 - -1244585/549. Let c be (-462)/231 - (-2 + 0). Do g and c have the same value?
False
Suppose -5*w - 5*g = -2300, 0*g + 3*g = w - 448. Let r = w - 458. Let x = 19330/27 + -716. Which is smaller: x or r?
r
Let p(z) = -34*z**2 - 10*z - 147. Let t be p(-8). Which is smaller: t or -0.1?
t
Suppose 34*i - 38*i + 652 = 0. Let w = i - 162. Let a be 2/(-7) - (-212)/546. Is a at most w?
True
Let f(b) = 305*b + 2927. Let n be f(68). Which is greater: n or 23668?
23668
Suppose -14 - 41 = 11*f. Suppose -315 = 5*k - 3*c, -3*k - 3*c - 168 + 3 = 0. Let u be k/75 + (-2 - (-136)/f). Which is greater: -1 or u?
-1
Suppose -31 = 2*c - 37. Suppose 4*g + 0*g - 5*h = 10, -c*g + 5*h + 10 = 0. Suppose 6*m + m + 14 = g. Is -38 less than m?
True
Let r(p) = -31*p**3 + 4*p**2 - 2*p - 5. Let b be r(-1). Suppose 14*w - 704 = -256. Is b at most w?
True
Suppose 7*l - 121 = -16. Let x be (-24 - 12)*2*l/18. Are x and -61 equal?
False
Let s be 10/5 + (-1 - -1). Let p = 7 - 5. Suppose -p*f = s*f. Do f and 6/25 have different values?
True
Let w(n) be the second derivative of n**4/4 - 15*n**3/2 + 33*n**2/2 + n - 73. Let o be w(14). Is -59/6 equal to o?
False
Suppose -7333 = -77*q - 2636. Is q bigger than -40?
True
Suppose 0 = -2*f + 5*d + 5 - 18, 0 = -d + 3. Let p = -476.1851 - 0.4149. Let c = p + 477. Is f greater than c?
True
Suppose 0 = -5*q + 4 + 1. Let b be (-23)/46*((-1)/(-2))/((-305)/100). Is b at most as big as q?
True
Let z(b) = -b**3 + 17*b + 1. Let v be z(-4). Let t(f) = -2*f**3 + 4*f**2 + 2*f - 8. Let r be t(v). Is r < 74?
False
Let k(x) = 3*x - 350. Let h(q) = q - 116. Let j(g) = 17*h(g) - 6*k(g). Let c be j(28). Which is smaller: c or 101?
c
Let h be (0 + -1)*0/2. Suppose -4*x - 3*l - 605 = 0, 0 = -4*x + 3*l + l - 640. Let n = x + 309/2. Does n = h?
False
Let o = 844 + -843.089. Let y = o + -10.958. Let g = y - -0.047. Which is bigger: -0.2 or g?
-0.2
Let o = 91 - 95. Let i be (2/(3 - -45))/(o/234). Is i less than or equal to -1?
True
Suppose -4*h + 134 = -5*h. Let t be ((-272)/(-72))/(-17) + h/(-198). Let w = -40 + 39. Which is smaller: w or t?
w
Let u = 3723 - 3725. Which is smaller: -1192 or u?
-1192
Let a be (-6)/(-4)*(-12)/9. Let z be a/(-1)*10/12. Let p(k) = -k**3 + 6*k**2 - 190*k + 923. Let t be p(5). Which is smaller: t or z?
t
Let s = -1 + 1. Suppose s = -31*q + 26*q + 55. Let p be 30/165 - (-130)/q. Is 66/5 not equal to p?
True
Let p(j) = -2*j + 14. Let q be p(7). Suppose q = -7*l - 8 + 274. Let u = l - 28. Does u = 7?
False
Let k = 1449.74 + -1476. Let p = 0.26 + k. Let x = p - -25. Which is bigger: -4/7 or x?
-4/7
Let y = 13454.1 - 13470.1. Let i(j) = -2*j - 3. Let c be i(-6). Which is smaller: c or y?
y
Suppose -4*g + 2 + 0 = 2*u, -2*u - 3 = -g. Let s = -468 - -518. Let b be (-43)/(-19) - 10*10/s. Are b and u unequal?
True
Suppose 10*b = 162 + 98. Let x = -43 + 51. Let c be (-2)/x - (-420)/16. Are c and b equal?
True
Let g(r) = -2*r**3 - 17*r**2 - 6*r + 16. Let n = 4 + -12. Let w be g(n). Suppose 6*o + o + 49 = w. Which is smaller: -6 or o?
o
Let k be (1750/(-140))/((-10)/(-8)). Which is bigger: 6 or k?
6
Let l = 22007/13 + -1693. Let b = -4 + 4.06. Which is greater: l or b?
b
Let w = 0.00997 + 4.50003. Which is bigger: -11 or w?
w
Let p = -723 - -761.9. Let z = p - 39. Let t = 844/231 + 1/77. Which is bigger: t or z?
t
Let s = -29879/3 + 9959. Is 3/2854 != s?
True
Let u = -941/8506 - -1561367873/212650. Let o = 7344 - u. Is 1 smaller than o?
True
Suppose -6*g - 7 = 19*g + 18. Which is smaller: 3/6352 or g?
g
Suppose -17*z + 19*z = 0. Suppose -5*x + x + 8 = z. Suppose -x*s - 2*s + 52 = 0. Are 25/2 and s non-equal?
True
Let j be ((2 - 1) + -40)/(11817/312 + -38). Which is smaller: -24 or j?
-24
Let x = -168 - -159. Let y = x + 13. Is 3 >= y?
False
Let k = -41.7 + 5.7. Let a = k - -46. Let g = -8 - a. Which is smaller: g or 1?
g
Let x be (6 - 1 - 6)*2*-1. Suppose -4*w + 8 = h, -3*h = -5*h + x*w - 4. Suppose g + 0*g = h. Is 1/116 less than g?
False
Let h = 0.1899 + -0.2659. Which is smaller: 5 or h?
h
Let u = -106 + 112. Suppose -4*o - 2 = -n - u, -2*o = -3*n - 42. Which is smaller: -7 or n?
n
Let a = 24 + -35. Let n(m) = -m**2 - 76*m - 1060. Let l be n(-58). Which is smaller: l or a?
l
Suppose -44*u + 52*u = 3152. Let j = u - 402. Is j bigger than -10?
True
Suppose -7*b + 65 = 9. Let l be (-12)/b*(-1736)/(-42). Is -62 not equal to l?
False
Suppose -38*y = -48*y + 542 - 62. Is y bigger than -16?
True
Let x(v) = v**3 + 3*v**2 + 2*v - 4. Let n be 4/((-4)/6*3). Let i be x(n). Let o be 1/(36/8 + i). Does o = 3?
False
Suppose -3*p + o - 13 = -12, 2*o - 2 = 3*p. Which is greater: p or -71/173?
p
Suppose 2*m = 2*y + 2, -3*m - 185*y - 11 = -181*y. Which is smaller: m or 13/311?
m
Let g = 0.3963 + 1.6037. Which is bigger: g or -352?
g
Let j be (-7 - -1) + (-30 - 1210/(-33)). Which is greater: 3261 or j?
3261
Let b be 2/(2 - 65/36). Let k(p) = 3897*p - 11682. Let u be k(3). Which is smaller: u or b?
u
Suppose -82578 = 188*s + 30601 + 62789. Which is smaller: -935 or s?
s
Let f(w) = w**3 + w**2 + 3*w - 2. Let k(g) = g**3 + g**2 - 4*g + 4. Let c be k(-3). Let s be f(c). Which is greater: -61/5 or s?
s
Let l be (0/2)/((-14