. Let w = -6 + 5.56. Let j = w + 0.04. Which is greater: c or j?
c
Let p = -6 - -32. Suppose -l + p = 24. Suppose -l*m + 0 + 2 = 0. Which is smaller: m or -5/16?
-5/16
Suppose -296059 = -20*y - 95599. Do y and 10023 have different values?
False
Let o = 300 + -523. Let g = 222.98 + o. Are g and -1/4 equal?
False
Let p = -2190.1 + 2190. Do p and -0.3621 have the same value?
False
Let c be 4/7*(-7)/(-2). Let s be -2*((-16028)/4600 + 4) - -1. Let h = 23916/7475 - s. Is c at least h?
False
Suppose 5*n + 8 = n. Let i(g) = 19*g - 5. Let b(t) = -17*t + 5. Let w(x) = n*b(x) - 3*i(x). Let v be w(-1). Which is bigger: 27 or v?
v
Let t = 412 - 339. Suppose t - 75 = -2*p. Do p and 24 have the same value?
False
Let b be ((-144)/(-16 - -4))/(3/(-1)). Let t(k) = -2*k**2 - 1. Let v be t(-2). Is v less than b?
True
Let z(u) = 187100*u - 8. Let d be z(-1). Let b = d + 1314616/7. Let j = b - 698. Which is smaller: j or -4?
-4
Let z = 5 - 5. Suppose z = 3*x + 2*x + 5. Let t be (1/42)/(368/69 + -6). Which is smaller: x or t?
x
Let v(z) = 3*z**2 + 25*z - 298. Let b be v(-15). Is -182 >= b?
False
Let f = -68901 + 620989/9. Are f and 97 non-equal?
True
Suppose r = -0*r - 42. Let s = 87 + r. Let t be 40/s*6 + 2/3. Which is smaller: 4 or t?
4
Let y be 10/18 + 68352/(-123552). Which is greater: y or -1?
y
Suppose 42*c - 31 = 11. Let h = 0.017 - 2.817. Which is smaller: c or h?
h
Let k = 211 - 147. Let m = -79.1 + 12.1. Let i = k + m. Which is greater: i or 4/9?
4/9
Let p = -8 + 8.1. Let i(y) = 379*y**3 + 2*y + 3. Let g be i(-1). Let m = 323 + g. Which is bigger: m or p?
p
Suppose 0 = -19*y + 104*y - 6*y + 29546. Is y less than -372?
True
Suppose 2*x + 6 = 12*u - 8*u, 5*x = 4*u - 21. Is 11/991 greater than or equal to u?
True
Let u be (-8528)/819 - 9 - 2/(-9). Is -18 greater than or equal to u?
True
Let o = -9365/11 - -847. Let p(g) = g. Let k(f) = -25*f. Let w(i) = k(i) + 30*p(i). Let h be w(-1). Which is smaller: o or h?
h
Let j = 1772 - 2000. Is j at most -2?
True
Suppose 18*n = 19*n - 950. Let u = -12359/13 + n. Suppose -5*o - 5 = -0*o. Which is smaller: o or u?
o
Suppose 0 = 2*g, -4*g = k - 546 + 8. Let d = k - 538. Which is smaller: d or 4/135?
d
Let p = 10 - 13. Let o(z) = 2*z + 44. Let m be o(-9). Suppose -2*u - m = 5*g - 3, 0 = -u + 2*g - 34. Which is smaller: p or u?
u
Let i = 12089 + -204853/17. Which is smaller: 39 or i?
i
Suppose l - 10 = 3*l. Let v(c) = c. Let d(k) = -k**3 - 9*k**2 - 6*k + 45. Let s(x) = -d(x) - 3*v(x). Let o be s(-8). Is o < l?
False
Let q(f) be the second derivative of f**4/4 - 35*f**3/2 - 27*f**2/2 - 2*f + 6. Let d be q(30). Which is greater: -476 or d?
-476
Suppose 0 = -5*u - 3*p + 63, 4*u + p = 3*u + 11. Let s be 5558/(-80) + (-6)/u. Let b = s + 513/8. Is -6 bigger than b?
False
Let d be (-3)/(-4*3) - (-11 + (-1310)/(-120)). Which is smaller: -721 or d?
-721
Let w be ((-10)/(-1))/(-5) + (3 - -2). Let c be -21 + w/((-9)/(-3)). Is -19 at most c?
False
Suppose -23*j = 215 - 1336 + 155. Let o(t) = -5*t**3 + 2*t**2 + 3*t. Let w be o(-2). Is w bigger than j?
False
Let l = -5761 + 5761.14. Which is greater: 5/11 or l?
5/11
Let w be (-174)/203*(-6 - 1). Let i be 225 - (1 + (-12)/w). Which is smaller: i or 227?
i
Suppose 205*g = 185*g + 40. Which is smaller: -2328 or g?
-2328
Let a = 77 - 77. Let o be a*((-4)/8 + 0). Is 3 > o?
True
Let o be 20/84*-39*-7. Suppose -3*a + 207 = -7*i + 5*i, o = a - 2*i. Which is greater: 0.1 or a?
a
Suppose 0 = -y - 140 - 27. Let r = y - -499/3. Which is smaller: r or 0.061?
r
Let y be 5*(17732/3120 - (-1)/(-12)). Are y and 558/19 unequal?
True
Let l(a) = -a + 16. Let q be l(6). Let z be (70/(-9))/q + (-3)/(-9). Which is smaller: z or 0?
z
Let m(k) = -121*k - 29124. Let d be m(-239). Let l(a) = -51*a - 2. Let f be l(4). Which is greater: f or d?
d
Let k = -38501.4 - -38493. Which is smaller: k or 65?
k
Let r(p) = p**3 + 2*p**2 - p - 6 + 1 + 12. Let v be r(-3). Is -151 at most as big as v?
True
Let r = 109 - 110. Let t = -55 - r. Let n = t + 54.1. Is 0 less than n?
True
Let k be -1*3 + -1 + (-11435)/(-2860). Let r = 11179 + -11178. Which is bigger: r or k?
r
Let s be 1/(-17) + 123430/112880 + -1. Is s < 0?
False
Let n be 1 + -1*(-3 + 5). Let r = 764.07 + -758. Let x = -6.1 + r. Which is smaller: n or x?
n
Let q = 155 + -77. Let m(b) = -b**2 + 30*b - 24. Let x be m(29). Suppose y - 72 = x*a - 2*y, -3*y = 5*a + q. Is a smaller than -15?
False
Let j be 64/(-6)*(17 + -23). Let f be 5 + 96/(-18) - j/(-12). Which is smaller: 6 or f?
f
Let h(r) = -r**3 + 9*r**2 - 4*r - 96. Let w be h(8). Let f(j) = 7*j - 9. Let q be f(-8). Let y = q - w. Which is greater: y or -3?
y
Let j(i) = -i**2 + 8*i - 13. Let u be j(6). Let z(y) = -22*y**3 - 2*y**2 - 2*y. Let m be z(u). Suppose 6*k - m = 7*k. Do -22 and k have the same value?
True
Let v be (-5)/(-90)*-55 - -3. Suppose 3*m = m - 5*h + 53, -3*m = -4*h - 68. Suppose -m*q = -23*q. Which is greater: v or q?
q
Let o = -6.98 - -0.38. Let u = -46441.8 + 46442. Do o and u have the same value?
False
Let r(c) = -65*c**2 - 1486*c - 33. Let i be r(-12). Which is greater: i or 8437?
i
Suppose 6*q + 3382 + 1646 = 0. Let r be (q/(-6))/((40/12)/(-10)). Is r >= -418?
False
Let v = 186/5 + -739/20. Let t = v - 51/220. Which is bigger: 0 or t?
t
Let c = 1505.64 + -245.54. Let g = c - 1211. Let p = -49 + g. Which is smaller: p or -5?
-5
Let g(w) = 17*w**2 + 10*w - 13*w**2 - 3 + 11*w**3 - 12*w**3 - 7*w**2. Let p be g(-6). Is 46 smaller than p?
False
Suppose 2*k = -27 - 453. Let y = k - -144. Let p be 2/(-6) + y/36. Is 0.8 at most as big as p?
False
Let h = -20.5 + 30. Let v = h - 10.04. Let y = v + 0.51. Which is bigger: 2 or y?
2
Let i = -315/2 - -2763493/17546. Which is greater: -1 or i?
i
Let w(h) = -59*h + 2118. Let g be w(35). Which is bigger: 1230/23 or g?
1230/23
Suppose -x - 3 = 3*q - 4*x, 5*q - 3*x + 1 = 0. Let o(z) = -5*z + 25. Let f be o(-4). Let p be 66/f - (-6)/(-15). Is q at most p?
True
Let x = -0.5009 - -3.9009. Are x and 15.4 non-equal?
True
Suppose 120*i - 116*i = -5*f + 929, 4*f + 3*i - 742 = 0. Which is smaller: 179 or f?
179
Let p = 534 + -524. Let y be (-5)/p - 1*(-81)/160. Which is greater: y or 1/3?
1/3
Suppose -3*y + 8*y = -3*i + 221, 10 = 5*i. Suppose -74 = 128*v - 129*v + 4*c, 3*v = -c + 144. Is v not equal to y?
True
Let w(v) = v**3 - 10*v**2 - 23*v - 7. Let i be w(12). Suppose -5*q = z - 6, 9*q - z + i = 13*q. Which is bigger: q or 2/523?
q
Let h(y) = y**3 + 10*y**2 - 21*y - 211. Let q be h(-10). Which is bigger: q or 11/30?
11/30
Suppose -5*r = -6*r. Suppose 12 = -s - 3*h + 4*h, 4*s - 3*h + 51 = r. Let a = 9 + s. Which is greater: a or -3?
-3
Let q = -58.61 + 44.61. Which is smaller: -30 or q?
-30
Suppose 35*a = -16*a - 4*a + 1430. Which is greater: 883 or a?
883
Let f = 112/151 + 75393/755. Is f <= 100?
False
Suppose -3 = 3*n - 6, 2*y + 2*n + 376 = 0. Let m = 207 + y. Is 2 at most m?
True
Let f = 74 + -47. Let b(s) = -5*s + 5*s - 3*s - f. Let c be b(-9). Which is bigger: c or 8/29?
8/29
Suppose 2*j - 13*h + 17*h + 402 = 0, j + 195 = h. Let x = j - -181. Which is smaller: x or -10?
x
Let w(v) = v**3 - 4*v**2 + 4*v + 5. Let d be w(3). Let o = 0 + d. Suppose o*m = 188 + 132. Are 41 and m non-equal?
True
Let s = -579/296 + 287863/146520. Which is smaller: s or -1?
-1
Let i = 40006/3 + -13336. Is i at most -1040?
False
Let w be (1 + -7)/(18/(-12)). Let m(u) = -20*u + 102. Let f be m(w). Is f bigger than 24?
False
Let b be ((-2)/(-3)*42/(-112))/(39778/16). Which is bigger: b or 0?
0
Let u = -25 - -10.6. Let v = -14.29 - u. Which is bigger: -0.02 or v?
v
Let c = -376 - -20677/55. Suppose 2*o + 55 = -3*k + 56, 0 = -5*k + 5. Which is smaller: c or o?
o
Let t = 12 + -8. Suppose 32 = t*a - 3*a. Let j(x) = -5*x - 4. Let z be j(-7). Is a smaller than z?
False
Let a be 1*(-3 + 0 + 5). Suppose -a*u + 48 = 58. Which is smaller: u or 4/11?
u
Let v = 15954.781 - 15955. Let g = -0.1 - -0.1. Which is smaller: v or g?
v
Let v = -19264.1 - -19264. Which is greater: v or -3072?
v
Let b = 1672 - 1943. Do b and -1 have the same value?
False
Let z = 2/11117 - 333532/122287. Is z at least -2?
False
Let l = 15 - 9. Suppose l*p = 9*p - 12. Suppose 2*n = p*d - 38, 0 = -d - n - 0*n + 11. Is d less than or equal to 10?
True
Let i = -3/37397 + 62714793/299176. Which is bigger: 211 or i?
211
Suppose 2*i 