igger than q?
True
Let s(b) = -4*b**2 - 55*b + 74. Let w be s(-15). Which is greater: w or -1/547?
-1/547
Let d(k) = -k**3 + 21*k**2 - 2*k - 17. Let r be d(20). Let t be ((-1)/(-3) + r/(-903))*1. Is 1 greater than t?
True
Let w be 3/(-2)*1*(-4)/2. Suppose w*x + 9 = y, -5*y - 3 = x - 0. Are -7/6 and y equal?
False
Let o(g) = -14*g**2 + 4*g - 6. Let b be o(4). Which is smaller: -213 or b?
b
Let u = 11 - 1. Let a = -7 + 0. Let z = u + a. Which is smaller: 0 or z?
0
Let b = -11116 - -733675/66. Let q = -875/3498 + b. Does -1 = q?
False
Let j(p) be the second derivative of -p**3/2 - 24*p**2 + 15*p. Let i be j(-15). Is i smaller than -4?
False
Suppose 0 = 3*p - x + 1891, -4*p + 6*x - 2513 = 3*x. Let l be p/(-24) + 5/(15/2). Is 26 smaller than l?
True
Let m = 113 - 112.99. Let j be ((-2)/10)/((-12)/20). Is j greater than m?
True
Suppose 2*m - 6 = 4*b, 0 = 3*m + 2*b + 4 + 3. Let j be (0 - 1)*11/m. Suppose -j*i + 1 = -10*i. Which is smaller: -3/14 or i?
-3/14
Suppose -2*v = t - 17, 3*t - t + 5*v - 34 = 0. Let i be 91/5 + 4/(-20). Do i and t have different values?
True
Let v(f) be the first derivative of f**4/4 - 5*f**3 + 7*f**2 + 5*f + 4. Let h be v(14). Which is greater: h or 7?
7
Suppose -4*g + 16 = 2*i, -3*i - 15 - 1 = -4*g. Let x(l) = l**3 - 7*l**2 + 11*l - 5. Let r be x(g). Is r <= -12?
False
Let s = 1.48 + -1.5. Let h = -4 + 3.88. Let c = s - h. Which is smaller: c or 2/9?
c
Let m(x) = -x. Let s be m(-2). Suppose -s*b - 9 = -7. Is 2/29 <= b?
False
Let j = -15.677 - -15.8. Is -0.1 at least as big as j?
False
Let s = 380 - 380. Is 0.42 less than s?
False
Let b = 128 + -78. Suppose -b = -4*p - p. Suppose -7*s + 9 = -p*s. Which is smaller: s or -1?
s
Let y = 386 - 541. Which is smaller: -156 or y?
-156
Suppose 65*k + 203 = 58*k. Which is smaller: -32 or k?
-32
Suppose -5*y + 30 = y. Suppose -2*q - y*q = 105. Is -14 at least as big as q?
True
Let p = 1.044 - 0.144. Let s = -2 - -1.3. Let v = s + p. Which is bigger: v or -0.6?
v
Let y(k) = 1. Let j(a) = 2*a - 10. Let n be ((-24)/(-20))/(1/(-5)). Let q(g) = n*y(g) - j(g). Let o be q(3). Are o and -3 unequal?
True
Let g be (6/7)/((-19)/13832). Is g greater than -624?
False
Let t = 136 - 137. Is -2/39 smaller than t?
False
Suppose -1 - 31 = 4*m. Let b be 6*(3 + 26/m). Is b <= 2/25?
True
Let c = 0.06 - 0.033. Let n = c - -0.973. Which is smaller: n or 4/9?
4/9
Let p be 0/(-3) - (3 - (-538)/(-174)). Is -1 not equal to p?
True
Let u = 2110 + -2376. Is u less than or equal to -268?
False
Let l be 1*(1 - (2 + 0)). Let w be 4005/35*-1 - 3. Let h = w - -117. Which is bigger: h or l?
h
Let o = 6 + -5. Suppose -i - o = 4, 3*i = -5*r - 20. Which is smaller: -5 or r?
-5
Let r(l) = -8*l**2 - 18*l - 55. Let g be r(-6). Is -235 greater than or equal to g?
True
Suppose -4 = 4*q, 5*o + 214 = -2*q - 2*q. Let b be 8/12 - (-25)/o. Suppose 5*f = -2*x - 25, 15 = 3*x - 2*f - f. Is b not equal to x?
True
Let n be 2 - 1 - -6*20/330. Which is bigger: n or 0?
n
Let m(f) = f**3 - 6*f**2 + 16*f - 12. Let x be m(6). Is 84 at most x?
True
Suppose -n - 446 = 5*w - 4*n, -282 = 3*w + 3*n. Let t be 18*(1*3 - w/(-26)). Which is smaller: t or -4?
t
Let j(h) = h**2 - 17*h + 30. Let w be j(16). Let p = w - 15. Suppose 2*v + v - 3 = 0. Which is smaller: v or p?
p
Let j = -622 + 1111. Is -2/13 <= j?
True
Suppose 1 - 3 = 2*v. Suppose -3*s + 12 = -2*q - 16, 3*q = -3*s + 33. Let d be (24/s)/(14/(-10)). Which is smaller: v or d?
d
Let z be 3*4/3 - -16. Suppose -2*f = 5*l + z, 5*l - 4 = 2*l + 2*f. Is 0 not equal to l?
True
Suppose 2*n - 38*p = -37*p - 22, -55 = 5*n - 2*p. Is -11 <= n?
True
Suppose -10*n = -3*n - 56. Suppose -4*k - 4*m = -12, 2*k - n*m + 18 = -4*m. Are k and -2 nonequal?
True
Let c = 10.647 + -10.847. Let m = 3 - 5. Let g be -1*(m - 14/(-9)). Are c and g equal?
False
Suppose 0*w - 9 = q + w, 0 = 4*q - 5*w + 27. Let b = -8 - -8.2. Is b != q?
True
Let m = -138 + 140. Which is smaller: -25 or m?
-25
Let v(j) = -j**2 + 4*j. Let d be v(4). Let q(t) = -t + 14. Let b be q(d). Is -0.1 > b?
False
Let m(o) = o**2 + 2*o - 5. Let a be m(2). Let u be a + (-55)/(-45) + -4. Suppose -5*x = 3*n - 6*x - 3, 15 = 3*n - 5*x. Which is bigger: u or n?
u
Suppose 12 = 4*b, -12*b + 51 = 2*l - 7*b. Let m be (0 + (-2)/4)*-214. Suppose -5*c + 5 = f + 1, -4*c - m = -5*f. Are f and l non-equal?
True
Let q = -0.06 - 0.27. Let b = q + -0.67. Is -1 at least as big as b?
True
Suppose -11469 = -66*y + 1665. Which is greater: y or 197?
y
Suppose -5*m + 11 + 44 = -5*r, -26 = -m - 4*r. Do 122/9 and m have the same value?
False
Let t be (-252)/(-4) + -4 + 9. Is t bigger than 70?
False
Let d = 8 + 2. Let z = 1 + d. Let r = 14 - z. Are -0.6 and r unequal?
True
Let w be (-2)/((-5)/(-2) - 3). Suppose 5*x + 112 = -4*s, 5*x = 2*x + w*s - 48. Let t = x + 38. Which is bigger: 19 or t?
19
Let s = -5.3 - 0.7. Which is smaller: -3/20 or s?
s
Suppose -2*q - f = -9 - 3, 2*q - 18 = 2*f. Suppose 0 = 2*d - q*d - 25. Which is smaller: -2 or d?
d
Suppose -111 = -14*j + 29. Let d be 4/(-6)*-4*3. Is j bigger than d?
True
Let r be (-220)/(-8)*6/5. Let v = -184 + 218. Is v at most r?
False
Let l(r) = 25*r**2 + 71*r - 201. Let y be l(3). Which is smaller: y or 709/3?
709/3
Let g = 1736 - 112841/65. Let f be (-3)/2*(-6)/(-9). Is g less than or equal to f?
False
Let w be 0*2/(-6)*1. Which is greater: w or 2/45?
2/45
Let u(a) = 4*a**2 - 3*a - 2. Let m(y) = -3*y**2 + 2*y + 1. Let j be (-5)/((-10)/4)*1. Let s(k) = j*u(k) + 3*m(k). Let b be s(-1). Is b > -2?
False
Let g be 17*1/(0 + 3 + -4). Does g = -17?
True
Let y = 1405 - 1267. Which is greater: y or 1?
y
Suppose -1382 = 24*h + 58. Which is smaller: -57 or h?
h
Let o = -3 + 92. Let f = 89 - o. Which is greater: f or -13?
f
Suppose h + 1 = 0, 0 = -c + 2*h + 10 - 3. Suppose 3*x + 0 - 9 = -3*j, -x = -c*j + 3. Is j bigger than -1/9?
True
Suppose -5*v = -25, 2*v - 20 = -5*m + 15. Let c be (-3)/15 + 1/m. Let r = 256 + -1788/7. Is c greater than r?
False
Let t = 13.3 - 14.7. Suppose -3*d + 3 = -3*p - 0, -3*p = -4*d + 5. Is t greater than p?
False
Let d = -432 + 488. Which is smaller: 55 or d?
55
Let v be ((-172)/14)/(5 - (-4 - -10)). Which is smaller: 11 or v?
11
Let d be (((-21)/9)/1)/(6/2). Is d less than -1?
False
Let x(d) = 18*d**2. Let l be x(2). Let m = l - 121. Is m less than -48?
True
Let t = -12825/11 + 1167. Is t greater than 50?
False
Let j = -47 + 45.7. Which is bigger: j or -0.9?
-0.9
Let r be 70/22 + 2/(-11). Let o be (9 - r)*14/(-6). Is o equal to -14?
True
Let z(h) = h**3 + 4*h**2 - 8*h - 12. Let k be z(-7). Is k != -101?
True
Suppose -3*w - 115 = -5*q + 132, -5*q + 5*w = -255. Which is smaller: 45 or q?
45
Suppose t = 5*u + 4 + 4, -5*u - 68 = 4*t. Let g be 1/(171/(-35)) - t/54. Which is smaller: g or -1?
-1
Suppose -3*i - 3*k = -15, -2*i + 4*k + 0 = 20. Let g be (6/4)/1*(-40)/(-15). Are g and i equal?
False
Let a = -775 - -1151. Suppose 3*t - 5*m = -0*t + 238, -a = -5*t - 2*m. Is t less than 78?
True
Let f(t) = -t**3 - 10*t**2 - 23*t + 11. Let x be f(-5). Suppose -2*u + 46 = -2*q, 2*u = -q + 14 + 17. Let d be ((-7)/(-42))/(8/u). Which is smaller: d or x?
d
Suppose 3344*g + 8 = 3342*g. Is g not equal to 56?
True
Suppose 2*l + t - 81 = -0*t, 5*t - 25 = 0. Let c = -40 - -78. Are c and l unequal?
False
Suppose 3*b + 2*q - 49 = q, 2*b = -2*q + 34. Are b and 21 non-equal?
True
Suppose 0 = 3*b - 5*b - 24. Let f be -3 + b/(-3) + -2. Is -3 < f?
True
Let a(g) = g**2 - 2*g + 2. Let b be a(2). Suppose -b*h + 1 - 3 = 0. Let p be 1 - (h - -3 - 0). Which is smaller: -2 or p?
-2
Let w(c) = -8*c + 339. Let o be w(43). Is o != -22/5?
True
Suppose -1152 + 258 = 3*q. Let m = 1205/4 + q. Which is greater: m or 2?
m
Let m be -4*2 - (1 + -1). Let j be (-58)/12 - 28/24*3. Which is smaller: m or j?
j
Let k = 0 - 1. Let q be (-18*1)/(k - -2). Suppose 3*g = 2*f + 28, 0*f + 5*g + 95 = -5*f. Are f and q unequal?
True
Let k = 148.93 + -149. Which is bigger: 0.11 or k?
0.11
Let o = -1818 - -1817. Which is smaller: 1/67 or o?
o
Let a be -1*2/1 - 16/16. Let z be (a + 6)*(-5)/(15/(-8)). Which is greater: 12 or z?
12
Let o = 1813 - 2240. Are 2 and o non-equal?
True
Let h = -7 + 11. Let u be 16/(-6) + h/6. Let x be (-276)/(-48) - u/8. Which is smaller: 0 or x?
0
Let y be (0 - (-60)/(-122))*(-12)/(-30). Let k = y - 257/244. Suppose 0 = 2*j + 4. Which is greater: j or k?