 least f?
True
Let s = 35 + -19. Let x = -14.5 + s. Let m = x - 1.3. Do m and -2/7 have the same value?
False
Let w = -100 + 99. Which is smaller: w or 0.69?
w
Let r = 802/2985 + -2/995. Which is smaller: r or 2/11?
2/11
Let h be (-42)/(-5) - 4/10. Suppose 5*r - h - 7 = 0. Let d be ((-6)/(-4))/((-48)/(-160)) - -1. Which is bigger: r or d?
d
Let l be (553/154 + -2)*(-36)/(-231). Is 0 less than or equal to l?
True
Let o = 13 + -28. Let s be 20/o*(-3)/2. Let n(l) = l**3 + 3*l**2 - 3. Let f be n(-2). Which is bigger: s or f?
s
Let j(y) = y**3 - 8*y**2 + 3*y + 5. Let k be j(7). Suppose 4*t + 50 = -3*b, 0 = -2*b + 6*b + 2*t + 80. Are b and k equal?
False
Let u = 591/187 + 33709/7854. Let o = u - 43/6. Which is smaller: o or 2?
o
Suppose -2*n = -624 + 554. Which is smaller: n or 40?
n
Let k be 2715/(-612) - ((-235)/(-60) + -4). Do k and -3 have different values?
True
Let i = 50.5 + -40.5. Which is smaller: i or -4?
-4
Suppose 55 = 98*k - 103*k. Are k and -2 non-equal?
True
Suppose 2*c + 6 = 0, 5*c = 5*w + 2*c - 14. Let n = 11.62 - -1.38. Is n bigger than w?
True
Let p be (-12)/(-90) - 13064/(-120). Is p bigger than 109?
False
Let p = 10 + -4. Let y(x) = 40*x - 74. Let z be y(2). Does p = z?
True
Suppose -2*d + 14 = 2*r, 0 = -5*r + 2*d + 17 - 3. Suppose 0 = r*x - 2*f - 6, -4*f = 2*x + 2*x + 12. Suppose x = 4*u - 8, -2*m + 3*u + 39 = 3*m. Is 8 <= m?
True
Suppose 37 = 6*q + 7. Let x be (-3)/q + 42/35 - 2. Are x and -2 nonequal?
True
Suppose -3*z = 2*q + 11, 4*z + 10 = -3*q - 6. Which is bigger: -5/22 or z?
-5/22
Let u(r) = r**3 + 12*r**2 + 42*r + 10. Let f be u(-6). Is -134/5 < f?
True
Suppose -79*u = -95*u + 48. Let a(d) = -d**3 + d**2 - d. Let y(q) = -4*q**3 + 5*q**2 + 3. Let v(r) = -3*a(r) + y(r). Let p be v(u). Is 3 != p?
False
Let l = 0.9553 - -0.0447. Let o = 3.5 + -1. Is l > o?
False
Suppose 5*h = -3*t - 515, -4*h - 5*t - 312 = 113. Do h and -101 have different values?
True
Suppose 3*m + 16 = -20. Let b be (m/4 - -4)*0. Which is greater: b or 2/195?
2/195
Let m(u) = -u**2 + 6*u - 3. Let b be m(5). Let n be (b/44)/(1/6). Suppose -t + 8 = 3*t + 2*g, -3*t = 5*g - 13. Does t = n?
False
Suppose 3*o - 107 = 37. Let n be (2/4)/((-15)/o). Let d = n - -41/10. Are d and 4 non-equal?
True
Suppose 5*d + 17*o = 18*o - 383, -302 = 4*d - 3*o. Is -85 greater than d?
False
Suppose 4*m - 4*r = 12, 5*m - 7 = m - r. Suppose 3 = 3*q - b, 0*b - m = -2*q + 2*b. Is q at most as big as -8/19?
False
Let n = 13 - 10. Suppose -4*v + n*z = -v + 33, 5 = v + 3*z. Let p be 2/8*(-3 - v). Is 2/33 > p?
False
Let v be -3*(-12)/(-16)*(-48)/366. Is 0 greater than or equal to v?
False
Let h = -633.3 + 123.3. Is 0.1 > h?
True
Let r = 1987 + -2142. Which is smaller: r or 3/2?
r
Suppose -4*w = w - 225. Let u = w + -40. Is u greater than or equal to 5?
True
Suppose b + 5*r - 24 = 0, -4*b = -2*r + 225 - 211. Is 3/50 greater than or equal to b?
True
Let i be ((-9)/4)/((-454)/112 - -4). Let k = 38 - i. Suppose 0 = v - 2*o + 5, v + 4*v + 25 = o. Are k and v non-equal?
True
Suppose u - 26 = 2*a - 4*a, 0 = u + 5*a - 41. Suppose 6*l - 73 = -25. Is u != l?
True
Suppose -5*l + 28 = 4*g - 9, 8 = 4*l - 4*g. Suppose 5*m - n - 65 = 4*n, l*m = 4*n + 67. Which is smaller: 17 or m?
m
Let p = 3 + -6. Let c(a) = a**2 - 8*a. Let x be c(12). Let z = x - 50. Are p and z equal?
False
Suppose 3 + 3 = 2*m. Let y be m/9*(-639)/(-2). Let p = -2775/26 + y. Which is bigger: p or 0?
0
Let s be ((-4)/6)/(-2)*(-10 + 37). Let x be 28 - (s/(-18) - 1/2). Which is greater: x or 28?
x
Let a be -1258 + (-1 - (5 + 1 - 4)). Let m be 168/a + (-38)/(-247). Which is bigger: m or -1?
m
Let v(o) = -7*o + 31. Let f be v(-11). Are 108 and f equal?
True
Suppose 0*a + 5*u = 5*a - 25, 0 = -2*a + 3*u + 10. Suppose 3*y = a*y - 8. Suppose 17 - 5 = y*s. Is 2 bigger than s?
False
Let i = -14.56 + 15. Let z = 1.24 - i. Which is greater: z or 0.08?
z
Let q = 481 + -494. Which is smaller: -12 or q?
q
Suppose 21 - 15 = -i - 5*d, i = 4*d + 39. Let p be 2/8 + (-79)/(-4). Is p < i?
False
Suppose 4*b = 3*l - 7*l + 48, -3*l + 58 = 5*b. Suppose 0 = -7*u + b*u. Let k be ((-12)/2)/(-5*1). Which is greater: u or k?
k
Suppose z = 6*z + 25. Let n be (-285)/60 - (-1 + 13/12). Is z not equal to n?
True
Suppose -3*a + 2*v + 69 = 0, 5*v - 9 + 24 = 0. Suppose -11 = -4*l + a. Which is greater: 7 or l?
l
Let y be (10/(-4))/(70/56). Which is smaller: y or -25/12?
-25/12
Suppose 7*i - 192 + 353 = 0. Is i at least as big as -24?
True
Suppose 7 + 2 = -n. Let r = 11 - 3. Let l = r + n. Do -1 and l have different values?
False
Let f be (2/15)/((-4)/(-12)). Let v = -18 - -21. Which is greater: f or v?
v
Let q be (-106)/(-3) + (-4)/(-6). Suppose -q = 4*j + 2*v + 66, -3*v = -3. Let r = j - -13. Is r > -13?
False
Let o = 1/2506 + 95139/223034. Which is greater: 1 or o?
1
Let m(d) = -d**3 + 9*d - 3. Let h be m(-4). Let p = h + -22. Let q be 0*p*(-4)/(-24). Which is smaller: -2/25 or q?
-2/25
Let z be 1033/(-172) + 12 + -6. Which is bigger: z or 0?
0
Let g(n) be the third derivative of -n**5/60 - n**4/8 - n**3/6 + 14*n**2. Let s be g(-3). Is -1 bigger than s?
False
Let j be 2 + 1 + 10/165*-51. Let y = 0.03 - 0.33. Let f = y + 0.1. Which is smaller: j or f?
f
Suppose -3*j + 192 = -120. Let u be -3 + 3 + j/28 + -4. Which is greater: -9 or u?
u
Let b be (-6)/(-18) - (-66926)/(-42). Let l = b - -1596. Let z(s) = 23*s + 142. Let c be z(-6). Which is bigger: l or c?
c
Let u = 220992/77 + -20095/7. Let p be (3 - 0)*(-4)/(-22). Let v = p + u. Which is smaller: v or -1?
-1
Let s = -3/94 + 147/188. Is s at most as big as -35?
False
Let i be (-10 - -1) + -10 + 7. Let z = 3 - -16. Let w be (-2 - z)*(-4)/(-6). Is i > w?
True
Let h(p) = 270*p. Let z be h(1). Suppose 2*s - z = 4*s. Let t = s - -397/3. Is -3 at least t?
False
Let j = 7.78 + 3.27. Let n = -8 - -19. Let s = n - j. Is s not equal to 0?
True
Suppose -q - 40 = -3*q. Let d be (12/8 - 0)*-2. Let h be d/(((-16)/(-7))/(-2) + 1). Is h at least q?
True
Let s = 320 + -235. Which is bigger: s or -1?
s
Let s = -1.46 + 2.42. Let r = 5.04 + s. Are 1 and r unequal?
True
Let j = -108517/68 + 1596. Is -1 equal to j?
False
Suppose 0 = -3*d + 5*m + 20, -4*m - 25 + 9 = 2*d. Which is bigger: -4/23 or d?
d
Let y = 25.2 + -25. Let x = 7 + -10. Let w = x + -1. Is w > y?
False
Let k be 3/((-12)/(-193)) + 57/76. Is k < 49?
False
Let m(v) = v - 14. Let n be m(13). Let k be ((-69)/(-2 + 5))/n. Let t = 22 - k. Which is smaller: 3/7 or t?
t
Suppose 3*z - 20*w - 193 = 0, -z + 33*w + 51 = 28*w. Let l be (1 + (-13)/15)*85. Do z and l have the same value?
False
Let v(r) = -r**3 + 4*r**2 + 7*r - 7. Let k be v(5). Suppose -6*n = -9 - 39. Let l be n*2/4 + k. Which is greater: 6 or l?
l
Let y be (-15 - -10)*(-10 + -1). Suppose -4*r = -5 - y. Which is bigger: 14 or r?
r
Let d = 6 - -1. Suppose -d*l = -3*l + 4. Let r be (40/(-22) + 2)*l. Which is smaller: r or 0?
r
Let x = 5.05 + -23.94. Let k = -19 - x. Let h = k - -0.21. Is -4 <= h?
True
Let l = 19/28 - 10/7. Let g(v) = -2*v**2 - 10*v**2 - 13*v + 39 + 13*v**2. Let d be g(5). Which is bigger: d or l?
l
Suppose 0 = -5*p + p + 16. Let k be (6/p - 2)*0. Is k greater than or equal to -2?
True
Suppose n = -7*b + 3*b + 12, 0 = -5*n + 20. Suppose 3*l = 9 + 3. Suppose t = -l*t + 5*d + 35, t = -5*d - 17. Which is smaller: t or b?
b
Let y(x) = -7*x + 2. Let z be y(1). Let t be (-4 - (-350)/86)/z. Let s = 379/3655 - t. Do s and -1 have the same value?
False
Suppose 22 = 11*u - 22. Suppose 0 = -u*w + 3*q - 12, 5*q = 2*w + 7 + 13. Is -2/31 != w?
True
Let f be 3*4*6/72 - 44. Is f > -49?
True
Let a = 2 + -2. Let k be (0 - a) + 53/(-1). Let s = k + 688/13. Which is bigger: 1 or s?
1
Suppose -21*a = a + 88. Let b = 0.01 - -2.99. Is b less than a?
False
Let a be 6/(-18) + 26/6. Let t = a + 1. Suppose t*b = 2*b. Which is greater: b or -1/3?
b
Suppose -3*l - 13 = -0*x - x, 2*x = -4*l - 14. Let n be (l/(-6) + 0)*84/70. Are n and 0 equal?
False
Let i = 15 + -11. Let m = -2 - i. Is m at most -1/2?
True
Let q be 4/(-3) - (-2)/(-3). Let m be q*9/(-21)*-7. Let l be ((-4)/m)/(8/(-228)). Is -18 >= l?
True
Let q be (-3)/5*425/(-51). Which is greater: q or 58/15?
q
Let l be (-2)/(-7) + 312/(-14). Let x be ((-4)/25)/(-10*7/175). Does x = l?
False
Let w = 8 - 13. Let u be (4 - 2)*(w + 6). Let l be 30/(-7) - u/(-7). Which is bigger: l or -3?