is bigger: -0.3 or z?
-0.3
Suppose 0 = 5*o + q + 2*q - 24, 0 = -4*o + 4*q. Suppose 0 = 5*g - o*j + 78 + 166, 2*g - 4*j + 106 = 0. Let s = -17 - g. Which is bigger: s or 31?
31
Suppose o - 18 = -21*o + 4*o. Which is smaller: o or 5/269?
5/269
Let c = -3.0462 + 3.1462. Is 1629.5 greater than c?
True
Let k(p) be the first derivative of -2*p**2 - 50*p - 45. Let d be k(-10). Is -35/4 equal to d?
False
Let i = -129379/115 - -1125. Let l = -91/690 + i. Are l and 3.7 non-equal?
True
Let k = -1298.385 + 0.385. Is -1/2 > k?
True
Let g = -535 - -538. Is -2/17 equal to g?
False
Suppose -4*r + 2*j + 10 = -10, 5*j + 14 = 4*r. Suppose -r = 38*s - 40*s. Suppose 8 = -4*o - o + k, -s*k - 6 = 0. Is -3 equal to o?
False
Suppose -6*c + 3*c = -144. Suppose 10*g = -456 - 24. Let f = g + c. Which is bigger: f or -2?
f
Suppose -3*o = -5*o + 2, 3 = 2*j + o. Let n be -30 - j - (3 + -8). Are -27 and n unequal?
True
Let k be (5/(105/18))/(23/322). Suppose 83 = 3*h - f, -k*f + 8*f - 136 = -5*h. Let d(c) = 4*c**2 - 2*c - 1. Let p be d(3). Are p and h equal?
False
Let l be (9/(-2) - -4)*-8. Suppose -13 = 5*g + 4*a, 6 = -4*g + l*a - 5*a. Let t = g - -9/7. Which is bigger: t or -1?
t
Suppose 5*a - 6161 + 2046 = 5*d, -5*d - 4*a = 4160. Which is smaller: d or -826?
d
Let h(i) = -11 - i - 3*i + 27 + i. Let j be h(5). Let m be (j - (-1)/2)*(-70)/(-56). Which is smaller: m or 2?
m
Let l be 62/(-50) + 1/1. Let s = -8707 + 8706. Which is smaller: s or l?
s
Let t = -3543 - -3544. Which is greater: t or -2/553?
t
Let q(f) = f**3 - 8*f**2 - 5*f - 66. Let l be q(9). Let w be (-6 - 18/12)*12/l. Is 48/31 <= w?
True
Suppose -4*g - 8774 = 422. Let s = g + 662111/288. Which is greater: 0 or s?
0
Let x be (-110)/99 + 14260/(-45). Which is smaller: -319 or x?
-319
Let b be (-26565)/(-39) - (-2 + 56/26). Are b and 681 unequal?
False
Let c = 6132 - 6141. Let j = 113/40 - 29/8. Is c < j?
True
Suppose -5*t - 135 = -55. Let g(u) = 4*u**2 + 36*u + 90. Let b be g(-6). Let i be ((-9)/b)/(7/t). Which is smaller: i or 0?
0
Let l = 223 + -223. Let w(k) = 3*k - 8. Suppose 4*g + 32 = 2*q, -5*g - q - 59 = -26. Let r be w(g). Which is smaller: l or r?
r
Let g = -77 + 80. Suppose 12*b = g*b - 18. Let x be -1*((-3)/(-2) + 0). Which is bigger: x or b?
x
Let a = -359 + 355. Is a not equal to 36?
True
Suppose 0 = -3*u - t + 4296, 2*u - 3*t - 5728 = -2*u. Suppose -u = -32*i + 7080. Which is smaller: 265 or i?
265
Let g(h) = 2*h + 21. Let j(a) = -7*a + 0*a + 4*a + 18. Let q be j(10). Let i be g(q). Is i at least as big as 1?
False
Let m = -2647460289/2 - -796882441267/602. Let s = 5159 + m. Which is greater: 1 or s?
1
Let w = -45090 - -405809/9. Is -4/11 <= w?
True
Let q = -0.4 + -0.8. Let i = 149/199 + 1/796. Is q bigger than i?
False
Suppose 2*z - 4 = -u + 4*z, 0 = 2*z. Suppose 0 = u*j + j - 25. Suppose 3*h = 2*k - 7, 0 = -199*k + 204*k + 4*h + 63. Are j and k non-equal?
True
Let j = -278 - -274. Let q be ((-27 - -4) + j)/(-1). Which is greater: q or 25?
q
Suppose 53*x - 30*x + 5147 = 16854. Which is bigger: -0.2 or x?
x
Let y be (-435)/33 + (-7)/(385/(-10)). Is y less than or equal to -14?
False
Let t be (-15)/(-6)*4 + (-1 - 1). Let l be (-510)/t - (-11)/(-44). Suppose -3*g = 3*r + 192, 2*g = -r + 14 - 142. Is l equal to g?
True
Let x be 2*3/(-30) + 28/(-10). Let q be (-2 + 1 - x)*(-21)/301. Suppose g + 11 = 6*g + 2*k, 0 = -5*g - 3*k + 14. Which is smaller: g or q?
q
Let m(t) = 3*t**3 - 6*t**2 - 46*t - 14. Let v be m(6). Which is greater: v or 164?
164
Suppose -3*j = -4*j, -2*k + 3*j = -148. Let f = k + -72. Let g be 1/((-1*8)/f). Is -2 at least as big as g?
False
Suppose -488*f = -497*f - 5841. Is -649 < f?
False
Suppose 0 = -2*j - 0*j - 184. Let p = 68159/3 - 22812. Which is smaller: p or j?
p
Suppose 6*l = 5*l + 1, 3*l = v + 2. Let i = -1 + -4. Let u be (2/(-5))/((-61)/i). Which is smaller: v or u?
u
Let j = 174 - 195. Let f(t) = t**2 + 5*t - 11. Let z be f(-6). Let h = z - -33/7. Which is smaller: j or h?
j
Let x(j) = 2*j + 2. Let r be x(-1). Let l be ((-350)/220 - -1)/((-2)/(-4)). Are l and r equal?
False
Suppose u + 2*x - 3310 - 2556 = 0, 23464 = 4*u + 5*x. Are 5866 and u equal?
True
Suppose 0 = 3*a - 5*o + 125, -17*a + 5*o = -12*a + 215. Let b(w) = 18*w + 11. Let y be b(-3). Which is greater: y or a?
y
Let o = 46.5 - 0.5. Suppose -3*l - 4*t = -2*t + 6, -4*l - t - 8 = 0. Which is smaller: l or o?
l
Let x = -21/191 - -14962/127397. Is x equal to -1?
False
Let b(w) = -w**3 + 5*w**2 - 3*w - 3. Let m be b(4). Let l = 794 + -486. Let n be (-130)/l - (3 - 23/7). Which is smaller: n or m?
n
Suppose -4*h = 5*m - 29, -25 - 5 = -5*h - 5*m. Which is smaller: -3/5080 or h?
-3/5080
Let f be (-14)/4*2*(-301)/98*4. Is -1 greater than or equal to f?
False
Suppose -2*s - 8*s = s. Let m be (46 - 44) + (s - 0 - 3). Are -2/475 and m equal?
False
Let w be ((-2)/(-4))/(3/30). Suppose 287 = -w*a - 113. Let i = 30 + a. Is i < -50?
False
Let h = 2.4 - 0.4. Let k = 3819.8 + -3686.8. Does k = h?
False
Let r(x) = -31*x**3 - x**2 - 4*x - 5. Let z be r(-2). Let u be z/115 + (-6)/(-30). Which is greater: 2 or u?
u
Let r = -361 + 835. Suppose -k + 113 = -5*d + r, 4*k = -4. Let m = 1949 - 1877. Do d and m have different values?
False
Suppose 0 = 3*f - 6*f - 162. Let b = -147 - -92. Let p = f - b. Which is smaller: p or 20/13?
p
Let f(a) = -5*a**2 + a - 7. Let u be f(-9). Let l = 434 + u. Which is smaller: l or 18?
l
Let p = 1957 - 2147. Are p and -210 unequal?
True
Let y = -10142.2 + 3198.2. Do y and 2 have the same value?
False
Let u = -99.43 + 67.43. Suppose 0 = -4*m + 6*m. Suppose -3*d + m*d = 0. Are u and d non-equal?
True
Let j(o) = -o**2 + 29*o - 72. Let a be j(15). Let y = 66 - -72. Is a less than y?
False
Let q(t) = t**3 + 2*t**2 - 2*t - 5. Let u be q(-2). Let n be 188/(-1102) - 24/228. Which is greater: n or u?
n
Suppose 4*r = 3*y - 19, -278*y + 273*y = 4*r + 11. Is y not equal to 131/64?
True
Let d(y) = 3*y**3 + 2*y**2 + 4*y - 5. Let k be d(-3). Let n be (784/k)/(1/5). Is n bigger than -148/3?
True
Suppose -4*q - 5*o = 19, 13 = 3*q - q - 5*o. Let v be (-1 - (-2)/6)*72/39. Do q and v have the same value?
False
Let h be (-13)/4 + (-288489)/(-4884). Which is smaller: 55 or h?
55
Let i = -13864 - -13849.8. Is -0.02 at least i?
True
Suppose 2639 = 11*q + 3992. Which is smaller: q or -1618/13?
-1618/13
Let p be -2*(-200)/(-552280)*(-3)/(-15). Which is greater: -1 or p?
p
Let v(c) = -3*c**3 - 92*c**2 - 53*c + 148. Let j be v(-30). Which is bigger: j or -121?
j
Let i = 6 + -14. Let f be (-132)/i - (-3 - -2). Let s = f + -18. Which is smaller: s or -5?
-5
Let b = 7.731 - 7.531. Is 1640 <= b?
False
Suppose -2*q - 35 = -33, -5*q = -2*b + 9. Suppose -5*n + 10*n - 20 = 0. Suppose 0*h - n*h - 20 = 0. Which is bigger: b or h?
b
Let r be (-11940)/(-66) - -2 - -7*30/(-35). Is 176 less than r?
True
Let z = -143 - -136. Suppose 41*l + 360 - 73 = 0. Do l and z have different values?
False
Suppose 2*o + c = -4*c + 31, -3*o + 55 = -c. Let a be (-3)/o - -926*(-2)/(-24). Suppose 5*q + 23 + 21 = 2*i, a = 5*i + 4*q. Which is smaller: 19 or i?
i
Let q = 863975/186 + -4645. Is q at least as big as 1?
False
Suppose 5*q + 48*q = -18*q - 2130. Which is greater: -2 or q?
-2
Let l be (-3)/8 - -45*(-2)/528. Which is smaller: l or -62?
-62
Let o = -100524 + 100189.017. Let q = 335 + o. Which is smaller: 1 or q?
q
Let h = -134 + 214. Suppose -5*k + 10 + h = 0. Which is smaller: 19 or k?
k
Let a(f) = 72*f + 721. Let h be a(-8). Which is greater: 6 or h?
h
Suppose 0 = -4*u + 12 + 12. Let k(t) = -68*t - 63. Let s be k(4). Let r = 340 + s. Which is smaller: r or u?
r
Let i = 35108 - 34914. Which is smaller: 4/19 or i?
4/19
Let u(m) = -9*m**2 + 4*m + 1. Suppose 6 = 22*r + 28. Let k be u(r). Do 4 and k have different values?
True
Let j = -10 - 6. Let k = 15.665 + 2.335. Let u = k + j. Is 1 at most u?
True
Suppose -300 = 17*i - 7*i. Let k = 40 + i. Suppose -30 = 5*j - k. Which is smaller: j or -1?
j
Let j = 27 - 0. Let f(a) = -2*a**3 - 110*a**2 + 99*a + 22. Let p be f(-56). Suppose 34*c - 134 = p. Is c at least j?
False
Let j(c) = c + 20. Let d be j(-24). Let r be (46/d - -5) + 5. Which is smaller: r or 0.28?
r
Let t = -458/3 - -2654/21. Suppose v = 5*g - 40, 0 = 5*v + 164*g - 160*g + 113. Which is greater: t or v?
v
Let p = 1.19 - 1.9. Let b = p + 0.91. Is 27 smalle