 the same value?
False
Let t(i) = -i**2 + 3*i + 3. Let q be t(2). Suppose 2*j + 4*a = 26 - 2, 15 = -q*j + 5*a. Which is smaller: j or 4?
j
Let t = -12 + 8. Let f be t/(-3 + -5)*0. Which is bigger: 9/8 or f?
9/8
Suppose 0 = 10*r - 17*r + 399. Which is smaller: 58 or r?
r
Let o(c) be the second derivative of c**3/3 - 37*c**2/2 - 30*c. Let u be o(-9). Do -55 and u have different values?
False
Let y be 20/11 + 2/33*3. Suppose 5*z = -4*g + 46, y*g - g = -2*z + 13. Is 7 smaller than g?
True
Let h(j) = 31*j**2 + 12*j + 28. Let o be h(-2). Is o smaller than 126?
False
Let j = 0.336 + -3.936. Which is smaller: -1/2 or j?
j
Let a = 18.1 + -34.9. Let o = a - -17. Let t be (6/18)/(2/9). Do o and t have different values?
True
Let b be (21/(-3) - 0) + 182. Is 175 at most b?
True
Let h = 32/1553 + 922322/7765. Are h and 119 equal?
False
Let r be 35/100 + (-2)/(-5). Let l = 35.074 - 0.074. Let o = l - 35.1. Which is bigger: r or o?
r
Let b(r) = -34*r + 741. Let s be b(24). Let i(j) = -2*j**3 + 2*j**2 + 6*j - 2. Let y be i(4). Which is smaller: s or y?
s
Let b be 45 - -1 - 2*(0 - 1). Let t = 48 - b. Which is bigger: -6/5 or t?
t
Let z(g) = -g**2 + 9*g - 10. Let w be z(7). Suppose k + 3*i - 17 = 3*k, -1 = w*k + 5*i. Let l = -9 + 6. Which is bigger: l or k?
l
Let v = 2 - -2. Let a be (-1)/7*-14*v/(-48). Let t = 0.3 - 0.1. Are t and a unequal?
True
Let w = 117 - 71. Let y = w - 57. Which is smaller: y or -10?
y
Let p be 10*((-4)/18 - 104/585). Let q be (6/4)/((-6)/p). Which is smaller: 9/7 or q?
q
Suppose -c = 5, 5*t + 5*c - 309 = 101. Let l = -79 + t. Is 8 != l?
False
Let d(l) = 45*l - 335. Let r be d(8). Which is bigger: r or 30?
30
Let z = -1227 + 1136. Which is smaller: -88 or z?
z
Let c(z) = z**2 - 15*z + 21. Let s be c(15). Is s bigger than 20?
True
Let s = 42 + -21. Let p = -21.291 + 0.391. Let t = s + p. Which is greater: t or 5?
5
Let m = -611011/1233 - -684/137. Let l = m - -490. Suppose -4*w + 15 = h, -h = -5*h + 5*w - 24. Is h equal to l?
False
Let x(s) = -s**3 - 28*s**2 - 14. Let g be x(-28). Which is smaller: g or -19?
-19
Let s(i) = -i - 2. Let q be s(-2). Suppose 0*c = 2*c + 4*f, q = -3*c + 4*f. Let x be 4/14*36/24. Which is smaller: c or x?
c
Let t = 1009/2 - 505. Suppose 3*u = 2*u. Suppose u*i = -5*i. Which is greater: i or t?
i
Suppose -5*m - 92 + 117 = 0. Let t be (-13)/(-66) - m/10. Which is smaller: -1 or t?
-1
Let o = 1008.63 - 1016. Is o != -1?
True
Let f = 75736759813/60 - 1262208535. Let k = f - 70797. Let m = k - 5/12. Which is smaller: m or -3?
-3
Suppose 0 = 6*p + 2752 - 1030. Which is smaller: -285 or p?
p
Let t be (-1)/(-4) - (889/4)/(-7). Suppose 0 = -3*v + 6, 2*y + t = y - 3*v. Is -39 equal to y?
False
Let h be ((-6)/(-15))/((-456)/1800). Which is smaller: h or 0?
h
Let u be (-4)/(-5) - (-8)/40. Is u != 4?
True
Suppose 0*x - 4*x = 2*j + 14, -4*x - 7 = -5*j. Let k(b) be the first derivative of b**4/4 + 5*b**3/3 + b**2 - 3*b - 15. Let g be k(x). Is 9 <= g?
True
Let n = -0.1684 + 0.4584. Which is smaller: 1/5 or n?
1/5
Let y = -74 - -73.8. Let d = -12.79 + -0.21. Let o = d - -11. Which is smaller: o or y?
o
Let f(s) = s**2 - 19*s + 39. Let v be f(17). Suppose -7*a = -6*a - v. Which is greater: a or 54/13?
a
Let q = 722299/128 + -5643. Which is greater: 1 or q?
1
Let i = 120 - 112. Suppose 3*u = 3*q + 18, 0 = -0*u - u + 4*q + 12. Which is smaller: i or u?
u
Let p = 1436 - 1423.02. Let w = 18 + -5. Let j = p - w. Which is smaller: j or 0?
j
Let i = -110.9 + 111. Which is greater: 200 or i?
200
Let h = 242 + -243.6. Is h != 3?
True
Suppose 3*o + 67 = -3*z - z, -3*z - 19 = -4*o. Let w(c) = c**3 + 14*c**2 + 13*c + 1. Let s be w(z). Let k be ((-20)/(-8))/(s/(-2)). Is k at least -5?
True
Let m = -44.994 - -45. Let y = -4.006 + m. Which is greater: -7 or y?
y
Let d be 3/6*(-9 + 9). Which is smaller: 2/137 or d?
d
Let n be 2 + (-72)/29 + 0. Is -1 <= n?
True
Let y = -4097/15 - -273. Is 12 at least y?
True
Suppose -j - 15 = 4*j. Let y be (j - 1)*(0 - -1). Let l be (-42)/140*10/y. Is 0 <= l?
True
Let y = -12 + 52. Let z = 12 + y. Are z and 52 equal?
True
Suppose 0 = 4*f + 8, -10*l + 8*l = -f - 10. Suppose -4*m + 4*p = -12, -l*m - 2 = -p + 1. Which is greater: m or 0?
0
Let i = 277 + -818/3. Suppose 8*y + 11 = 4*o + 3*y, y - 1 = 0. Which is smaller: o or i?
o
Let m = -31 - 151. Which is bigger: m or -183?
m
Let u = 202361 + -1412477/7. Let q = u + -580. Let j = 2 - 2. Which is smaller: q or j?
q
Let g = 98 + 330. Is g at most 2/3?
False
Suppose 5*l + 63 = 273. Let r be 0 - ((-9)/l - 0). Let v = 1 - 1. Which is smaller: r or v?
v
Let z(c) = -123 + c - 143 + 279. Let w be z(-13). Which is smaller: w or 1/236?
w
Let m = 87 - 38. Let i = -48.2 + m. Is i at most 0.4?
False
Let u = -44.386 + -0.614. Which is greater: u or 0.1?
0.1
Let u = 26.047 + -0.047. Let w = 620 + -619. Which is smaller: u or w?
w
Let d = 22592043/154 - 146701. Let o = d - 3/14. Are o and 0 equal?
False
Let k = -257.7 - 125.3. Is k greater than or equal to -1?
False
Let t be 4/14 - (-12)/(-42). Suppose 4*s = -f + 139, 4*s + t*s + 2*f = 134. Let n be (10/21)/(12/s). Which is greater: n or 0?
n
Let z be ((-26)/390)/(((-2)/(-678))/1). Is z bigger than -24?
True
Let b(k) = -k**3 - 10*k**2 - k - 12. Let v be b(-10). Let z = 2 - v. Let d be ((-2)/(-8) - (-6)/8)*0. Which is bigger: z or d?
z
Let g = 469.1 + -469. Which is smaller: g or 40?
g
Suppose -3*w + 12 = 0, 2*x = 3*x + 5*w - 19. Do 1/148 and x have the same value?
False
Let z(m) = 4*m - 96. Let c be z(25). Is c > 1?
True
Let v = 33 - 29. Let m be 6 + (0 - 0 - 1). Suppose v*c - c = 2*h - 5, 0 = c - m*h + 19. Is 2 less than c?
False
Suppose -12 = -q - 4*n, 0 = 3*q - 2*q + n - 6. Suppose 0 = x + 2*m - 7, 19 = 5*m + 4. Let b be (q/8)/(x/(-4)). Is b not equal to -3?
True
Let a = -74.2 - -78. Let d = a - 3.9. Do 1/58 and d have the same value?
False
Let u = -790/9 + 211/9. Let y = 65 + u. Let l(s) = -s**2 - 9*s - 7. Let d be l(-8). Is d < y?
False
Let u(w) = -w**3 + 11*w**2 - 9*w - 14. Let v = -399 - -279. Let h be 8/3*v/(-32). Let d be u(h). Is d at most 2/5?
True
Let v(b) = -b**3 + 23*b**2 - 23*b - 50. Let z be v(23). Let p = 5781/10 + z. Which is smaller: -1 or p?
-1
Suppose -5*k = v - 9, -2*k - 2*v = -7*k + 12. Let i be (-2)/190*2235/(-18). Let n = i + 1/38. Which is bigger: k or n?
k
Let z = 0.04 - 1.64. Let i = z - -14.6. Let f = i + -13.01. Which is greater: f or -2?
f
Suppose -5*d + 7 + 108 = 5*h, -5*d = -5*h + 155. Suppose -5*q - 10 - 22 = 2*i, -5*q - h = -3*i. Is 2 greater than q?
True
Suppose -10 = -5*u + 10. Suppose -141*a = -161*a + 60. Which is bigger: a or u?
u
Let j = -683/5 - -1601/10. Let c = 4 - 5. Which is greater: j or c?
j
Let m = -12 + -7. Let x = 11 + m. Let k = -7 - x. Which is smaller: -0.1 or k?
-0.1
Suppose 4*w = -2*k, -42*k + 40*k - 2*w = 0. Which is smaller: -2/783 or k?
-2/783
Let r(n) = -2*n**2 + 104*n + 70. Let v be r(55). Is v less than or equal to -263?
False
Let w(a) = a**3 + 5*a**2 + 5*a + 13. Let k be w(-4). Suppose -k = 6*u + 57. Which is smaller: u or -12?
-12
Let u be (-115)/(-195)*-9 - -5. Do u and -17 have different values?
True
Let b be -175*(-6)/18*3. Is b less than 175?
False
Let n = -233 + 136. Let z = n - -96.8. Is -0.1 >= z?
True
Let m(i) = -i**2 - 7*i - 7. Let f = 35 - 42. Let z be m(f). Is z < -23/3?
False
Let o be 1/(1/(-1)*11/(-11)). Let i be (o*(-2)/4)/((-9)/6). Is i greater than -3?
True
Let a = -1443 + 8627/6. Let d(y) = 7*y**3 + 11*y**2 - y + 4. Let q be d(-2). Is q greater than a?
False
Let k(t) = 2*t**2 - 22*t + 4. Let l be k(14). Let d = l + -235. Are -146 and d equal?
False
Suppose -19652 + 1508 = -56*o. Which is smaller: 322 or o?
322
Let a = -686/65 - -52/5. Let b = 25.994 - -0.006. Let r = 25.8 - b. Is r greater than a?
False
Suppose 908 = 5*a + 883. Is 9 > a?
True
Suppose 1038 = -84*v + 25482. Is v greater than 1?
True
Suppose 2*i = -2*t - 4, 3*t + 4*i = -2*t - 6. Suppose -1 + 13 = t*o. Suppose c - o*c - 40 = 0. Is c greater than or equal to -8?
True
Let z = -7887479/153 + 51551. Let u = 12/17 + z. Is 0 < u?
False
Let c = 191.57 - 190. Which is bigger: c or 0.2?
c
Let v = 2107 + -1527. Is v at least as big as 2/9?
True
Let u = -7259/5 - -27571/20. Which is smaller: u or -72?
u
Let o(i) = -i**3 + 6*i**2 + i - 5. Let b be (4/10)/((-15)/(-225)). Let d be o(b). Which is s