rue
Let h be (-4)/9*4/8. Let k = 1.4 - 2. Let m = k - -0.4. Is m bigger than h?
True
Let r = -0.1 + 0.1. Suppose 2*j = 2*l + 20, -8*l = -12*l + 5*j - 43. Which is smaller: l or r?
l
Suppose 0*o = o + 4*o. Which is smaller: o or 1?
o
Let y(i) = i**2 - 5*i - 4. Let u be y(4). Which is bigger: -5 or u?
-5
Suppose 5*y = a - 5, -4*a + 9 = -2*y - 5*a. Is -1 less than or equal to y?
False
Let r = 4 + -4. Let g be (-36)/(-19) + (r - 2). Is g smaller than -1?
False
Let a be 1*(2/(-2) + 2). Suppose 2*h + 5*g - 51 = -0*h, 0 = 5*g - 25. Let x be -2 + 4 - h/6. Which is greater: x or a?
a
Suppose -2*t + 3*r - 15 = 0, 0 = t + 3*r + 4 - 19. Which is bigger: t or 1/5?
1/5
Let b = 136 - 143.08. Let g = -7 - b. Let s = 0.11 - g. Do -0.1 and s have the same value?
False
Let j(f) = f + 2. Let i be j(2). Let w be (-14)/(-6) + 6/9. Which is smaller: i or w?
w
Suppose -4*z = z + 15, -5*j + z = -63. Suppose -j = 2*l - 5*l. Suppose -5*c + 4*r + 24 = 0, -l*c - 2*r + 18 = -4*r. Which is smaller: 3 or c?
3
Let x(f) = -3*f - 42. Let p be x(-13). Suppose -i + 4*d + 7 = -2*i, 2*i = -2*d - 8. Let q = i + -2. Is q < p?
True
Let x be 31/105 - ((-11)/(-5) - 2). Which is bigger: 2 or x?
2
Let s be ((-39)/6240)/(((-3)/(-22))/(-3)). Let p = -1119/16 - -70. Let f = p + s. Is f greater than 0.2?
False
Let s = 51 + -51. Is s >= 7/10?
False
Suppose 0 = -0*a - 5*a + g - 4, 0 = -2*a + 2*g - 8. Let h = 30 + -14. Let i be (-4)/10 - h/10. Are a and i unequal?
True
Let d = 2.5 - 2. Let z = d - 2.5. Which is bigger: -2/7 or z?
-2/7
Let a be -4*(-1 - (-9)/12). Suppose a = y + 3. Let z be y/(3/3*-2). Which is greater: -3/7 or z?
z
Let i = -5025/13 + 387. Which is smaller: 0 or i?
0
Suppose 6*f = -5*q + f, -5*f = -q + 12. Suppose -q*h + 4*p = -p - 27, -5*h = 4*p + 15. Which is smaller: 5/6 or h?
5/6
Let f be 678/(-2226) - 8/(-28). Is f less than 1?
True
Let r(a) = a - 11. Let h be r(8). Let w = 3 + -8. Let j = w - h. Is j < -2?
False
Let h be 1/(3/(-12)) - -2. Suppose 3*v + 2*v = 0. Is v bigger than h?
True
Let c be (-192)/33 + 10/5. Let v = c - -272/77. Is -1 smaller than v?
True
Suppose 0 = -0*o + 2*o + 4. Let f(a) = a**2 + 2*a. Let j be f(-5). Let t be 5*(-3)/j*3. Which is smaller: t or o?
t
Suppose -x - 1 = -0. Let k be (4/30)/((-3)/(-12)). Let b = 26/105 - k. Are x and b unequal?
True
Let g(t) = -20*t**2 - 3*t + 2. Let x be g(1). Let w = 19 + x. Is -4/5 less than w?
False
Let k = -35 + 247/7. Let u = -3 + 2. Is u >= k?
False
Let n be 1/(-3)*10*-9. Suppose -160 = -0*d - 5*d. Let a be d/n - (-6)/(-9). Which is smaller: -1 or a?
-1
Let b(c) = -c**3 + 9*c**2 - c + 10. Let w(m) = -m + 21. Let y be w(12). Let u be b(y). Which is smaller: -3/10 or u?
-3/10
Let p be 9/(-12) + 2/(-8). Let d = -1131976/27745 - 4/5549. Let b = -122/3 - d. Which is greater: p or b?
b
Let b = 365/611 - 10/47. Which is smaller: 1 or b?
b
Let q be (-33)/39 - 2/13. Is q <= 0?
True
Suppose 2*o = -o. Suppose 2*a + 2*a - 4 = o. Which is bigger: -3 or a?
a
Suppose 0*p + 2 = -2*p. Suppose g = -b - 0 - 5, 5*b + 25 = -2*g. Are g and p non-equal?
True
Let r = -2.1 + 0.7. Is -1 > r?
True
Let d = 1.7 + -0.3. Let n = d + -0.4. Which is smaller: -2 or n?
-2
Let i be (-1622)/504 - (-33)/11. Let k = 19906/63 + -316. Let g = i + k. Which is smaller: g or -2?
-2
Let p = 20 + -14. Is 4 greater than p?
False
Let i be (11/22)/(1*-2). Let q = 0 - 0. Let a = -0.2 - q. Which is smaller: a or i?
i
Let v = 5 + -7. Let a = 3/2 - 5/6. Is a greater than or equal to v?
True
Let m be (-4)/14 - (-2)/7. Suppose m = -2*d - 0*d + 30. Let x = d - 9. Is x bigger than 6?
False
Let t be 3/(-4)*(-14)/(-777). Which is greater: t or 1?
1
Suppose 3*d = -0*d. Is d < -3/32?
False
Let k = 0.1 - 0.1. Let v = -0.74 + -0.16. Let q = v - -0.5. Is k greater than q?
True
Let u be (5/10)/((-3)/(-12)). Which is smaller: u or 0?
0
Suppose -d + 53 = -4*b, 0 = d + 2*d + 9. Let i be -4 + 3 + (-12)/b. Let y = -5/14 + i. Are 0 and y equal?
False
Let g = -9 + 13. Let p(y) = 6*y**2 + y. Let v be p(-1). Suppose -g*k - k - v = 0. Which is greater: k or -2?
k
Suppose 4*s - s - 3*d = 42, -5*s = d - 88. Which is bigger: s or 31/2?
s
Let g(w) = 2*w - 1. Let f be -1*1 - (-1 - 2). Let v be g(f). Let j = v - 3. Is j at least 0.2?
False
Let m(h) be the first derivative of -h**4/4 + 7*h**3/3 - 5*h**2/2 - 4*h + 3. Let w be m(6). Which is smaller: 2/5 or w?
2/5
Let j = 42 + -30. Let a = -8 + j. Is a >= 1?
True
Let i be (-4)/(-14) - 24/35. Which is smaller: i or 1?
i
Suppose -3*m - 4*o + 6 + 8 = 0, -o + 15 = -5*m. Suppose -8*z + 5 = -7*z. Suppose 3*t = 2 - z. Which is greater: m or t?
t
Suppose -2*t + 56 - 9 = 3*i, 0 = -3*t - 4*i + 68. Let y(w) = -w**3 + 7*w**2 - 6*w - 2. Let u be y(6). Let r be (34/t + -2)*u. Is r greater than 0?
False
Suppose 3*a = -3*j + 4 + 2, -2*a - j = -4. Suppose a*v + 3 = -7. Let u(x) = -3*x - 1. Let l be u(1). Which is bigger: l or v?
l
Let q = -66 - -67. Let a(z) = -z**2 - 4*z. Let t be a(-4). Let d(m) = -m**3 - m**2 + m. Let f be d(t). Is f <= q?
True
Suppose 0 = -0*p + 2*p + 10. Let c = p + 3. Suppose 3*z + 4*k - 7 = 2*k, -z + k - 1 = 0. Which is smaller: c or z?
c
Let v = 19 + -27. Let l be (6 - 4)/(v/6). Let j be (-9)/4 - 3/(-12). Is l < j?
False
Suppose -3*d = -4*d + 4. Suppose -2*r - z + 2*z + 4 = 0, 0 = 3*r - d*z - 11. Which is greater: r or 2?
2
Let t(d) = d**3 - 21*d**2 + 2. Let w be t(21). Does 3/5 = w?
False
Let l be (-1)/4 - 23/4. Let b be (4 + l)*10/(-4). Which is greater: -1 or b?
b
Suppose -2*n + 2*j = -n + 3, -5*n - 4*j = -55. Is n at most 11?
True
Suppose 8*y = 3*y - 20. Suppose 5 = -5*b - 5. Which is greater: y or b?
b
Let l be 2/(-5) + 272/10. Let q = l + -27. Let y(j) = j**2 - 7*j + 10. Let u be y(5). Which is smaller: q or u?
q
Let y(d) = d**3 - d**2 + d - 6. Let a be y(0). Let i be (0 - 1)/((-3)/a). Is i less than -3?
False
Suppose 0 = -6*r + 3*r + 3. Let w = -2 + r. Is w equal to -0.2?
False
Let q(g) = -g**3 - 11*g**2 + 14*g + 26. Let p be q(-12). Does p = 26?
False
Let i = -345004 - -3791736/11. Let y = -301 - i. Is 1 at least as big as y?
True
Let k be (6/15)/(3/(-90)). Let d = 12 + k. Suppose 3*n + 2 = -n + a, 4*n - 5*a = -10. Are d and n non-equal?
False
Suppose 0 = 4*x - 3*u - u - 96, -4*x - 4*u = -112. Let o be x/10 + (-8)/(-20). Suppose -4*g = 2*j - 8, -3*j = -g + o*g - 8. Is j < 0?
False
Let p = -119/444 + 2/111. Is p less than 0?
True
Let y(c) = -c**2 + 8*c - 9. Let o be y(6). Suppose -2*j + 3*i = -o*j - 2, 5*j + 5*i = 0. Let u be (-2)/1 - (-16)/10. Is u bigger than j?
False
Suppose 8 = 6*i - 2*i. Which is greater: i or -1?
i
Let i = -4 + 3. Let t be 45/12 - i/4. Suppose u - 7 = -4, -21 = t*z - 3*u. Which is smaller: z or -2?
z
Let v = -19 + 26. Is v at most 7?
True
Let f be -3 + (4 + -2)/1. Let c be -5 + f + 4 + -1. Which is greater: c or -0.1?
-0.1
Let n be 11 + -14 + (1 - 3/(-2)). Is 1/5 < n?
False
Let l = -4/41 + 31/738. Let y = 13/18 + l. Which is greater: y or -0.07?
y
Let k be ((-10)/3)/((-1)/3). Let r be (k - 5)*(-6)/(-10). Which is bigger: 5 or r?
5
Let c be 36/15 + 2/(-5). Let v be (3/3)/((-3)/c). Is v less than 3?
True
Suppose k = 4*i - k, 3 = -3*i + 3*k. Is 2/5 < i?
True
Let n = 0.91 + -0.9. Let f = n - -0.99. Is f <= 2?
True
Let m be (-3)/255*-2*5. Let w = -3 - -2.96. Let l = 0.06 - w. Which is smaller: m or l?
l
Let j = -3.3 + 3. Which is greater: 0.3 or j?
0.3
Suppose -98 = 3*r - 2*v - 36, -r = -3*v + 9. Is r at least as big as -26?
True
Let y = -7 + 17. Let u be (-23)/(-70) - 4/y. Let j = -9/70 + u. Are 0 and j equal?
False
Suppose -2*x - 30 = -4*m, -2*m - 2*m + x = -25. Suppose 0 = -3*g + 15, -m = -2*d + 2*g - 17. Is -1/2 equal to d?
False
Let b = -47 + 29. Which is greater: -1/4 or b?
-1/4
Let c = -0.2 + 0.19. Let s = -63.49 - -64. Let b = s + c. Is -0.1 smaller than b?
True
Let z = 43/2 - 21. Suppose -14*b + 15*b = 0. Which is greater: z or b?
z
Suppose 1 = -3*i + 2*i, i + 161 = 4*o. Is 39 at least as big as o?
False
Suppose -17 = -2*i - 1. Let u be 1/(-2*(-10)/i). Which is greater: u or 0?
u
Let p be ((-2)/(-1) - -1) + 1. Which is greater: p or 0?
p
Let y be (-14)/(-6)*7/49. Let h = 1 - -1. Suppose 0 = -5*r + 5*k + 25, -5*r - 1 - 9 = h*k. Which is smaller: y or r?
r
Let q be (14 + -2)*(-2)/(-4). Which is bigger: 3 or q?
q
Suppose 0*j + 3*j = 5*t - 16, 5*j + 2*t = -37. Are j and -25/4 non-equal?
True
Let j = -16 -