/45*1/4. Let q(o) = o**2 - 5*o + 3. Let d be q(4). Is d not equal to b?
True
Suppose 0*y = y + 9. Let a = 0.06 + -0.16. Which is smaller: y or a?
y
Let g(t) = t**2 - 2*t + 4. Let y be g(3). Let u be (-14)/(-8 - -6) - (-2)/2. Which is greater: y or u?
u
Let y be (-59)/(-42) - (-42)/(-28). Which is bigger: y or 0?
0
Let p = -43 + 39. Let z = -215 - -637/3. Which is smaller: z or p?
p
Let r = -30 - -64. Let u be r/6 + 3/9. Let p = u - 8. Which is greater: p or -3?
p
Let y = 11.1 + -10. Let l = y - 1. Which is bigger: 0 or l?
l
Let k(i) be the second derivative of -i**3/3 - 13*i**2/2 + 3*i. Let y be k(-9). Let v be 1/2*(-6 + y). Which is greater: -1 or v?
v
Suppose -19*g + 15*g - 8 = 0. Suppose 0 = -0*r + 3*r + 12. Which is smaller: g or r?
r
Suppose -4*o + 3*w = -33, 0 = 8*o - 3*o + 4*w - 18. Suppose 0 = 4*z + o - 2. Let u be ((-6)/(-9))/(z/(-3)). Do u and 0 have the same value?
False
Let z be ((-57)/18 - -3)*-1. Is z less than or equal to 0?
False
Let w(c) = -c + 15. Let f be w(14). Which is smaller: f or -4?
-4
Let b = -15.03 + 15. Let t = 0.1 + b. Which is greater: t or -1/3?
t
Suppose 3*g + 0 = -2*z + 4, 3*g = -3*z + 6. Suppose -3*a + z*f = 3*f + 33, -4*f = a. Is -12 bigger than a?
False
Let f = 46 - 51. Let u = 27 - 82/3. Which is smaller: f or u?
f
Let c(b) = b + 14. Let r be c(-8). Is r <= 1?
False
Suppose 5*q = -0*q. Suppose 1170 = 5*v - 3*d - 2*d, 4*d = -v + 254. Let k = -2146/9 + v. Is q less than k?
False
Let p = 11852/25 + -474. Which is greater: p or -1?
p
Let j be 408/644 + (-23)/7 + 3. Do 0 and j have the same value?
False
Let f be (2/(-5)*1)/11. Do 0 and f have the same value?
False
Let t = -289 + 171. Let y = 120.02 + t. Let l = -0.02 + y. Is l >= -2/7?
True
Let u = -17.52 - -0.52. Which is bigger: -1 or u?
-1
Let l be (2 - (-1 - -1))/2. Suppose -4*q + l = -11. Suppose -2 = -q*f + 1. Which is smaller: -2/11 or f?
-2/11
Let u be (-1)/1 + (12 - 6). Suppose -2*c - p + 11 = 0, -4 = -c + 3*p + 5. Which is greater: c or u?
c
Let w be 2*27 - (0 - 3). Let i = w - 1195/21. Suppose 1 = -0*u - u. Which is smaller: u or i?
u
Let d(u) = -u - 3. Let p be d(-2). Which is bigger: -1/3 or p?
-1/3
Let m = -4 - -20. Let r be (6/(-4))/((-9)/m). Which is greater: r or 3?
3
Let p = 62586/5 - 17460574/1395. Let b = -2/279 - p. Which is smaller: b or 0?
b
Let t be 12/(-21) + 6/6. Which is smaller: t or -1?
-1
Suppose -b = -2*c + c, 0 = 4*c + 4*b - 40. Let f = c - 8. Is -3 greater than or equal to f?
True
Let c be 18/12*(-8)/(-3). Do c and 9 have different values?
True
Let t be (-144)/14 - 2/(-7). Let j be 12/(-20) - 1/t. Let x = -164/3 + 54. Is x > j?
False
Suppose 0 = 3*d - 4*w + 44, -3*w + 76 = -5*d - 12. Is d less than -19?
True
Let s = 2.1 - 2.1. Let z = s + 0.1. Is 0.05 <= z?
True
Let b = 0.15 + -0.12. Let s = b + -0.03. Which is smaller: 0.08 or s?
s
Let h be (-1 - 1) + 27/18. Which is smaller: -4 or h?
-4
Let g be (-2)/(-12) - 51/(-18). Let s be (18/(-15))/((-4)/10). Are g and s equal?
True
Let z be 2/6 - 24/(-9). Is z greater than 1?
True
Suppose 5 + 12 = -4*t + 3*q, 0 = 5*t + 5*q - 5. Which is smaller: t or -13?
-13
Let n = 6 + -9. Let f = -3.2 - n. Suppose -j = -4*j - 2*s + 8, 12 = 2*j + 3*s. Is f at least j?
False
Let o be 2/(-7) - 120/21. Which is bigger: -3 or o?
-3
Let j be (-67)/(-13) - 2/13. Suppose -f = -2*y - 9, -10 - j = 5*f + 2*y. Are 0 and f non-equal?
True
Suppose -4*w + 7 = -3*v - 25, -2*v + 16 = 2*w. Let y = -5 + w. Let x be y/2 - 22/12. Which is smaller: x or 0.3?
x
Let w be 3/2*(-8)/51. Is 1 not equal to w?
True
Let l = -23 - -11. Let j = 0 - 1. Is l at least j?
False
Suppose 13 = -5*w - 12. Let d = w + 3. Let u be d*(10/(-4) + 3). Is -1 equal to u?
True
Let c be (-56)/26 + (-12 - -14). Suppose 0*q + q = 0. Which is bigger: c or q?
q
Let q = 3.03 + -0.03. Let r(s) = -s**3 + 5*s**2 - 5*s. Let m be r(4). Let p be (-2)/6*(m - -7). Which is bigger: q or p?
q
Let b = -128 - -876/7. Are b and -3 unequal?
True
Let l = 8/5 + -78/55. Which is smaller: l or -1?
-1
Let r be (-4)/(16/4)*0. Suppose r = -2*s + 2*y + 10, -s - 4*s + 21 = -4*y. Which is bigger: s or -1/19?
s
Let l = -119.8 - -120. Is 0 at least l?
False
Let d(g) = -3*g**2 - 3*g + 1. Let f(j) = 10*j**2 + 8*j - 2. Let t(r) = -7*d(r) - 2*f(r). Let c be t(-6). Suppose 2*i + 16 = 2*k, -k = 4*k - i - 24. Is k != c?
True
Let a = -43/2 - -22. Is 0 >= a?
False
Suppose -3*r - 11 - 4 = 0. Let x be (0 + 3 - 7) + 0. Is x at most as big as r?
False
Let z(x) = -x + 2. Let y be z(3). Let o be -1 - (22/(-2) + 0). Suppose o = -3*k - 2*k. Is k at most y?
True
Let j = 0.02 + -0.02. Let b = 0.8 + 0.2. Which is smaller: j or b?
j
Let i(r) be the third derivative of r**4/24 + r**3/2 - 3*r**2. Let m be i(-3). Are m and 1 equal?
False
Let k = -1.23 - -0.03. Let j = k - -1. Let c = 17 - 67/4. Which is smaller: c or j?
j
Let v(w) = -7*w - 1. Let q be v(3). Let z be 12/3*(-1)/q. Let l be 0*(2/1 + -1). Which is greater: l or z?
z
Let k(r) = -r**3 + 3. Suppose 0*b = -4*b. Let o be k(b). Suppose o = 5*v + 8. Which is smaller: v or -5/7?
v
Let g = 7.04 + -7. Let w = -0.24 + g. Which is smaller: 0.2 or w?
w
Let n be 13/(-5) + 4/(-10). Let h be (14/(-8))/(n/(-12)). Let z = -4 - 4. Which is smaller: z or h?
z
Suppose 10*p + 211 - 11 = 0. Which is smaller: p or -19?
p
Suppose 0 = -g - m + 8, 5*m = g + g - 37. Which is smaller: g or -0.2?
-0.2
Let g be (13/(-156))/(6/56). Which is smaller: g or -2?
-2
Let f = 562655/44 + -12787. Let o = 4/11 - f. Is 5 at least as big as o?
True
Let p(q) = -q + 18. Let v(k) = -2*k + 35. Let y(l) = -11*p(l) + 6*v(l). Let w be y(8). Which is smaller: w or 3?
3
Let b be (2*(-28)/32)/2. Which is bigger: 0 or b?
0
Let w = 6.1 + -6. Which is smaller: w or -0.2?
-0.2
Suppose 2*b - 5*b = -24. Let x(s) = s + 2. Let l be x(b). Let a be (1/(-6))/(5/l). Is a < -1?
False
Suppose -8*m - 3 = -11. Is -1/117 != m?
True
Suppose -4 + 6 = z. Is z greater than 2?
False
Let b = -3 - -7. Let v = -0.09 - -16.09. Let d = v - 16. Is d >= b?
False
Suppose 0 = q - 5*y - 14, 4*y - 2*y = -2*q - 20. Does q = -7?
False
Let a = -3 - -6. Suppose -a = -0*i - i. Suppose -3*h + i*r - 12 = 0, -12 = -h - 2*h - 3*r. Do h and -1 have different values?
True
Let n = 119 + -106. Which is smaller: 2 or n?
2
Let r = -2.5 - -2. Let u = 0.48 + r. Are 1 and u nonequal?
True
Let c(i) = -i - 2. Let m be c(-3). Let s = 1 + m. Which is bigger: s or 5/6?
s
Suppose 3*l = 4 + 5. Suppose 7*y - l*y = 0. Suppose -3*q + 4 = -7*q. Is y bigger than q?
True
Let k = 152969/310 + -987/2. Let u = -14/31 - k. Let i = -0.03 + 2.03. Do i and u have the same value?
False
Let d = 1107/5 - 220. Let b = d + 31/10. Are b and 5 equal?
False
Let t = -2/13 - 5/52. Which is greater: -3 or t?
t
Let n be ((-16)/3)/((-1)/(4 - 1)). Which is smaller: n or 20?
n
Let f be -6*4/(-200)*-1. Let l = f - 54/175. Which is greater: 1 or l?
1
Let b be ((-12)/(-16))/(18/4). Which is greater: b or 9?
9
Suppose 6*t + 7 = 5*t. Is t at most as big as -6?
True
Let d = 8.02 - 8.2. Is 0.2 at most d?
False
Let l = -43.977 - 0.023. Which is smaller: 0 or l?
l
Let r(l) = l - 1. Let n(p) = -p**2 + 8*p + 1. Let s(h) = n(h) + 3*r(h). Suppose 0 = -6*f + f - 3*g + 55, -2*f + 22 = 4*g. Let t be s(f). Are t and -1 equal?
False
Let g(t) = t**2 - t - 1. Let q be g(2). Let d be 8202/(-63) + q/(-7). Let b = d + 132. Is b equal to 1?
False
Let f be (65/(-20))/(1/4). Are -13 and f non-equal?
False
Let s = 3 - 10/3. Let o = -2 + 3. Let i be 3/o*(-4)/30. Which is smaller: s or i?
i
Let z = 8 + -14. Which is bigger: -8 or z?
z
Let t(b) = b**3 + 6*b**2 - 9*b + 4. Let i(d) = -6*d**3 - 29*d**2 + 46*d - 21. Let r(j) = -2*i(j) - 11*t(j). Let s be r(7). Are -2 and s nonequal?
False
Let a(x) = -x**2 - x + 4. Let t = 7 - 10. Let u be a(t). Let s = -4 - u. Which is smaller: s or -1?
s
Let f = 8 - 4. Let h = f + -4. Let q = 6 + -5.6. Is q bigger than h?
True
Let h = 28 + -25.2. Let z = -2 + h. Let m = 0.6 - z. Which is greater: 0.3 or m?
0.3
Let q = 14.86 - 0.16. Let u = 14 - q. Let b = u - -0.9. Is b at least as big as -1?
True
Suppose 5*r + 0*w + w - 80 = 0, -48 = -3*r - 5*w. Is 16 at most r?
True
Let x be (-138)/(-3) + -3 - 2. Suppose -5*y - x + 14 = -3*v, 2*y + v + 2 = 0. Let l = 1 - 2. Is l greater than or equal to y?
True
Let f(a) = a - 3. Let w be f(6). Let i(k) = 1 + w - 3 - 10*k + k**2. Let n be