16*p - 20. Suppose p*a + 10 = 3*a. Which is smaller: a or -0.1?
a
Suppose 41*z - 52*z + 9306 = 0. Which is smaller: z or 845?
845
Let i = -373 + 373.13. Is 22 greater than i?
True
Let j(h) be the third derivative of h**4/6 - 13*h**3/3 - 17*h**2. Let s be j(6). Which is bigger: -3 or s?
s
Let p = -2825 - -5651/2. Let c = -4 + 4.6. Are p and c nonequal?
True
Suppose 11*r - 6*r - 15 = 0. Suppose -c = q + 2*q - 30, 0 = 3*q + r*c - 24. Let m = q - 10. Which is greater: m or 2?
2
Let s = -14/39 - -101/390. Is 1 smaller than s?
False
Let n = 49 - 40. Is -2/7 bigger than n?
False
Let g be 1/69*(-54)/207. Which is bigger: g or 0?
0
Let m be -10*5/(-10) + -3. Suppose 1 = -y + m*y. Are 1/4 and y non-equal?
True
Suppose -827 = -2*c - 125. Does c = -0.2?
False
Let h = 4.0292 + -0.0292. Are h and 0.14 equal?
False
Suppose -4*v + 0*v - 450 = -2*o, 5*v = o - 558. Let c = -84 - v. Which is smaller: 25 or c?
25
Suppose 0 = -2*w + 4 - 2. Let f be (-6 - -4) + 4 + -2. Which is smaller: w or f?
f
Suppose -a = 4*a + z - 7, 3*a - z = 9. Suppose -3*i - a*i = 30. Let o be i/(-32)*(0 + 2). Which is greater: 0 or o?
o
Let d(l) be the first derivative of l**3/3 - 4*l**2 - 37*l + 35. Let v be d(11). Is -16/3 greater than v?
False
Let w = 1114 - 1011. Which is smaller: w or 104?
w
Let v = 3.8 + -4. Let j = 0.2 - 1.4. Let a = -1 - j. Which is greater: v or a?
a
Let j(m) = -m**2 - 6*m + 8. Let l be j(-7). Let o be l + -2 - (-96)/52. Is 0 at least as big as o?
False
Let p = 100 + -86. Suppose -15 = g - p. Do 11 and g have the same value?
False
Let r = -679 + 568. Do r and 0.3 have the same value?
False
Let l = -2.337 - -2.137. Is -55/3 at most l?
True
Let h = -0.03 + 0.33. Let a = -0.1 + h. Do -13/3 and a have the same value?
False
Let k(s) = s**2 - 5*s - 18. Let c be k(9). Let f = 15 - c. Which is smaller: -2 or f?
f
Let x = -690.006 + 690. Is 2/19 at least as big as x?
True
Let s be (-1)/5*(-21 - -16)*13. Which is smaller: 16 or s?
s
Let x(t) = -t - 11. Let c(u) = -u**2 + u - 3. Let h be c(-2). Let q be x(h). Let z = 3 - 6. Which is bigger: q or z?
q
Let q = 1112 + -965. Is q != 1/3?
True
Let v = -41/6 - -439/66. Let c(u) = u + 5. Let h be c(-6). Is h not equal to v?
True
Let a = 0.16 + 23.84. Let o = 24.1 - a. Is 3/17 != o?
True
Suppose i = -3*z + 72, 7*z - 2*z = -5*i + 330. Suppose -5*g + 384 = 3*p, 0*p = -g + 4*p + i. Let r be 0 - 3 - g/(-27). Which is smaller: r or 1?
r
Suppose -y = 4*y - 70. Suppose 5*f + 5*t = -5, f = 17*t - 13*t + 9. Which is smaller: f or y?
f
Let f be 16/(-44)*7/8. Is f < 1?
True
Let h(a) = 264*a - 5. Let m be h(-4). Let l = 22960402/13 - 1765123. Let i = m + l. Is 2 <= i?
False
Suppose -5*r + 4*l + 10 = -50, -l = 2*r - 24. Let x = -99 + 147. Suppose 5*y - 9*y + x = 0. Is y >= r?
True
Suppose -4 = 5*c - 2*s - 49, 21 = c + 2*s. Let m = c + 2. Is m < 13?
False
Let x be 8/3*(-6)/(-4). Suppose -4*j + 23 = 2*s - 29, -2*j + 14 = -5*s. Suppose -j = -x*r + 28. Which is smaller: r or 9?
9
Let p be 2 - 3/3 - -27508. Let c = p - 138109/5. Let z = 114 + c. Which is bigger: 1 or z?
z
Let x be 5*(1 - (-6 - -4)). Let t be (-5)/(x/(-27)) - -4. Suppose 0 = -t*a + 12*a - 1. Which is bigger: 0 or a?
0
Let p = -0.3 + -3.7. Let b = p - 8. Let d = 13 + b. Which is smaller: d or -2/31?
-2/31
Let z = 17 + -10. Let u be 2 + -1 + z + 2. Which is bigger: u or 12?
12
Let f be ((-1)/((-2)/8))/((-22)/(-143)). Let s be 38/44 - (7 + f/(-4)). Is -1 bigger than s?
False
Suppose 2*y + 5*j = 3*y - 3, 5*j + 12 = 4*y. Suppose y*v = -0*v. Let k(x) = x**2 + 3*x - 17. Let a be k(0). Is v >= a?
True
Let h(w) = -w - 28. Let x = 10 + -10. Let f be h(x). Let r be 24/(-156) - f/13. Which is smaller: r or 10/7?
10/7
Let g = -18029/47348 + -1/1246. Is 0 > g?
True
Suppose -2*h - 2*l = 2*h - 32, 2*h - 20 = -2*l. Suppose -2*w = -w + b - h, 4*b - 25 = -5*w. Suppose -2*j + w = -1. Is j greater than or equal to 1?
True
Let d = -949 + 947. Which is bigger: -26/25 or d?
-26/25
Suppose 5*c + 37*i - 41*i = 170, 5*i = 4*c - 145. Let j = 36 + -6. Let x = j - c. Which is greater: x or -1/36?
x
Let n be (27153120/(-7175) - 4) + (-6)/10. Let k = n + 3789. Does k = -1?
False
Suppose 4*w + 47*b - 50*b - 31 = 0, -12 = -w + 5*b. Are w and -8 nonequal?
True
Let t(i) = -2*i**2 + 24*i + 2. Let q be t(12). Let d(j) = 3*j**2 - 2*j - q + 7 - 8*j - 2*j**2. Let o be d(7). Which is smaller: o or -17?
-17
Suppose 0*c + 4*c - 16 = 0. Suppose -c*p = p. Let g = p - 1. Is -1 bigger than g?
False
Let a(i) = -30*i - 625. Let y be a(-33). Which is smaller: 364 or y?
364
Suppose 12 = -4*r + 7*r. Suppose r*t = 5*x + 5, -3*x + 4*t - 11 = -0. Suppose 4*i = -16, 3*z + x*i + 31 = -i. Which is smaller: -6 or z?
-6
Let z(n) = 3*n - 7. Let f(l) = -4*l + 8. Let u(a) = -4*f(a) - 5*z(a). Let y be u(0). Suppose y*b + b + 5*g = -9, g = -b - 2. Is -1/7 equal to b?
False
Let y(l) = -l**2 + 9*l + 12. Let h be y(10). Let d = 76.6 + -77. Is h at least as big as d?
True
Let o = -1.6 + 46.6. Let m = -44 + o. Let w = 1.96 - 2. Are w and m unequal?
True
Suppose 196*x + 246 = 202*x. Which is bigger: x or 44?
44
Let m be 7 - (11 + -6) - (-4 - -1). Suppose 2 = m*h - 7*h. Is h greater than -1/4?
False
Suppose 287 = -b + 4*u, 5*b + 4*u + 0*u + 1459 = 0. Let a be -4 + -1 + b/3. Which is bigger: -103 or a?
a
Let j be 10*10/(100/3). Let i be (-2)/(2 - 2/(-3)). Let y = i + 9/4. Is j less than or equal to y?
False
Let j = 62 - 45. Is -2 not equal to j?
True
Suppose -3*p - x + 103 + 42 = 0, 0 = -4*x + 16. Is 53 at most as big as p?
False
Let z be 3/9 - (-268)/6. Let l(h) = -96*h + 142. Let w be l(1). Which is bigger: z or w?
w
Let m = 221 - 134. Which is smaller: m or 0?
0
Let u = -206 - -155. Which is smaller: -47 or u?
u
Let q be 4 - (8 - 9834/2457). Is -1 greater than q?
False
Let r = -18 + -240. Let j = r + 21929/85. Which is bigger: j or 1?
1
Let r(k) = -42 - 8*k**2 + 12 + 21 + k**3 - 8*k. Let d be r(9). Which is greater: d or 1/37?
1/37
Let x = -3447 + 27481/8. Which is bigger: x or -0.3?
-0.3
Let b be 0 + -4 + 750/189. Let n = 0.05 + -0.35. Let c = n - -0.3. Which is smaller: b or c?
b
Suppose 2*w - 28 = -2*w. Let r(g) = -156*g - 3906. Let n be r(-25). Which is smaller: w or n?
n
Let b = 16813 + -117888/7. Do b and -27 have different values?
True
Suppose -4 = 2*g, 2*g + 4 = 23*p - 21*p. Is p smaller than 10/41?
True
Suppose j - i - 8 = 0, 4*i = 3*j - 37 + 8. Suppose -16 = -7*c + j*c. Is c greater than 8?
False
Let h be 31 + 10 + 18/(-2). Is 49 >= h?
True
Suppose -3*v = -6*v - 12. Let z be 3/v - (-4)/(-16). Is z greater than -1?
False
Let n = -0.48 + 0.38. Which is bigger: 2.16 or n?
2.16
Let p = 87344/9 + -9807. Let j = -102 - p. Suppose -16*f - 799 + 783 = 0. Which is smaller: j or f?
f
Let w(m) = -2*m + 3. Let o be w(0). Let j(i) = 6*i - 2. Let s be j(o). Let y = 5 - s. Which is bigger: -10 or y?
-10
Let z = 5/46 - 293/3542. Suppose -5*q + 9 = -0*s + 2*s, -3*s + 3*q = -3. Suppose -1 = s*k - 3. Is k <= z?
False
Let t = 4386 + -8803/2. Suppose -2*h = -1 - 9, 0 = -2*k + h - 37. Which is bigger: k or t?
t
Suppose 120*v - 119*v = 11. Let s be ((-2)/4)/((-1)/22). Let d = s - v. Is -1 at least as big as d?
False
Suppose -21*h = -5*h - 3616. Is -0.2 at most h?
True
Let j be (-1)/2*(-22 + 20). Let w = -1 - 1. Let z be ((-30)/(-21) + -1)/w. Which is smaller: j or z?
z
Let h be (-1 - 0)/(3 - 2). Let b = -758/3 + 14390/57. Which is smaller: b or h?
h
Let v be ((-20)/(-40))/((-2)/(-4)). Which is smaller: 12/31 or v?
12/31
Let a be 36584/(-132) + -1 - (-2)/(-11). Is a not equal to -279?
True
Let h(b) = -17*b**2 + 2*b - 1. Let a be h(-1). Let l = 18 + a. Let o be 3 + -5 - l*2. Which is smaller: o or -2?
-2
Let u = -2/23 - -73/46. Let y(w) = -4*w + 7. Let l be y(0). Suppose -2*q - l = 2*m + q, -4*m = 2*q + 2. Which is greater: u or m?
u
Let u(j) = -j**2 + 5*j - 1. Let x be u(3). Suppose -5*k + i + 2 = -4*k, 5*i = -4*k + 8. Is x greater than or equal to k?
True
Let u = -80 - -88. Let o be 2/(-11) - (u + (-630)/77). Does 0 = o?
True
Let f = -25800 - -12203406/473. Which is smaller: -1 or f?
-1
Let d = 0.0069 - -46.9931. Which is greater: d or 1.1?
d
Suppose 3*u = 3, 2*n - u + 43 = 2*u. Let y be ((-2)/(12/(-114)))/(0 - 1). Which is smaller: y or n?
n
Let d = 21/418 - 3251/48070. Let o(u) = -u**2 - 7*u. Let h be o(-7). Do d and h have different values?
True
Suppose -2*s 