l?
True
Suppose -3*p + i - 2*i = -50, -3*i = -3*p + 30. Let a be 6/p - (-4)/(-10). Suppose -v + 6*v = 0. Is a less than or equal to v?
True
Let w be 52/(-18)*(-3)/(-4). Is -1 <= w?
False
Let k(j) = -33*j + 3 + 5 + 32*j. Let x be k(6). Which is greater: 0.06 or x?
x
Suppose 0*s + 21 = -s. Is s smaller than -21?
False
Let m = -0.8 + 3.8. Let b = m - 2. Let k = -91 - -84. Is k at least b?
False
Let w = -0.8 - -1.1. Which is greater: -0.2 or w?
w
Let c(t) = 26*t**3 + t - 9*t**3 - t**2 - 2*t. Let s be c(-1). Let z be s/36 + 1/4. Which is greater: z or 1?
1
Let c(r) = -2*r**2. Let d be c(1). Let v be 4 - 2 - (d - -5). Is 0 at least as big as v?
True
Suppose 3*u + 3 = -4*z, -6*z - 2 = -2*z + 2*u. Let q = -55 - -553/10. Which is bigger: q or z?
q
Let v = 124.6 + -107. Let f = v - 18. Which is smaller: f or -3?
-3
Let u = 40 - 41. Which is greater: -0.22 or u?
-0.22
Let h = -20.01 - -20. Is 1 at least h?
True
Let p = 8 + -6. Let l be 35/56 + (-9)/(-24). Which is smaller: p or l?
l
Let g(j) = j**2. Let u be g(0). Suppose -5*k + 21 + 44 = u. Suppose 3*f - k = 5*b, -2*f - 5*b = -0*f + 8. Which is smaller: -3/7 or f?
-3/7
Let y = -35 + 36. Is y less than 3/8?
False
Suppose 0 = 2*f - 3*q, 0 = -3*q + 10 - 4. Let m(i) = i**2 - 4*i + 4. Let h be m(f). Does 4/13 = h?
False
Let h be 5/2 - 6/12. Let r = -1 + h. Is 2 less than or equal to r?
False
Suppose 20 - 1 = w + 5*k, -2*w + k = -5. Suppose 3*g - 12 = 3*u, -3 = w*u - 3*g + 13. Which is bigger: -5 or u?
u
Let b(d) = 18*d**2 - 2*d + 1. Let f be b(1). Suppose 4*h = f + 35. Suppose 4*m + h = 3*s, 20 = -5*m + 2*s + 3*s. Is m >= -3/4?
False
Let s = 19 - 15. Is s < 3?
False
Let v be 20/(-8)*(-4)/5. Suppose -i + v*i - 3*t + 16 = 0, -t + 5 = 0. Let m = -2 + 2. Is i bigger than m?
False
Let s be 4*(180/104)/5. Is 0 less than or equal to s?
True
Suppose -12*j + 44 = -j. Are j and 38/11 equal?
False
Let b = 3 + -3.1. Let g = b + 0. Which is smaller: g or 2/15?
g
Suppose 85 = 5*z + 5*x, -2*z + 2*x + 31 = z. Let k be 1 - 2 - z/(-12). Suppose 2*d - 3 = -5*a + 5, 9 = -5*d + 2*a. Is k smaller than d?
False
Let y = -4 - -7. Suppose -5*q + 4*t = -5, -2*t + 20 = -q + y*t. Suppose 3*v + 5*u = 2*u - 12, 5*v - q*u = 30. Is v not equal to 0?
True
Let t be (6/4)/(15/70). Is t less than 7?
False
Suppose 0 = 2*z + z. Let f be 2/(-3)*33/374. Which is smaller: z or f?
f
Suppose -24 = -2*v - 8. Suppose -1 = -r + v. Suppose r = -5*l - 16. Is l >= -5?
True
Let y = -1.2 - -0.9. Let z = -0.2 + y. Let u = 0.1 + z. Is u at least as big as -0.1?
False
Let d(r) = r. Let w be d(1). Is 3 at least w?
True
Let a be 3*(4 - (-14)/(-4)). Which is smaller: a or 1?
1
Let y(i) = i**2 - 2*i - 1. Suppose -4*r = 3*d - 3, -5*d + 2*r + 14 = -17. Let g be y(d). Let c be -1 - (-4)/g*5. Which is smaller: 0 or c?
0
Let i be (-23)/(-2) - (-5)/10. Are 10 and i non-equal?
True
Let h be (0/(-1))/((-5)/5). Suppose 2*y - 3*t + 2 = 8, 0 = 3*y + t - 9. Suppose 1 + 2 = -y*j. Is h at least j?
True
Let f = 41/171 - 13/19. Suppose -h - 5*j + 5 = 4*h, -3*h - 2 = -2*j. Is f at least h?
False
Let i be ((-2)/(-5))/((-9)/15). Let w = 3.9 - -0.1. Let t = w + -3.5. Is t at most as big as i?
False
Let n = 865/2964 + -17/52. Are -1 and n non-equal?
True
Let n(d) = 8*d - 16. Let b be n(-2). Are -32 and b equal?
True
Let f = 43852 - 657503/15. Let q = 56/3 - f. Are 0.3 and q equal?
False
Let s = 2 + -5. Let g(v) = 4*v**2 + 6*v - 4. Let k be g(s). Which is smaller: 13 or k?
13
Let d = 3 + -5. Let h be (-8)/(-4) - 2/d. Suppose -4*t = -5*p + 4*p - 2, -3*p = -h*t + 6. Are 2/5 and t nonequal?
True
Suppose 4*r - 20 + 0 = 0. Let s = 3 + -2. Let p be ((-8)/6)/(s/(-3)). Which is smaller: p or r?
p
Suppose 7 + 17 = 3*v. Which is bigger: 3 or v?
v
Let q = -81 + 85. Which is smaller: q or 1?
1
Let s = -124 + 123.9. Is s > -57?
True
Let g be (-4027)/(-18) - 2/4. Let v = g - 223. Is -1 <= v?
True
Let x = 7.7 + -8. Let m = 661 - 468. Let v = -1349/7 + m. Is v >= x?
True
Let l = -29 + 28.09. Let v = -5.01 - l. Let q = v + 4. Do q and -1 have different values?
True
Let l(y) = 9*y**2 - y. Let i be l(1). Suppose 4*r + 4*h = -12, 4*r - h + 0 = i. Is r bigger than 2/15?
True
Let b be (-2)/(-35)*5*1. Which is smaller: -0.9 or b?
-0.9
Let o(q) = -q**3 + 5*q**2 - 6. Let k be o(5). Let n be -2 - (1 + k)*-1. Does n = -7?
True
Suppose 0 = 4*v + 5*j - 8, 4*v - j + 0*j = 8. Let g be 2*1/v - 37. Let a be 30/g*(-3)/10. Is 0 equal to a?
False
Suppose -21 + 1 = -5*y. Suppose 0*m + 3*b - 3 = m, -m + 25 = y*b. Which is greater: m or 8?
m
Let p(n) = -n**2 + 4*n**2 + 1 - 5*n**2 - 5*n - 2*n**2 + n**3. Let s be p(5). Which is smaller: s or 5/4?
s
Let j = 40 - 359/9. Do j and 1/3 have the same value?
False
Let g = -1 + 1. Let c = -3 - -5. Suppose c*k + 2*k = g. Which is bigger: k or -2/5?
k
Suppose -g + 6*g = 5*m + 110, -2*g + 40 = -3*m. Suppose 5*u = -2*t + g, -t + 0*t + 4*u - 13 = 0. Let o be t/1*(-1)/(-12). Which is greater: 2/5 or o?
2/5
Let t be 4/(-14) + (-2)/14. Let n = 58/7 + -8. Are t and n nonequal?
True
Let g be (1 - 0)*(-13 + 12). Which is smaller: -12/13 or g?
g
Suppose 25*m - 10*m = -30. Let r = 1 + -5. Is m greater than or equal to r?
True
Let h(t) = -t**3 - 6*t**2 - 4*t - 3. Let d be h(-6). Let w be (7/d)/((-2)/6). Which is bigger: -4 or w?
w
Let q(t) = t**3 + 6*t**2 - 1. Let c be q(-6). Let l be (-2)/(-3) - 6/9. Let r = l - 0. Is r >= c?
True
Suppose -213 = -9*s + 12. Is s greater than or equal to 24?
True
Let k = 7 + -2. Suppose k*h + 0 = 10. Suppose -4*b - 8 = 4*s, 4*b + h = 5*s + 3*b. Is s greater than or equal to -2/5?
True
Suppose -4*b = 4*i - 20, 2*i = -5*b - 2*i + 23. Which is bigger: b or 12/7?
b
Let u = 0.5 + -1. Let p = 1 + u. Let k = p + -0.6. Which is bigger: k or 0?
0
Let o be 1/10*(-32)/(-8). Let p = 0.0178 - 2.0278. Let q = p - -0.01. Is q at most as big as o?
True
Suppose 0*i + 2 = i. Suppose -i*h + 5*h = -3*s, 5*h - 24 = 3*s. Which is smaller: -4 or s?
-4
Let z = -2 + 2. Let o be -16 + -2*(1 + z). Let y be 0*-3*3/o. Is 0 greater than y?
False
Suppose 0 = -3*s - 5*g - 46, -2*s + 3*s = 3*g + 8. Which is bigger: s or -8?
s
Let g = -21 - -30. Is g >= 8?
True
Let x = 9 + -5. Suppose 2 = 5*d - x*d. Is d < 2?
False
Let s(g) = -g**3 + 5*g**2 + 2*g + 3. Let p be s(4). Let k = p - 137/5. Which is smaller: k or 0.06?
k
Let p = 1/220 - 367/8140. Which is smaller: p or 0?
p
Let p(t) = -t - 6. Let r be p(-6). Suppose r = -3*d - 0*d - 9. Let a be (((-3)/2)/d)/(-1). Which is bigger: a or 1?
1
Let u(g) = -6*g + 10. Let y be u(-2). Which is bigger: y or 2?
y
Let j be -4*(-1)/2 - 105/57. Is -1 equal to j?
False
Let x = -13075 + 902192/69. Let c = x - -2/23. Which is greater: c or 0.03?
c
Suppose 0*h = 5*h - 15. Let n(l) = l**3 - 3*l**2 + l. Let g be n(3). Let p = g - h. Is -2 greater than or equal to p?
False
Let m be (3*(-1)/6)/2. Let z = 3/4 + m. Is z at most as big as 3/4?
True
Let s = -0.08 + 0.1. Let t = s + 1.98. Which is greater: t or 0.1?
t
Suppose 5 = -5*i + 2*h, 0 = -3*i - h + 4 - 7. Which is bigger: i or 1/3?
1/3
Let v(t) = 13*t**2 - 2*t - 2. Let i be v(-1). Which is greater: i or 12?
i
Let g = -737945/9 - -82083. Let y = g - 6281/72. Is y < 1?
False
Let d = 2/331 - -492/28135. Which is bigger: d or 1?
1
Let z be (-2 - 0)/(-1 - 1). Let a = 13 + -23. Let f be (-7 - a) + 32/(-10). Which is smaller: f or z?
f
Let r be (1 + (-1)/2)*2. Are r and 1 equal?
True
Let i(z) = -z**2 - 16*z - 72. Let f be i(-8). Suppose -4*o - o - 39 = 2*q, o + 26 = -3*q. Is f at least q?
False
Suppose -4*o + 2*o + 2 = 0. Let b be ((-4)/(-16))/((-14)/12). Is b not equal to o?
True
Let q be 11/4 - (-1)/4. Suppose -q*y = -7*y + 20. Let o = y - 6. Which is bigger: o or 1?
1
Let x be 2 - (4 - 0/2). Let b = -3 - x. Which is smaller: b or 0?
b
Let s = 4 - 3.4. Let f = -38 + 38.5. Let j = f - s. Is -2/3 at least as big as j?
False
Suppose 4*j = -j + 5*t - 10, 6 = 3*t. Which is smaller: j or -3/19?
-3/19
Let n be ((-28)/(-10))/((-6)/(-15)). Let p be n/5 - (-18)/30. Which is smaller: 0 or p?
0
Let i be (-13)/5 - (-2)/(-5). Let j be 1/3*(2 + -14). Is i at most as big as j?
False
Let n = 0.01 + -0.21. Let d = -173/2 + 88. Is n at least as big as d?
False
Let x be ((-2)/3)/(11/(-3)). Suppose d - 5*q + 24 = 0, -3*d + 4*q - 17 = -0. Do d and x have different values?
True
Let s(o) = -9*o - 1. Let l be s(1). Let j be l/(-14) - 12/12. Do j an