e
Suppose 9*m + 10 = 14*m. Suppose -m*d + d = 3. Which is smaller: 3 or d?
d
Suppose w = 2*w. Let a be (-12)/3 + 90/35. Which is smaller: w or a?
a
Suppose -4*f = 4*g + 196, 241 = -4*g - g - 3*f. Let l = g + 69. Is 23 bigger than l?
True
Let i(x) = 2*x - 1. Let q be i(4). Let h(f) = 2*f - 2. Let z be h(q). Suppose -6*b + 2*b = -z. Do 2 and b have the same value?
False
Let j = 20 - 19. Is j <= -0.03?
False
Let j be (-1 - 3)*2/(-4). Let m(a) = -2*a**2 + 4*a + 1. Let t be m(j). Which is smaller: -1/15 or t?
-1/15
Suppose -2*h - 7 = -75. Suppose -5*v + h = -26. Let x be 3/v - 2/(-8). Is x > -2?
True
Suppose -3*r = r - 4. Let b be -1 - (0 - r - 1). Let i = -1.6 + 1.8. Is i at least as big as b?
False
Let h = -21 - -27.1. Let t = h + -6. Does 0.1 = t?
True
Let q be (4 - (-75)/(-20))*82. Is 20 at least q?
False
Let w = -1/17 - 14/51. Is 4/11 greater than w?
True
Let d = 10 + -6. Let i be ((-2)/d)/((-1)/2). Is i <= 1?
True
Suppose 0 = -4*w + 5*g - 21, -5*w - 20 = -g - 4*g. Is w greater than 1/92?
True
Let j be (-15)/6*(-8)/5. Let l be -3 + j - (-4)/(-3). Which is smaller: 0.2 or l?
l
Suppose -5*k - 126 = -4*x, 0 = -x - 0 + 4. Is k > -20?
False
Suppose 28 = -4*o - 3*j, 6*o - 4*j - 4 = 3*o. Is o bigger than -7?
True
Let m be (-177)/240 + 12/15. Which is smaller: m or 1?
m
Let i be 1*1654/(-13) + 3. Let d = -124 - i. Which is smaller: d or -1?
-1
Suppose 0*o + 6 = -3*o. Let h be (-45)/(-40)*o/2. Which is bigger: h or -2?
h
Let g = 0.02 - -0.18. Which is bigger: g or -4?
g
Suppose -3*q = 5*u - 9, 0*u - 4*u + 22 = -5*q. Suppose 7 = u*d + 1. Which is smaller: 5 or d?
d
Let r = -181 - -182. Is 3/19 at most r?
True
Let t = 297 + -2083/7. Let a(p) = -p + 7. Let g be a(7). Which is smaller: t or g?
t
Let u = 3718/5 + -735. Let h be (4/(-360))/(2/1508). Let o = h + u. Which is smaller: o or 1?
o
Suppose -4*b - 138 = -42. Let y be ((-2)/4)/(3/b). Suppose y*o = -2 - 2. Which is greater: o or 2/5?
2/5
Let x be 108/(-195) - 4/(-10). Suppose 5 = -79*v + 84*v. Is x greater than v?
False
Let n = 17 + -17.1. Let u = 2/11 + -28/33. Is u less than or equal to n?
True
Suppose 6*x - 3*x + 9 = 4*n, 0 = -n - 5*x + 31. Which is smaller: 5 or n?
5
Suppose -45 = 5*j + 25. Is j at least as big as -4?
False
Let y = -487/228 - -25/12. Which is bigger: -1 or y?
y
Let b be (0 - (-1)/(-1))/1. Let s be 4/10 + (408/70)/(-6). Is b greater than or equal to s?
False
Let z = -1.6 + -4.4. Let c = z - -6.03. Which is greater: c or -0.1?
c
Let y = -2.3 + -0.7. Let t = y - -3.1. Let f = 0.4 - 0.9. Is f less than or equal to t?
True
Let o be (-4)/(-28) - (-16)/(-14). Which is greater: o or 1/10?
1/10
Let c = -3 - -5. Suppose 4*d - 30 = c. Let n be 2 - (-6)/d - 2. Is n less than or equal to 0?
False
Let f = 2 + 1. Let k be (2/5)/(7/(-5)). Which is bigger: f or k?
f
Let u = 49.65 + 8.25. Let y = 64 - u. Let h = y - 6. Is h greater than or equal to 2/7?
False
Suppose 5*m + 130 = -5*j, -5*j + 4*m + 129 = -10*j. Which is bigger: j or -26?
j
Suppose 4*a - 3*a - 7 = 0. Let y(p) = p**2 - 5*p - 9. Let l be y(a). Suppose 0*r - l*r - 15 = 0. Which is smaller: r or -2?
r
Let b = 4.02 - 0.02. Let i = 0.3 + -1.3. Which is smaller: i or b?
i
Let b = 944/963 + 14/107. Is b >= 0?
True
Let y = 514/437 + -24/19. Which is smaller: y or 0?
y
Suppose -j - 4*x - 20 = 0, 3*j - 3 = 2*x + 7. Suppose j = 3*h + h - 8. Let q = 0 - -3. Are h and q non-equal?
True
Let y = -65 - -64.9. Let w = -0.11 - 4.89. Let r = w + 2. Are r and y nonequal?
True
Let p be (2 - 1)/((-4)/(-12)). Suppose -p*m = -m - 14. Which is greater: m or 8?
8
Let q(f) = -f - 2. Let c be q(-1). Is 6/23 less than c?
False
Let l(i) = i**3 + 5*i**2 - 7*i - 3. Let u be l(-6). Let t = u + -2. Suppose 0 = -3*m + 4*n + n + 6, 4*m = -3*n + 8. Which is bigger: t or m?
m
Let a = 2.38 - 2.1. Let b = a - 0.18. Are b and 0 equal?
False
Let s = 1 + 3. Suppose 3*d = -s*u - 5, 0*u + 3*u = 4*d + 15. Let l be 6/22*(-16)/24. Does l = u?
False
Suppose 261 = -5*d - 14. Which is greater: d or -54?
-54
Let r(n) = n**3 - 6*n**2 + n - 7. Let j be r(6). Let g = -4.4 + 0.4. Which is greater: j or g?
j
Suppose 3*r - 7 = -2*m, 3*r = -2*m + 2*r + 1. Is m at least -1/7?
False
Suppose 4*x - 4*z = 0, 2*x - 5 = 4*x - z. Let y = -12 - x. Is y less than -4?
True
Let v be 490/(4 + 3)*(-1)/1. Is v smaller than -70?
False
Let b = -0.1 + -0.1. Suppose -o + 3 = 1. Suppose n - 1 = o*n. Is b < n?
False
Suppose -2*f - 15 + 43 = 0. Let j be (f/10)/((-4)/10). Is j equal to -5?
False
Suppose 2*g - 55 = -5*p, 67 = 5*p - 4*g - 18. Is 13 at most as big as p?
True
Let h = -71 - -68.5. Is h <= 1/4?
True
Let b be (1/(-2))/((-1)/(-2)). Suppose 4*o + 2*c - 8 = 0, 16 = 2*o - 0*o + 4*c. Does o = b?
False
Suppose -3*m - 15 = 2*m. Let t(k) = -6*k + 3. Let b(h) = -5*h + 2. Let z(q) = 5*b(q) - 4*t(q). Let d be z(m). Which is bigger: d or 0.1?
d
Let f be 1*(-4)/(-64)*(2 - -4). Let c = -1 + 1. Suppose 4*h + 3*d - 3 = c, -4*h + 4*d - 4 = -0. Which is smaller: f or h?
h
Let u be (10/(-3))/(-5) - 52/42. Which is bigger: u or 0?
0
Let v be ((-2)/(-4)*6)/(25 - 22). Which is smaller: v or 8/7?
v
Let v(w) = -w**2 + 23. Let d be v(6). Is -150/13 greater than d?
True
Let d = 4 - -6. Suppose -d = -4*x + 6. Let y be x - -2*(-3)/6. Is 2 not equal to y?
True
Let k = 5 - 1. Suppose -k*z + 0*z = 8. Let d(n) = -n**2 - 5*n + 7. Let l be d(-6). Which is greater: z or l?
l
Let n be (-1)/1 + (-29)/(-31). Let j = -593 - -592. Is j at least as big as n?
False
Let x = -24 - -24. Let j be 0/4 - 4/(-2). Let n be (-64)/126 - j/(-7). Which is bigger: x or n?
x
Suppose -r + 70 = 4*r. Let i = r - 10. Suppose 12 = -4*n + 2*v, i*n + 5*v = -23 - 3. Is n at least as big as -4?
True
Let x = -629 + 629.02. Let j = 3.1 + -3. Is j bigger than x?
True
Let x be 3/(-5 + -1 - -2). Let f be 4/(-2) + 1 + 1. Let n(d) = d**3 - d**2 + d - 1. Let r be n(f). Is r > x?
False
Let v = -2 - 0. Let n = -1.8 - v. Which is bigger: 2 or n?
2
Let k = 44.9 + -48. Let z = k + 0.1. Which is smaller: z or -0.2?
z
Let n(o) = -o**3 + 2*o**2 + 1. Let x(i) = -i**3 + 5*i**2 + 6*i + 2. Let k be x(6). Let z be n(k). Let c be (-1 + z)/(-1 - 1). Is -1 equal to c?
False
Let y = 3 - 4. Let j = 9547/18 + -817/2. Let r = 122 - j. Which is bigger: y or r?
r
Let s be 9/11 + -1 + (-570)/(-110). Let i be (-3)/(0 - (-3)/(-4)). Suppose 0 = -2*a - 3*v + 2*v + 13, i*v = s*a. Is a >= 5?
False
Let i = 1.78 + -0.18. Let g = -5.4 - -6. Let r = g - i. Is -3 less than or equal to r?
True
Let v = -125 - -201. Let j be (-7)/v - (-3)/12. Do j and -1 have different values?
True
Let u = -0.205 - -0.105. Which is greater: u or 105?
105
Let f be (4/(-10))/((-12)/(-20)). Is f less than or equal to 6?
True
Suppose 0 = -5*k - 3*w + 24 - 3, -2*k + 2*w = -2. Let r = k - -4. Suppose c + 2*b = r, 4 - 2 = b. Is 2 bigger than c?
False
Let n = -29 + 35. Is -0.07 bigger than n?
False
Suppose 4*h + 64 = 4*y, -5*y - 30 = 3*h - 142. Suppose -s + 4*u + y = 0, 4*s + 3*u = 1 + 3. Let m be s + -2 - 33/18. Is m at most 0?
False
Let m = 0.7 - 0.8. Which is bigger: m or 6?
6
Suppose -21 = -3*o - 3*b, 0 = 2*o + 5*b - 11 - 12. Let p = 5 - o. Let g = -0.1 + 0.2. Which is bigger: g or p?
p
Let t = -8 + 6. Let f = t - -2.2. Let y(m) = -m**3 - 2*m**2 + 2*m - 1. Let u be y(-3). Which is bigger: f or u?
u
Let y = -52 + 70. Which is smaller: y or 0?
0
Let t = -0.03 + 0.04. Is -0.1 at most as big as t?
True
Let g(t) = -2*t**3 - 2*t**2 - t. Let h be g(-2). Suppose -3*l - 2*l - 3*q + 8 = 0, 0 = -5*l - 5*q + h. Is l less than 2?
True
Let d = 5/36 + 47/180. Which is smaller: 9 or d?
d
Suppose 5*u + 33 = 38. Suppose -6*i + u - 19 = 0. Which is greater: i or -7?
i
Let b(a) = a + 6. Suppose 4*k + m = 3*k - 4, 0 = 2*k + 5*m + 2. Let x be b(k). Suppose -2*z + 0*z = x. Which is smaller: 1 or z?
z
Let h = -2 - -15. Let f = h - 12.02. Let b = 0.02 + f. Which is greater: b or -2?
b
Let x = 8 + -4. Let a = 0 - x. Let g = a + 5. Is -4 at most as big as g?
True
Suppose -12 = -11*w + 10*w. Let i be ((-6)/w)/(2/4). Is 1 less than i?
False
Let v be (-2)/6 - (-21)/9. Suppose -n - 5 = -i + n, i - 1 = -v*n. Suppose -4*g + 12 = i*k, 3*k + 3*g = k + 9. Which is greater: -1 or k?
k
Let d be (-1)/2*(0 + 48). Let r = 14 + d. Is -2 smaller than r?
False
Let h be 2 - 8595/3325 - (-9)/15. Which is smaller: -1 or h?
-1
Let h = -20 + 10. Let a be (h/25)/(28/(-5)). Whic