big as 0.28?
False
Let v = -1 - 0. Let h = -538 - -533. Which is bigger: v or h?
v
Let p = 6 + -2. Let l = p - 4. Let v = -1/24 - -3/8. Which is smaller: v or l?
l
Let j = 0.19 + 0.01. Which is smaller: -1 or j?
-1
Suppose -2*j = -2*r, -r + 0*r = 0. Let i be (-2)/12*4/6. Which is smaller: i or j?
i
Let h be (-3 - (-55)/10)*(-8)/(-5). Which is bigger: h or -9?
h
Let c = 3.09 - 0.09. Which is greater: 1 or c?
c
Suppose p + 3*a + 64 + 11 = 0, 4*p + 4*a = -268. Let l be p/19*(-3)/6. Let m = -3/19 + l. Are 2 and m equal?
False
Suppose 4*u - 30 = -u. Let d be u/15 - 26/40. Let s = 1 - 2. Is d > s?
True
Let k = 18 - 19. Is k bigger than -3/10?
False
Let g be 1 + -1 - (-2)/3. Let l be -1 + 1/1 + (-90)/30. Is g >= l?
True
Let f be ((-4)/(-2))/2 - 1. Let p = 253/222 + 1/37. Which is bigger: p or f?
p
Let i be 0*(56/(-48) - (-2)/3). Which is smaller: -2/3 or i?
-2/3
Suppose -5*r + 7 + 8 = 0, -19 = -5*c - 3*r. Let t = 143 - 146. Do c and t have different values?
True
Suppose 2*j + 3 = 5. Let z = 0.03 + 0.37. Which is greater: z or j?
j
Let z = 8.3 - -0.7. Which is smaller: -2/5 or z?
-2/5
Suppose 3*j - 231 = -8*j. Is j != 20?
True
Let w(s) = 27*s**3 + 2*s - 1. Let k be w(1). Is k equal to 27?
False
Suppose 0 = -w + 3*w. Let b = 18.82 - 19. Is w not equal to b?
True
Let y = -10 + 17. Let n = y - 0. Is n bigger than 7?
False
Suppose 0 = -5*q - 3*g + 15, 0 = -5*q + 3*g - 2 - 13. Suppose -k + 3*k = q. Suppose -d + 1 + 0 = k. Is d != -0.2?
True
Let b = -5 - -5. Suppose b = x - 0 + 5. Which is smaller: x or -3?
x
Let i(n) = n + 6. Let r be i(-7). Is -1/4 bigger than r?
True
Let w(a) be the first derivative of 3*a**2/2 - 3*a + 1. Let d be w(3). Suppose 2*h + h = 3*x + d, 2*x - 6 = -3*h. Which is bigger: h or 3?
3
Suppose 0 = 2*p - 0*p. Suppose -4*w = -p*w + 24. Which is smaller: -5 or w?
w
Suppose -3*k = 2*k - 5*x + 55, -2*k = -x + 20. Let a = -18 - k. Do -10 and a have the same value?
False
Let j = -23/333 + 1/74. Which is smaller: j or 4?
j
Suppose -t + b = 4*t - 12, -3*t - 4*b = -21. Let y be ((26 + 4)/t)/(-2). Do -2 and y have the same value?
False
Let g(w) = w**2 + 3*w + 2. Let c be g(-2). Is c greater than or equal to 2/3?
False
Suppose 4*f - 16 = 4*c, 2*f - 11 = -2*c + 3*c. Suppose 5*a = f*a + 2. Let h = -1582/9 + 176. Is a at most as big as h?
True
Let f = -5 - -7. Suppose -13 = a + 4*p, -p = a - 5*p - 19. Which is greater: a or f?
a
Let y = -33/2 - -1085/66. Is -1 less than y?
True
Let g be 7*(-3)/(-7)*1. Is 22/9 < g?
True
Suppose -3*p + 46 = 4*w, -6*p = -p - 2*w - 42. Let v = p - 6. Let h = -3 + v. Which is greater: 2 or h?
2
Let a = 0.03 + 0.17. Which is bigger: 1/4 or a?
1/4
Let x(h) be the third derivative of -h**4/24 - 4*h**3/3 + h**2. Let w be x(-9). Is w <= -2/5?
False
Suppose 27*f = 30*f - 6. Which is smaller: f or 5/7?
5/7
Suppose 5*u + 12 = -3*v - 1, 3*v - 3*u = 3. Is v != -2?
True
Let k = -3 + -4. Let q = 8 - 15. Let o = k - q. Which is smaller: o or 2/9?
o
Let s = -10 + 16. Let c = 7 - s. Is c greater than -3?
True
Suppose -q = -2*q - 9. Let s = -11 - q. Is s < -2?
False
Suppose -p + 1 - 7 = 0. Let q be (-3)/p + 2/(-12). Which is bigger: 1 or q?
1
Let t = -3.1 + 3. Suppose -2*y = j, -j - 4*y = -2*j. Is j less than or equal to t?
False
Let c(y) = -y**2 + 6*y + 7. Let p(k) = 6*k**2 - k. Let s be p(-1). Let x be c(s). Suppose 2*f - 6 = -v - 4, -4*v + 16 = x. Is -3/2 greater than or equal to f?
False
Let d = 28/145 - -6/29. Let z(b) = -b**2 + 6*b - 4. Let q be 2/(-7) + 222/42. Let h be z(q). Which is greater: h or d?
h
Suppose -8 = -4*f, -2*d - 3*f = f. Are -5 and d unequal?
True
Let u(c) = -c**2 + 9*c + 5. Let g be u(9). Suppose 10*i + 20 = 5*i, -g*x + 2*i = -13. Which is greater: x or -1?
x
Let i(x) = x + 5. Let n be i(-6). Let j be (-3)/8 + 5/20. Is j at least n?
True
Suppose -9 = 3*f + 51. Let v be (-1)/(-2) - 9/(-2). Let d be (-2)/v - 68/f. Is 2 greater than or equal to d?
False
Let r = -29/132 + -1/33. Let l = -229 - -2059/9. Which is greater: l or r?
l
Suppose -12 = t - 5*t. Let y = 0 + 0. Suppose l - 3 + 1 = y. Is l not equal to t?
True
Suppose i + 4*u + 10 = 25, 5*i + 1 = -u. Let s be 1/i + (-17)/(-15). Is s bigger than 0?
True
Let k = -41 + 41. Is k < -2.9?
False
Let d(r) = r**3 - 11*r**2 + 9*r + 11. Let l be d(10). Is 2/43 equal to l?
False
Let f be (-2)/(-4) + 3/6. Suppose o + o + 22 = -2*r, 0 = -3*o - 5*r - 31. Let v(j) = -j**2 - 12*j + 3. Let s be v(o). Which is smaller: s or f?
f
Let c be (-27)/(-40) - (-12)/(-15). Is 0 not equal to c?
True
Let q = -2 - 0. Let g = 0 - 6. Let y be (-2)/g*9/(-5). Which is smaller: q or y?
q
Let l be ((-3)/610)/((-6)/(-8)). Is l < 0?
True
Let l be (((-2)/1)/2)/1. Let i = 4 - 2. Let f be i*2/16 + -2. Is l <= f?
False
Let p = 1 + 1. Let w = 10 + -7. Suppose 4*x = j + 6, -w*j = -3*x - 0*x. Is p at most as big as j?
True
Let v = -289 + 2614/9. Is v bigger than 0?
True
Let d = 131/65 - 34/13. Let h(a) = -a**2 - a + 3. Let p be h(2). Let f = p + 1. Which is greater: f or d?
d
Let l = 0 - -7. Suppose 3*t + l + 8 = 0. Is t at most as big as -5?
True
Let k(x) = 4*x + 3. Let s be k(-3). Let c be (s + 1)*1/(-4). Suppose -4*l = -w - 13, w - 8 = c*w - 3*l. Is w bigger than 7?
False
Let u be 4/(-1600)*1/(-2). Let v = 12007/5600 - u. Is 2 > v?
False
Let o = 0.96 - 0.06. Let s = -0.83 + o. Which is smaller: s or 1?
s
Let l = 3 + -1. Let r(m) = -m + 4. Let p be r(6). Let h = p - 0. Is h bigger than l?
False
Suppose 3 - 1 = o + h, 4*h + 22 = 2*o. Let c = 5 - o. Suppose -l + c = -1. Is l at least as big as -1/9?
True
Let u = -49.2 + 48.2. Let z = 1 - 0. Which is greater: z or u?
z
Suppose -2*q - 88 - 70 = 4*m, -197 = 5*m + 2*q. Is m less than -40?
False
Let l(u) = -u**3 + 3*u**2 + 4*u + 1. Let m be l(4). Which is bigger: -2/47 or m?
m
Let h = 3.5 - -0.5. Let m = 4.1 - h. Is m at most -1?
False
Let a = 0.28 + -0.32. Is a less than -0.1?
False
Suppose 2*r = 6*r. Suppose 3*x + 2 = 14. Suppose -2*a - 3*o = -5*o - x, 4*o - 4 = r. Are 3 and a unequal?
False
Let t = -8 + 3. Let w be (3 + t)*1/3. Suppose 2*q + 2*q = 0. Is w bigger than q?
False
Let t be (-20)/(-104)*8/70. Which is bigger: 0 or t?
t
Suppose -2*b - 14 = -7*b + 4*w, -7 = -5*b - 3*w. Are b and 10 equal?
False
Let g be (2 + 300/(-21))/((-8)/(-4)). Which is bigger: -7 or g?
g
Let s be ((-22)/(-8))/((-2)/(-8)). Let c = -8 + s. Let f be 5 - (-3 - -6) - c. Is 0.2 not equal to f?
True
Let l = 0.13 - -8.87. Which is bigger: 1 or l?
l
Let s = -3/1535 + -22983/21490. Which is bigger: 0 or s?
0
Let z = 1.9 + -2. Let l(i) = 2*i + 0*i**2 + 1 + 0*i**2 - i**2. Let j be l(3). Which is greater: j or z?
z
Let w(v) = v**2 - 2*v + 2. Let k be w(2). Let f(x) = -x**3 - x**2 + 2*x + 1. Let a be f(-2). Suppose 2*n + 3*c - a = 0, n - 4 = -3*c - 5. Is k less than n?
False
Let l = -3 - -3. Suppose l = -4*i + 15 + 17. Let j be ((-7)/((-14)/i))/2. Is j <= 0.1?
False
Suppose -7*x + 10 + 4 = 0. Let q(m) be the second derivative of m**3/6 + 3*m**2/2 - m. Let h be q(-4). Is h at most x?
True
Let k = 7 + -6.9. Which is smaller: -9 or k?
-9
Let c = 36 + -75/2. Are -1 and c equal?
False
Let v be 5 + (4 - 3 - 4). Which is smaller: v or 2/3?
2/3
Let l = -3 - -2.5. Let v = -0.02 - -0.19. Let a = v - 1.17. Is l greater than or equal to a?
True
Let f = -39 + -27. Let n = f + 279/4. Is 4 smaller than n?
False
Let m = 10 - 10. Is -1/3 smaller than m?
True
Suppose 0 = 3*y - 7*y. Suppose 0 = 4*g - y*g + 4*h + 80, 3*g - 3*h + 42 = 0. Let c = g - -69/4. Is c less than or equal to 1?
True
Let i = 1.2 - 1.4. Is 2 not equal to i?
True
Let o(b) = -b - 4. Let u be o(0). Let m(h) = h**3 + 4*h**3 + h + 3*h**3 - 5*h**3. Let f be m(-1). Is u less than or equal to f?
True
Suppose 3*j + 2*c = -0*c, -3*j = -c. Let y be -2 - 3/(6/(-178)). Let b = y - 1829/21. Are b and j unequal?
True
Let r = -8 - -13. Let g = 4.9 - r. Let m be ((-2)/6)/(4/36). Is m bigger than g?
False
Let v = 38 + -37. Which is bigger: -15 or v?
v
Let k be (-10)/45 + (-61)/90. Which is smaller: -2 or k?
-2
Let f(z) = z + 3. Let w(k) = -3*k - 8. Let p(s) = 17*f(s) + 6*w(s). Let v = 3 + 1. Let x be p(v). Are -2 and x non-equal?
True
Let c = 22 - 21. Is -1 less than or equal to c?
True
Let w = -114 + 135. Is w greater than or equal to 98/5?
True
Suppose -19*h + 18*h = 0. Does 1/180 = h?
False
Let l = 0.3 - 4.3. Let g = 5 + l. Let o = -0.8 + g. Which i