-0.3. Which is greater: -0.3 or s?
s
Let r(z) = -z**2 - 13*z + 1. Let x be (-5)/10 - (-25)/(-2). Let g be r(x). Which is smaller: 1/4 or g?
1/4
Suppose 4*f - 4 = -f - 4*z, -5*z + 5 = 3*f. Let j be 0 + (-9)/12*(-32)/132. Which is bigger: f or j?
j
Let i be 7/7 - 4472/(-22). Let d = i - 613/3. Is 0 < d?
False
Suppose 2*t + 2*t = 4. Which is bigger: 3 or t?
3
Suppose -2*g = z - 2 + 5, 0 = -2*g + 2*z + 12. Let h be (2/3)/(g/6). Suppose u + h*y = -u - 4, 4*u - 3*y = 14. Is 4/3 at most as big as u?
True
Suppose 6*t = 5*u + t, -2*u + 3*t = 1. Suppose 0*m - 10 = 2*m. Let x be m*(24/15 - 2). Does u = x?
False
Let c be 0/3 - -3*1. Let q be (4/12)/((-1)/c). Let d be 4*((-14)/(-8) + q). Which is smaller: 2 or d?
2
Let n = 4 + -4.1. Let j = -57/145 + -6/29. Is j greater than or equal to n?
False
Suppose 2*q + f - 4 = 7, -q = -2*f + 7. Let b = -3 + q. Which is smaller: -2 or b?
-2
Let y = -1456/9 - -162. Let q be 4/(-6) + (-2)/(-3). Let a be 3/9*q + -1. Is a <= y?
True
Let y(g) = g**2 + 2*g - 1. Let u be y(-3). Let b be (u/(-6))/(3/9). Is -2 at least b?
False
Let g = 0.04 + -0.1. Let u = g - -0.09. Let d = u - 2.03. Is 0.2 != d?
True
Suppose -4*j = 5*n - 5, 2*n + 3*n = 5*j + 5. Let h be (9 + -3)*n/3. Suppose 0 = b + 3*u + 15, b + h*u + 7 = -3. Do 1 and b have the same value?
False
Let n = -8 - -11. Let l = -2 + 2. Suppose 5*y + 2 + n = l. Is y < -4/7?
True
Let b be (-136)/280 + (-1)/10*-2. Which is smaller: -0.04 or b?
b
Let g be (0/(-5))/(0 + 2). Which is greater: g or 4/7?
4/7
Let h = 30103/4 + -7631. Let x = h - -106. Is 0 at most as big as x?
True
Let r = -7.18 + 0.18. Let u = r + 8. Is u < -0.1?
False
Let m be 3/(-4) + 200/352. Let n = 0 + m. Do 0 and n have different values?
True
Suppose 6*c - 161 = -c. Is c <= 22?
False
Suppose -2*m + 2*g = 3*g - 1, m - g = 8. Is 13 bigger than m?
True
Suppose 0 = -4*m + 5*m + 3. Which is smaller: -5 or m?
-5
Let d be (-11)/(-35) + 2/63*9. Let p be (2 + 2)*1/2. Is p at most d?
False
Suppose 0 = -4*o + 19 + 1. Suppose -2*c - o*t = 0, -5*c = -6*t + t. Let p be (c*(-3)/(-3))/(-1). Which is greater: p or -3/4?
p
Let p(o) = o**2 - 10*o + 10. Let s be p(9). Suppose 0*x + s = x. Let t be (-4 + 1)*x/3. Is -2 at least as big as t?
False
Let p = -11 - -16. Which is bigger: p or 7?
7
Let u be ((-4)/(-16))/(1/6). Let l = -5 + 8. Do l and u have different values?
True
Let q = -31 - -20. Are q and 0 nonequal?
True
Let f be (9/(-6) + 4)*(1 - -1). Let y(g) = -g + 2. Let j be y(-3). Is f <= j?
True
Let m be (-2)/5 - (-81)/15. Let z = m - 2. Let y = -21 + 24. Is y at least as big as z?
True
Suppose -2*g - 6 = -2*n + g, 2*g = n - 5. Let k be (-2)/(-28) - n - 3. Which is greater: k or -1?
k
Let t be 2/(-8) + 8/32. Is -1 > t?
False
Let y = -199/3 + 67. Is y at most as big as 6/13?
False
Suppose 57 = 4*u - 3*s - 14, 5*u - 75 = s. Let n be (-14)/4 + (-7)/u. Is n greater than or equal to -4?
True
Let w be (5 + 43)/(2 + -1). Are w and 48 unequal?
False
Let v = -7 - -5. Let q be (v/(-4 + 2))/117. Let b = q + -83/585. Is b smaller than 1?
True
Let w = 6 - 8. Let f = 763/2 - 381. Is f smaller than w?
False
Let i be (-3)/(-9)*-1*9. Let n = i - 7. Do -10 and n have the same value?
True
Let f = -8 - -9. Suppose 3*d + 4 = d. Let c be 1 - (d/f - 1). Is 4 < c?
False
Let n = 59 - 57. Is n > 5?
False
Suppose -4*u = -6*u + 26. Is 25/2 > u?
False
Let x be (5 + -2)*(-2)/3. Which is smaller: x or -3?
-3
Let w be ((-1)/678*2)/1. Let y = 665/4407 - w. Let z = 0.1 - 0.1. Is z at most as big as y?
True
Let z = -10 + -4. Let q = z - -21. Which is smaller: q or 0.1?
0.1
Let u = 25.74 + -26. Let f = 2 - 1.94. Let n = f + u. Is n smaller than -0.1?
True
Let t = 15/11 - 773/583. Is t greater than or equal to -1?
True
Let h be 1/(-5)*(-5)/(-2). Let r = 25 + -26. Is h > r?
True
Let p = 170 + -134. Is 35 greater than or equal to p?
False
Suppose 3*l - 14 = 5*c - c, 5*c = l - 12. Suppose -2*y - 3*y + 15 = 0. Which is greater: l or y?
y
Let u = 0 - -0.1. Let b = 0.1 - u. Suppose 5*m - 4*t + 20 = 0, -2*m - 2 = -t + 3. Is b equal to m?
True
Let f = 18.45 + -0.45. Let k = 17.9 - f. Which is bigger: k or -3?
k
Suppose w + 2*w = 3. Let l = -7 + 7. Is w smaller than l?
False
Let o = 6 - 6. Let j = -4 + -2. Let f = j + 5.7. Are o and f unequal?
True
Let o be 1/((-2)/(-1) + -3). Let a be (-1)/(-4) + 204/(-432). Which is smaller: a or o?
o
Let p be (-8)/(-6)*57/950. Is 1 greater than p?
True
Let m be -3 + 1/2 + (-336)/(-160). Let r be 6/(-5)*2/6. Is m >= r?
True
Let s = 2 - 2. Suppose 11*o - 15*o - 4 = 0. Is o bigger than s?
False
Let h = -479 + 16287/34. Which is smaller: h or 0?
0
Let l = 0.74 - -5.46. Let a = 6 - l. Do 0.2 and a have the same value?
False
Let k be 2/4*(-2)/(-12). Let o be 34/9*6/(-80). Let a = k + o. Is -1/3 smaller than a?
True
Let y = 19 - 16. Is 3 greater than or equal to y?
True
Let w = 15 - 21. Let r = 0.309 + -0.209. Are w and r nonequal?
True
Let v = 45/28 - 6/7. Let y = -1 + 0. Which is bigger: y or v?
v
Let m(y) = 5*y + y**2 + 0*y - 3*y + 1 + 2*y. Let h be m(-3). Let p(t) = t**2 + 2*t. Let c be p(h). Which is smaller: c or -2?
-2
Let u(y) = -3*y + 3. Let v(c) = -c + 1. Let z(k) = -u(k) + 2*v(k). Let x be z(1). Let d = 11 + -11.2. Which is greater: d or x?
x
Let d = -2.715 - -4.98. Let q = 0.035 + d. Let l = q - 2. Which is bigger: -1/4 or l?
l
Let n = -14.4 + 17. Which is smaller: n or -1/2?
-1/2
Let g(y) = y**2 + 4*y - 3. Let q be g(-5). Suppose 2*t - 2 = q*r, -t = -2*r + 6*r - 1. Is -1/3 bigger than r?
False
Let w = -6.46 - 0.52. Let r = w - -7. Let m = r - -0.98. Is m != -0.1?
True
Suppose -4*j - 3 = -r - 6, 0 = -j + 5*r - 4. Which is smaller: 6/19 or j?
6/19
Suppose 0 = -p - 2*p. Let x(q) = -q**2 - 6*q + 2. Let a be x(-7). Let o be ((-4)/a)/((-52)/(-10)). Does o = p?
False
Let u be 1*(-2 + 3)*(-6)/37. Which is smaller: u or -1?
-1
Let j(n) = 2*n + 7*n**2 + n - 6*n - 5 - n**3 - 2*n**2. Let d be j(4). Do d and -1 have the same value?
True
Let a be ((-1)/2)/(6/(-4)). Does 0 = a?
False
Let q = -4 + 7. Suppose 2*r = -q*t - 1, 2*r + 4 = -4*t + 2. Let k be -1 + t/3*-3. Is k at most 1?
True
Let w = 4 + -4. Let n be (-1*2)/(-2)*0. Suppose n = -w*g - 3*g. Is g at most as big as 0?
True
Let v(t) = 2*t**3 - 2*t**2 - t - 2. Let n be v(2). Suppose n*i = 5*i. Which is greater: 6 or i?
6
Let d be (-2)/5 - 5/((-25)/2). Which is smaller: 3/16 or d?
d
Suppose 4 = 3*f + 1. Let k = f + 2. Suppose -2*x = k*h - 9, -h + 12 = 3*h - 2*x. Is h at most 4?
True
Suppose 6 = 4*c - 5*h, -h = c - 2 - 4. Let g be (-78)/(-8) - (-1)/c. Suppose -2*m - 3*m = g. Which is greater: m or -1?
-1
Suppose 0 = -2*t - 3*t. Which is bigger: t or 2?
2
Suppose 0*f + 5*f = 180. Which is bigger: 37 or f?
37
Let k = 5 - 2. Let g be k/(-5)*2/(-6). Is g not equal to 0?
True
Let u = -9438995/1468 - 520/367. Let v = 6353839/988 + u. Let w = -6/19 - v. Which is smaller: 0 or w?
w
Suppose -w - v = -0*v, 3*w + 4*v - 1 = 0. Let u be 27/15 - (w - -2). Suppose 0 = 4*d - 1 - 7. Which is smaller: d or u?
u
Let q(n) = -3*n**2 + n. Let f be q(1). Let u = -1 - f. Let c = 13.9 + -14. Are c and u equal?
False
Suppose -h + 0 + 2 = 0. Suppose j = -h*j. Which is greater: 10/9 or j?
10/9
Let z be 124/(-44) + (1/1 - -2). Is 1 <= z?
False
Let s(m) = -m**2 - 3*m - 1. Suppose -6*k + 3*k - 9 = 0. Let f be s(k). Let y = -19 + 19. Is y at least as big as f?
True
Let n be (-2)/(-9) + (-301)/504. Let l = 3/8 - n. Is l at least -1?
True
Suppose 5*j + 6 - 1 = 0. Suppose 0 = -u + 2 + 2. Suppose 0 = -2*o - t + 4, 0*t + u = -o + t. Which is smaller: o or j?
j
Suppose -2*x = -4*x. Suppose x = a + 3*o + 7, -2*a + 7*a - 3 = 4*o. Do -2 and a have different values?
True
Let q = 432 + -2972/7. Which is smaller: 8 or q?
q
Let p = -0.29 - 0.11. Are 0.2 and p unequal?
True
Let t = 4.51 + -0.5. Let u = t - 0.01. Let c = -3 + u. Which is smaller: 0 or c?
0
Suppose -y + 117 = 2*y. Let l be 84/y + (0 - 2). Is 1 < l?
False
Let z be (-8)/28 + 4/14. Suppose z = -3*r - 4 + 13. Which is greater: r or 3/2?
r
Let f(v) = -v. Let y = -24 - -22. Let p be f(y). Are 1/4 and p unequal?
True
Suppose 5*i - 73 - 142 = 0. Do i and -2/5 have the same value?
False
Let q be (-4)/6 + 64/24. Let r = 0.36 + 0.04. Let f = -0.2 + r. Do f and q have different values?
True
Let r = -101 - -60. Is -42 at most as big as r?
True
Let c be (-2 + 4)/(-4)*0. Let m be 10/(-14