+ k. Which is smaller: z or -0.3?
z
Let t = -214/91 - -25/13. Which is greater: t or -1?
t
Suppose w + 2*p + 12 = 0, -4*w + 0*p = -5*p - 4. Is w > -5/2?
False
Let j = -113 - -1241/11. Is j equal to 1?
False
Let k = 5.5 + -6. Let y = k - -1.5. Let t = 0.3 - 0.5. Is y equal to t?
False
Let k = -365/473 + 9/11. Which is smaller: k or 0?
0
Let i(l) = l**2 + 8*l + 7. Let t be i(-7). Is -1/5 != t?
True
Let r(j) = -j**2 + 5*j - 2. Let x be r(4). Let b be 6*(x/30)/1. Which is bigger: -1 or b?
b
Let l = 8.6 - 1.6. Let r = l + -3. Let i = 0.33 - 0.23. Which is bigger: r or i?
r
Let c(q) = -17*q**3 - 2*q + 2. Let h be c(1). Does -5 = h?
False
Let c(s) = -s**2 - 4*s - 2. Let b be c(-4). Let h = -38 - -36. Is b >= h?
True
Suppose -5*o + 8 = -67. Let z be 3/o*(-20)/12. Which is smaller: 0 or z?
z
Let m = -1579/9 + 175. Which is bigger: 1/6 or m?
1/6
Suppose -3*g - 59 = -5. Let k = g - -26. Is k at least 8?
True
Let i = 1851/38786 + 1/946. Which is smaller: 0 or i?
0
Let b = -2.59 - 14.71. Let d = 17 + b. Which is smaller: -2/9 or d?
d
Let b = 0 - 0. Suppose 10 = 6*g - 4*g. Suppose -8 = 2*o + 3*v, 7 = -g*v - 3. Is o < b?
True
Let i = 1 - -3. Let a be (i/(-5))/((-1)/(-5)). Let p be ((-2)/a)/(1/(-4)). Which is smaller: p or -1?
p
Let z = -55 + 60. Let f(n) = 3*n**2 - 2*n - 1. Let p be f(2). Is z less than or equal to p?
True
Let t = -2209/7 - -315. Is t < -2?
False
Let r = 1 - 3. Let o be (1/r)/((-8)/16). Is -0.7 greater than or equal to o?
False
Let j(z) = z - 9. Let o be j(9). Suppose o = -q + 5*q. Let v be q*(6/(-4) - -1). Are 2/7 and v nonequal?
True
Suppose 0 = -k + 8*m - 4*m + 13, 5*k + 7 = -4*m. Which is greater: k or 41?
41
Let y be (-28)/15*(-24)/(-16). Is y at most -3?
False
Let o(k) be the third derivative of -k**4/12 + k**3/6 - k**2. Let b be (-1)/(0 + 3/(-3)). Let h be o(b). Is 1/5 bigger than h?
True
Let i be (-10)/(-2) + (-13 - -17). Does 7 = i?
False
Let k = 19/70 - 1/14. Which is smaller: k or -0.5?
-0.5
Let o = 2 - 1. Suppose b - 1 = -3. Let q(d) = d + 1. Let j be q(b). Are o and j unequal?
True
Let p(w) = w**3 + 6*w**2 - w - 6. Let t be (3*2)/(3/(-3)). Let s be p(t). Suppose s*h + h = 0. Is 2 smaller than h?
False
Suppose 6*l = 2*l - 4. Let z be -2*(1/l + 2). Let s = -26 + 24. Is s greater than z?
False
Let q be (-1)/((4/3)/(-4)). Let f = 5 - q. Is f less than or equal to 3/5?
False
Let v(i) = i - 1. Let d be v(5). Let a = d + -4. Let q be (-2)/(-5) - 9/15. Are q and a equal?
False
Let z = 2/3 - 4/9. Let k = -0.3 - -0.2. Which is greater: k or z?
z
Let q(v) = -v**2 + 3*v + 4. Let m be q(4). Let i(x) = 2*x - 9. Let s(w) = 6*w - 26. Let t(l) = -8*i(l) + 3*s(l). Let a be t(4). Which is smaller: a or m?
m
Suppose 0 = -5*v - b - 4, -b + 2 - 6 = 2*v. Let i = 25 + -20. Suppose i*q - 3 - 2 = v. Is q equal to 3?
False
Let l(i) = -i**2 - 5*i + 2. Let t be l(-4). Let a(d) = -d**3 + 6*d**2 - 3*d + 3. Let g be a(t). Let c be 9/g + (-4)/10. Do c and -1/5 have the same value?
False
Let x = 2 + 4. Does x = 5?
False
Let l(x) = -2*x**3 - 5*x**2 + 9*x - 13. Let u(m) = -m**3 - 6*m**2 + 9*m - 12. Let t(r) = -2*l(r) + 3*u(r). Let g be t(7). Do 0.1 and g have the same value?
False
Let z(m) = -5*m - m**2 + 2*m**2 + 6*m - 2*m**2. Let h be z(1). Which is bigger: 2/5 or h?
2/5
Let y = 64 + -83. Is y bigger than -19?
False
Let k(v) = -29*v + 90. Let u be k(6). Is -85 > u?
False
Let y = 2.6 - -0.4. Let b = y + 0. Which is greater: 0.2 or b?
b
Let k be 112/(-18) + (-4)/(-18). Which is bigger: -1 or k?
-1
Let a = -24.2 + 21. Let i = 3 + a. Let t = 8 - 6. Does i = t?
False
Let r = -918433/66 - -13916. Let l = r - 2/11. Which is bigger: l or 0?
l
Let o(b) be the third derivative of -b**5/60 + b**4/4 - 5*b**3/6 + 5*b**2. Let u be o(5). Let g = -33 - -100/3. Which is smaller: g or u?
u
Suppose 3*o - 23 + 8 = 0. Suppose -2*d + 14 = 2*d + h, h = -o*d + 18. Which is smaller: d or 8/3?
8/3
Let k be 1 + (30634452/(-4069065))/3. Let l = k + -9/9485. Let s = l - -22/13. Which is bigger: -1 or s?
s
Let n be (8/(-5))/(6/(-30)). Let h = n - 5. Let d be h + 21/3 - 3. Is d > 7?
False
Suppose -5*n + 60 = -0*n. Let f be (2/4)/((-4)/n). Which is smaller: -3 or f?
-3
Suppose -f - 4*f - 10 = 0. Let z(a) = 12*a - 82. Let d be z(7). Which is bigger: f or d?
d
Suppose 3*p - 17 = 4. Suppose -3*b - 3*u + 26 = 2*u, 0 = u - 4. Suppose -b*x - 1 = -p. Do x and 5 have different values?
True
Suppose -y - 2 - 3 = 0. Let z = y + 11. Let g = z + -4. Are 2 and g equal?
True
Let b be 1/(3*6/(-612)). Which is smaller: b or -32?
b
Let x be 39/(-33) - 2/(-11) - -12. Is 75/7 at most as big as x?
True
Let a(q) = 0*q**2 + 3*q**2 - 4*q**2. Let o be a(0). Which is smaller: o or 3?
o
Let d = -58/15 + 11/3. Which is smaller: -1 or d?
-1
Let x be (10/125)/((3/(-5))/(-3)). Suppose f = -4*f. Suppose f = -2*g + 6. Which is smaller: x or g?
x
Let c(i) = i**3 + 2*i**2 - 3*i. Suppose -5 = 5*k, 4*f - 2*f + 2*k - 6 = 0. Let p = f - 7. Let a be c(p). Is 1 <= a?
False
Let n = -2 + 6. Is 5 smaller than n?
False
Let q(t) = -2*t + 6. Let a be q(3). Are 43 and a non-equal?
True
Let r = -4 - 16. Are r and -58/3 nonequal?
True
Let f be 3/26*(-8)/(-6). Which is greater: 0.1 or f?
f
Suppose 0 = -2*x - 0*x - 2. Let k be 6/(-10)*x*5. Suppose 3*f - 2*a - k*a + 3 = 0, 0 = -4*f + 3*a + 7. Are f and 3 non-equal?
True
Let s = 135/4 - 34. Is 4/9 at most s?
False
Suppose -3*q + 9 = 2*w - 0, 0 = 3*q - 3*w + 6. Suppose 0 = -3*h - 7 + q. Which is bigger: h or -8/5?
-8/5
Let o be 4 + (-2 - 22/10). Is -4 < o?
True
Suppose -6*v = -v - 15. Suppose -4*y - l = 4*l + 14, -3*l = -3*y + v. Do 1 and y have the same value?
False
Suppose -4*b = 4*k + 42 - 10, -3*b + 16 = -5*k. Let z(o) = 2*o. Let n be z(2). Suppose 0 = m + y + 2, 0 = -n*m + y - 4*y - 8. Which is smaller: m or b?
b
Let l = -97 - -95. Let x = 3 + 0. Which is bigger: l or x?
x
Let w = 2 - 4. Let p be 0/(w/4*2). Are -1/4 and p nonequal?
True
Let j = -269/21 - -99/7. Is j bigger than -0.2?
True
Let a = -294 - -13820/47. Is a bigger than 0?
True
Let p be 14/56*(-1048)/258 - -1. Are p and 0 unequal?
True
Let c be (-6)/(-27) - 1/((-27)/(-6)). Which is smaller: c or -1/42?
-1/42
Suppose 2*t - 2 = 3*u + 11, u + t = -6. Let a = u - -6. Let s be (-1)/(-2)*(a - 3). Is s >= 0?
False
Let w be 0 + 430/35 + 2/(-7). Which is greater: w or 2/9?
w
Let v be (1 + 0)*(-7 - 0). Let k be (-7)/2*3/v. Which is greater: 3 or k?
3
Let p(h) = -5*h + 38. Let d be p(14). Are d and -32 unequal?
False
Let g(j) = j**3 - 13*j**2 + 13*j - 12. Let m be g(12). Is m greater than or equal to 2/295?
False
Let k = 2 - 1. Let n = 81 + -565/7. Which is bigger: n or k?
k
Suppose -3*f - 29 = 5*t - 6*t, -2*f = -5*t + 93. Is 35/2 <= t?
False
Let d(q) = q**3 - 3*q**2 + q + 2. Let b be d(2). Suppose 5*x + 13 = 3, b = 3*r - 2*x - 16. Which is bigger: r or 5?
5
Let j = 0.78 - 0.74. Let u = 0.02 - -1.98. Let h = u - 3. Which is smaller: j or h?
h
Let q = -108/175 - -3/175. Let m(t) = -t - 5. Let r be m(-4). Which is greater: q or r?
q
Let a(z) = z**3 - 3*z**2 - 4*z - 1. Let l(q) = -q**2 - 10*q - 5. Let v be l(-9). Let d be a(v). Is 0 bigger than d?
True
Let i = -31/7 + 20/7. Let c = -37/28 - i. Does c = -1?
False
Suppose 2*n - 2*h - 6 = 0, 4*n - 2 = -h - 0*h. Which is greater: n or 1/6?
n
Let q = 8 + -11. Let s be -3 + 3 + q + 3. Let z be s + -5*3/6. Which is smaller: -2 or z?
z
Let i be (-6)/(-8) + (-105)/(-20). Suppose -3*l + 3*c = 3, -2*l - 5*c + i = -6. Let p = 419/244 + 2/61. Is p > l?
True
Let g = 32 - 31. Which is smaller: -45 or g?
-45
Suppose 232 = k + k. Let i = 441/4 - k. Let d = i - -6. Which is smaller: d or 1?
d
Let q be ((3 + (-3 - 0))/3)/2. Which is bigger: -1/80 or q?
q
Let o(i) be the first derivative of -i**4/4 + 4. Let x be o(-1). Is x bigger than 2/21?
True
Let c be ((-4)/4)/(2/(-118)). Let s = c - 237/4. Which is bigger: -1 or s?
s
Let w be 1*(0 + 1)*0. Let h be -4 - ((-207)/(-15))/(-3). Which is smaller: h or w?
w
Let p(i) = -3*i + 45. Let c be p(8). Do c and 20 have different values?
True
Let y(o) = 0*o**3 + 5*o**3 - o**3 + 11*o - 3*o**3 - 11*o**2 + 8. Let f be y(10). Which is smaller: f or 17?
17
Let o = -9 - -7. Let t = -12 + 11. Is o smaller than t?
True
Let n = 25.1 + -27. Let o = 3 + -1. Let f = n + o. Is -2/5 equal to f?
False
Let p be 5 - 9 - (-34)/8. Which is smaller: 0 or p?
0
Let x = -9 - -6. Let o = 4 + x. 