2*m. Let d be (-3292)/1230 + 3 + m/3. Is d at least as big as -1?
True
Let w(o) = 3*o - 1. Let p be w(-1). Let i be 4/10 + (-46)/15. Is i at most p?
False
Let k be (3/(-154))/((-4653)/2322 - -2) + -5. Let x(i) = i**3 + 3*i**2 + 3*i + 1. Let u be x(-2). Which is smaller: k or u?
u
Suppose -6*g + 6608 = g. Suppose o + 176 = 3*l, -4*o - o = l + g. Let z be o/(-16) + (-5)/(-20). Is 13 > z?
True
Suppose 33*c - 27*c = 210. Suppose 4*z = 11*z + c. Do -5 and z have the same value?
True
Suppose 4*o - 2*b = 4, -5*o - 2*b + 7*b = -10. Which is smaller: o or 17/23?
o
Suppose 45*c = 41*c - 12. Is c at least 0?
False
Let q = -12417 + 12404. Suppose 0*t = 4*t - 4. Are t and q equal?
False
Suppose -r + 0 = -2*u - 15, 4*r = u - 3. Let i = -2 + 1.9. Are u and i unequal?
True
Let g = -10 + 15. Suppose 19 = -7*d + g. Are -5 and d equal?
False
Suppose 0*n = 4*n + 4. Let w = n - -1. Suppose w = -2*j - 0*j. Which is greater: -2/3 or j?
j
Let p(g) be the second derivative of -2*g**4 - g**2 - 14*g. Let z be p(-1). Do -26 and z have the same value?
True
Suppose 3*a - 2*a = 2. Let f(o) = 6 - o**2 + 2*o**a - 2*o - 2*o**2. Let c be f(-5). Which is bigger: -8 or c?
-8
Let u = 223/5460 + -1/195. Is u smaller than 0?
False
Let i be (-1)/(-6)*1 + (-492)/2520. Which is bigger: 0.3 or i?
0.3
Let i(y) = y**3 + 7*y**2 - 2*y + 7. Suppose l + j - 18 = 4*l, 5*l - 2*j + 30 = 0. Let o be i(l). Suppose -o = -3*n + 8*n. Is -12 greater than n?
False
Let h = 6 + -8. Let j be ((-30)/8)/((-42)/(-224)). Let a be ((-12)/j)/(3/(-45)). Is a at most as big as h?
True
Suppose 0 = 6*k - 5*k - 1. Is k > -10/113?
True
Let f be ((-2)/(-3))/((-2)/(-144)). Let z be -67*(-11)/(1606/f). Let w = -22 + z. Which is greater: 1 or w?
1
Let u(f) = -2*f**2 + f + 4. Let o be u(-5). Let t = o - -51. Are t and -2/13 unequal?
True
Suppose -19*h - 303 = -16*h. Is -102 smaller than h?
True
Suppose -37 = -3*r + 17. Suppose -4*v = 2*k - 20, 5*v - r = 2*k - 4*k. Suppose -8*o = k + 2. Which is smaller: 1 or o?
o
Let v = 130.4814 - -0.1186. Let d = 131 - v. Which is greater: d or 2?
2
Let w be 2/(2 + (-24)/14). Suppose -d - 3 + w = 0. Suppose -2*a - m = -8, -d*a + 9*m = 4*m - 16. Which is smaller: 2 or a?
2
Let i(y) = y**3 + 5*y**2 + 8*y + 13. Suppose 4*j + 71 - 51 = 0. Let z be i(j). Is z bigger than -27?
False
Let a(v) = -v - 1. Let y be a(-10). Let o be (-17)/(-2) + (-1)/2. Let r = o + 1. Is y at least r?
True
Let p = -4 + 10. Suppose 3*k = 6*k - p. Suppose -k*a + 2*c = -8, -3*a + 0*c = c - 4. Which is smaller: 1 or a?
1
Suppose 25*s + 924 = -8*s. Which is greater: s or -29?
s
Let j = -1812733/21267 - -1449/17. Is j less than or equal to 1?
True
Let j = 0.08 + 26.92. Let z = 27.2 - j. Is z < 2/29?
False
Suppose 4*w + 2 = -30. Let i = 10 + w. Let l = -3 + i. Is 0 bigger than l?
True
Suppose t = 3*w - 88, 2*t - w = w - 164. Is t > -79?
False
Let l = 6 + -5.4. Let c = 41362/5 - 8365. Let o = c - -93. Which is bigger: l or o?
l
Let o(k) = -k**2 + k + 1. Let i be o(-3). Let l = i + 2. Let y = l - -2. Is -8 greater than y?
False
Let p be ((-29)/4 - -5)/((-3)/212). Which is smaller: 157 or p?
157
Let j = -523 - -523. Let n(i) = i**2 + 5*i + 6. Let w be n(-5). Let z be (1/w)/(2/14). Is z > j?
True
Let n = -6.01 - -5.8. Let l = n + 0.23. Is l at least -2/9?
True
Let f = 345 - -401. Is f smaller than 744?
False
Let w be (-1232)/(-44)*(-1)/((-77)/6). Let d(v) = -v**2 + 6*v + 10. Let q be d(7). Which is smaller: q or w?
w
Suppose 0*l - 5*q - 25 = l, -2*l = 2*q + 10. Suppose 9*i - 4 - 5 = l. Is i less than 73?
True
Let t be 3/((-30)/(-58)) + 9/45. Let k(p) = -p**2 + 2*p + 25. Let y be k(t). Which is greater: 2/145 or y?
y
Let j(w) = w + 21. Let n be j(-7). Let l = -17 + n. Which is greater: -20/7 or l?
-20/7
Let w = 1007 + -1008. Which is bigger: w or 19?
19
Suppose -24 = 3*j - 12. Which is smaller: -52/11 or j?
-52/11
Let z = 529 + -113. Let m be ((-78)/z)/(2/(-8)). Is 1 greater than or equal to m?
True
Let c = -2.8 - -8.8. Is c bigger than -9?
True
Let z = 1.6 - 1.44. Let v = 0.06 - z. Let o = 4 + -4.06. Which is smaller: o or v?
v
Let z(u) be the first derivative of -u**4/4 + 5*u**3/3 + 4*u**2 - 6*u + 1. Let r = -23 - -29. Let c be z(r). Is c smaller than 7?
True
Let g be (2/(-16))/(2546/(-1072)). Is 0.8 at least g?
True
Let z = 186 + -186. Which is bigger: -3/146 or z?
z
Suppose 7*z - 33 = -2133. Let i = z + 10502/35. Which is smaller: i or 0?
0
Let h be ((-20)/(-12))/((-70)/(-1848)). Is h bigger than 21?
True
Let o = -213/434 + -2/217. Let a be (1 - -1) + (-104)/(-12). Is o at most a?
True
Let g(u) = -u**2 + 8*u + 8. Let w(m) = -2*m**2 + 9*m + 7. Let x(a) = -3*g(a) + 2*w(a). Let d be x(-5). Is -7 less than d?
True
Suppose -18*i = -11*i + 98. Which is smaller: i or -17?
-17
Let h = 0.4 - 0.3. Let v(g) = 5*g - 45. Let s be v(9). Let j be 1 + -1 - (s - (-12)/14). Is j at most as big as h?
True
Let w(p) = p**3 - p**2 + 1. Let m(z) = 6*z**3 - 5*z**2 + 6*z - 1. Let i(s) = -m(s) + 5*w(s). Let b be i(-9). Let a = b - 29191/37. Which is greater: a or 0?
a
Let s = 132 - 133. Let a = 1229/459 - 43/17. Which is smaller: s or a?
s
Suppose 4*j + 2 = 2*u, 6*u = 3*j + 2*u - 6. Suppose 5*q + 27 = q - 3*w, -2*q - 3*w - 15 = 0. Let c = j - q. Is c >= 3?
True
Let u(r) = -r**3 - 7*r**2 + 2*r + 16. Let b be u(-7). Suppose 0 = 4*c - 148 + 4. Suppose b*g = -2*g + c. Are 9 and g equal?
True
Let o = 24 + 44. Let i = 2245/33 - o. Let u = i - -59/231. Which is greater: 0 or u?
u
Suppose 28 = 5*y + 4*f - 8*f, y = -5*f + 23. Let v be y + ((-2)/13 - 50/13). Is 21/8 less than or equal to v?
True
Let a = 178 + -711/4. Is 8 less than a?
False
Let h be (-3 + 2 + 4)/(3/(-20)). Let a = 138/7 + h. Let y = 1 - 2. Does a = y?
False
Let z = -27 + 31.4. Let o = z - 4.64. Is -1 < o?
True
Let r = 268987/2488728 - -1/2571. Let u = -4/113 - -258/13673. Let x = r - u. Which is smaller: x or 1?
x
Let b(d) = -4*d**2 - 88*d + 6. Let w be b(-20). Are w and 166 equal?
True
Let t(u) = u**2 + 13*u + 24. Let b be t(-22). Are 223 and b non-equal?
True
Let g = -130 - -129. Let f be 3 - 3/(42/94). Which is bigger: f or g?
g
Suppose -4*i + 8 = -4. Suppose 8 = 2*p, -5*a - p + i*p + 152 = 0. Which is smaller: 33 or a?
a
Let g = 3959/5096 + -3/392. Do g and 1 have the same value?
False
Let z = -3139/4 + 248037/316. Is z bigger than -1?
True
Let w(d) = 88*d + 742. Let x be w(0). Is x less than 741?
False
Let i = -53.33 + 53. Let t = i - -2.33. Which is bigger: -6 or t?
t
Suppose 34*d + 37*d = 67*d. Let f = -313 + 1883/6. Which is greater: d or f?
f
Let f = 87 - 87. Is f at most as big as 0?
True
Suppose 0*a = -3*w + 5*a + 17, -3*w = -3*a - 15. Let x be (10/(-4) + 2)*w/2. Let f = 419/7 - 60. Does f = x?
False
Suppose 7*z = 8*z - 4. Suppose -3*a - z*t + t = 6, -2*t = -a + 7. Let n = 2/109 + -115/327. Which is greater: n or a?
a
Suppose 0 = v - 5*v. Let n = v - 1. Let s = 230/9 - 227/9. Is s not equal to n?
True
Suppose 4*j = -2*y - 210, 28*y - 4*j = 19*y - 967. Let p = -30 - -59/2. Which is bigger: y or p?
p
Let f = 162 + -161.6. Which is smaller: -9/2 or f?
-9/2
Let q = -11656/17 + 684. Let p = -2/84001 - 13692027/5712068. Let y = q - p. Which is smaller: 0 or y?
0
Let k = 349.185 - 349. Is -0.1 equal to k?
False
Suppose -4277 + 4201 = 4*x. Is x greater than or equal to -23?
True
Suppose -6*k + 4*k + n = -440, n = 0. Is k less than 0.1?
False
Let l = -4/213 - -235/8733. Suppose -2*c + r - 2 + 0 = 0, -4 = 4*c + r. Is l < c?
False
Let j be ((-10)/12)/((-120)/(-360)). Which is bigger: j or 96?
96
Let g be ((-3)/6)/((-2)/(-12)) - 1. Let l be 16/(-3)*(-6)/g. Are l and -7 equal?
False
Let f = 19 - 28. Let h = 54 - 51. Let s = h + f. Is 1 greater than or equal to s?
True
Suppose 0 = 9*m + 349 + 245. Which is smaller: -395/6 or m?
m
Let h = 1.1 - -0.9. Let w = -16.05 + 16. Which is bigger: w or h?
h
Suppose -9*f = -21*f - 708. Does -62 = f?
False
Let q = 2 + 3. Let l = q + -2. Suppose 3*o + 9 = 0, 2*n = -l*n + 5*o + 20. Which is greater: n or 2/7?
n
Let r = -31/40 + 7/40. Is -21/8 < r?
True
Let r = -21865/37 - -591. Is r bigger than -1?
True
Let w be (-7)/(280/(-936))*-1. Is -22 greater than or equal to w?
True
Let w be 4/8 - (162/76 - 1). Does -1 = w?
False
Let p be (-2)/(-5) - (-128)/(-20). Let l be 14/46 - (-6 - p). Let d = l + 71/69. Do 0 and d have the same value?
False
Suppose 0 = 4*y -