 is smaller: 34 or m?
m
Let i be 1 - (6/11 + (2 - 1)). Let v be 12/(-20) - 4/10. Which is greater: v or i?
i
Let q be (4 - 1)/(3/(-9)). Let z be 8/q + (-4)/(-6). Let a = 2 - 3. Which is smaller: z or a?
a
Let i = 15 - 19. Which is bigger: -0.2 or i?
-0.2
Suppose -6*d = -d + 200. Let h be d/12*(-12)/(-5). Is h greater than -6?
False
Let u = 27 - 26.7. Which is greater: u or 0?
u
Let d(q) = -q**3 + 4*q**2 + 6*q + 2. Let s be d(5). Let r be 2/((-80)/28 + 3). Suppose -3*k = -k - r. Is s < k?
False
Suppose 0 = u + 2 - 3, -3*a - 2*u = -14. Which is greater: a or 1?
a
Let k be 4/(3/((-9)/(-24)))*0. Let n = -4 + 3. Let g be 11/(-6) - n - -1. Is g < k?
False
Let d = 117/368 + -3/23. Which is smaller: 0.1 or d?
0.1
Let z = 28.26 + -28. Let a = 0.16 - z. Suppose 4*u + 2*o = -2, 0*o + 4*o + 16 = 4*u. Is a not equal to u?
True
Let v = 15 + -14. Are v and 0.4 non-equal?
True
Suppose -4*n = n - 70. Let a be 6/30 - n/20. Do a and -0.2 have the same value?
False
Let v(c) = 433*c**3 - 13*c**2 - 3*c. Let l(n) = 144*n**3 - 4*n**2 - n. Let x(g) = 7*l(g) - 2*v(g). Let q be x(-1). Let r = 1003/7 + q. Is r >= 4?
False
Suppose 0 = 2*l - 4*w + 22, -l + 9 = -0*w + 2*w. Let o be (8/50)/(22/(-55)). Is l greater than o?
False
Let n be 1 + -1 + (-24)/(-8). Let y be 6/(n - 1) + -3. Is y >= 1/3?
False
Let m(z) = z**3 - 11*z**2 + 8*z + 14. Suppose j - 3 = 7. Let y be m(j). Is y smaller than -3?
True
Let g be -1 + (60/4)/(-5). Let c be (g - -5)*2/30. Let h = 2/93 + -101/372. Which is smaller: h or c?
h
Let a be 2974/(-70) - 2/(-10). Let i = 42 + a. Is i less than 1?
True
Let k = -388 + 3488/9. Suppose -4*i - p + 24 = -6*p, 4*p = 2*i - 18. Is i greater than or equal to k?
True
Let d be ((-16)/40)/(1/(-1)). Which is bigger: d or -13?
d
Let r = 0 + 0.1. Let x = -38 + 53. Let p be (2 - -3)*(-2)/x. Which is smaller: p or r?
p
Let s = 21.4 - 18.4. Let u = 0.2 - 0.1. Is s < u?
False
Suppose 5*h + u - 35 = 0, -25 = u - 6*u. Let g be h/(-4) - (2 - 4). Is 0 at least g?
False
Suppose -5*x - 3*v - 15 = 2*v, -x = -2*v. Which is bigger: -7/3 or x?
x
Suppose -1 = -t, -2*t - 20 + 2 = -5*g. Is 17/5 less than or equal to g?
True
Let t = -6 - -6. Which is smaller: 1/4 or t?
t
Let n(j) = j + 4. Let x be n(-9). Let d = 4 + x. Which is smaller: d or 2/11?
d
Suppose 2*g = -2*y - y + 12, 5*g - 5*y - 55 = 0. Suppose 5*w + g + 1 = 0. Let m be w*(-1)/(-2) - -5. Is 4 bigger than m?
False
Suppose -8 = 2*y - 4*y. Suppose -y*k - 4 = -0*k. Which is smaller: -2/5 or k?
k
Suppose 5 = 18*j + 59. Is -3 equal to j?
True
Let q be 3/9 - 2/(-3). Suppose 6 = -5*v + 1. Let i = 2 + v. Does q = i?
True
Suppose 3*y - 5 = 4*y - 3*t, -y + 13 = 3*t. Suppose 0 = -2*u + 3*g - 6, -2*u = 2*u + 4*g - 28. Which is bigger: u or y?
y
Suppose -100 = a + a. Is a at least as big as -49?
False
Let t be (1/3)/((-3)/(-18)). Let n be ((-4)/(-7))/(4 - t). Suppose 0 = -7*b + 2*b. Which is smaller: b or n?
b
Let c(j) = 3*j - 5. Let r be c(4). Suppose 2*p = r*p. Let b = -0.1 + 0.1. Is p > b?
False
Suppose 18 = m + 2*m. Is 7 < m?
False
Let a(l) = -l**3 - 11*l**2 - 29*l - 5. Let r be a(-9). Is 94 greater than or equal to r?
True
Let f(v) = 2*v**3 + 2*v**2 - v. Let y be 6/((-6)/(-1*3)). Let k be 8/6 + (-1)/y. Let g be f(k). Do g and 2 have different values?
True
Let d = -0.6 + 1. Is d at least 10?
False
Let n = 8 + -8. Let y = n - -5. Let u be 1/y*(1 - -2). Is 1 at least u?
True
Let g = -3 + 2.3. Let y = 38 - 38.1. Which is smaller: y or g?
g
Let a = 2.2 - 6.2. Is a greater than -3?
False
Let v = -1/62 + 16/31. Which is smaller: v or -47/2?
-47/2
Suppose 0 = -q + 2 + 3, 60 = -5*c - 4*q. Let y be ((-12)/c)/(54/16). Is -1 at least y?
False
Suppose 12 - 4 = g. Is g >= 6?
True
Suppose 0 = -j + 4*i - 5, 0 = -3*j + 3*i + 7 - 13. Suppose 2*u = y - 0*u + 10, -5*y = -u + 14. Which is bigger: j or y?
j
Let v = 0.047 - -7.353. Let o = -13 - -20. Let x = o - v. Which is smaller: -1 or x?
-1
Let k be -2 + 28 + (1 - 5). Is k smaller than 22?
False
Let s = -2 + 6. Let a(x) = x**2 + 12*x + 5. Let c be a(-12). Let v be (-2)/5 + 7/c. Does v = s?
False
Suppose 0 = 3*r - 6 + 15. Which is bigger: r or -9?
r
Let y = -632/7 - -90. Do y and 2 have different values?
True
Let q be (4 + (-80)/10)*(-2)/122. Is 0 smaller than q?
True
Let h(p) = 6*p - 1. Let d be h(3). Let i be 4 - (-3)/(-12)*d. Which is bigger: -1 or i?
i
Let x be (0 + 0)*3/(-6). Suppose x*g - 5 = 5*g. Let h = -9/5 - -13/10. Which is bigger: g or h?
h
Suppose 4*f = -f + 2*i + 20, -3*f + i = -11. Let s = 2 - f. Let c = -26 + 31. Which is greater: s or c?
c
Let l = -115697/3840 + 452/15. Is -1 greater than l?
False
Let i = -6.6 + 3.6. Which is greater: 0 or i?
0
Let p be (-166)/7 + (-28)/98. Is -23 greater than p?
True
Let d = 10/19 - -37/38. Let a = 39/4 - 10. Is a not equal to d?
True
Let y = -4 + 5. Is y at most as big as 2/15?
False
Let y = -15 - -14.9. Is -2 at least as big as y?
False
Let i = -4 - -6. Let r = i + -3. Let a be 4*(-1 + 50/52). Which is smaller: a or r?
r
Let v = 1.2 - 2.7. Let f = v + 1.6. Which is smaller: f or -7/5?
-7/5
Suppose 0 = -2*q - 14. Suppose -5 = 5*x, 4*y + 4*x + 7 - 27 = 0. Let f = y + q. Which is smaller: f or -2/9?
f
Let w(z) = -z**2 + 6*z - 10. Let s be w(4). Which is smaller: s or -18?
-18
Let q = -44 - -175/4. Which is smaller: q or 17?
q
Let w = -1950288/55 + 35452. Let c = w - -38/5. Is c equal to 0.1?
False
Let u = 16 - 15.82. Let h = u - 0.28. Suppose 5*d = 20, 0 = -2*c + 3*d - 8 - 6. Which is bigger: h or c?
h
Let h be (-3)/(-5) - (-7)/(-105)*159. Are -10 and h equal?
True
Let w = -0.2 + -1. Let a = w + 1.3. Which is smaller: 6 or a?
a
Suppose -4*l + 3*y + 10 + 3 = 0, 4*y + 16 = 4*l. Suppose 7 = 3*t + 7*h - 3*h, 2*h - 6 = -4*t. Is l less than or equal to t?
True
Let v = -3 - -1. Suppose 3*c - 2*g - 13 = 0, 4*g = -1 + 5. Suppose 17 = -c*q + 2. Which is greater: q or v?
v
Suppose 3*h + 58 = -2. Let n be (h/(-6))/(6/9). Which is smaller: 0 or n?
0
Let g = -57 - -58. Which is greater: -2/271 or g?
g
Let p = -2/57 + 124/285. Let v be 12/20 - 27/20. Which is smaller: v or p?
v
Suppose 4*w = -2*x + 14, 4*x - 5*w - 28 - 13 = 0. Which is smaller: x or 11?
x
Suppose -3*i - 2*i = -5. Suppose -3*k = d + 2 - 13, -4*d - i = -3*k. Which is smaller: 0 or d?
0
Let i(z) = 3*z - 4. Let y be i(4). Is y < 10?
True
Suppose b = -3*b + 16. Is 4 >= b?
True
Suppose 2*s - 4 + 2 = -3*o, -5*o - 4*s = -4. Which is smaller: o or 3/23?
o
Let r = 15 + -9. Let b be (r/18)/((-1)/(-6)). Let p be 13/(-5) - b/5. Is p at least -2?
False
Let l be 18/4*(-8)/6. Let w = 7 + l. Is w != 1?
False
Let d = -39659/9 - -4411. Is d at least as big as 3?
True
Let g be (3/24)/((-3)/(-6)). Which is greater: g or -1?
g
Let u = 32 + 1. Is u less than -2/7?
False
Let y be (-1260)/(-112)*(-2)/4. Which is smaller: y or 1?
y
Suppose 3*g - 15 - 39 = 0. Let i = g - 15. Which is smaller: i or 1?
1
Let i = 20 - 4. Suppose 2*v - 3 = -k + 2*k, -4*v = -4*k - i. Is 2/13 at most as big as v?
False
Suppose -2*k - 25 - 15 = 0. Do k and -19 have the same value?
False
Suppose 0 = 5*h - 4 - 6. Let n(b) = -b**3 - 6*b**2 - 5*b + 4. Let g be n(-5). Suppose h*u = f - 3*f + g, 5*f = u + 16. Which is smaller: u or 1/3?
u
Suppose 16 - 7 = 3*u. Is u >= 7?
False
Suppose 5*i + 6 = 2*i - 3*d, 3*i + 5*d = -10. Let z = i + 2. Suppose -3*q = z*q + 20. Is -3 <= q?
False
Let i = -51/2 - -149/6. Is i not equal to -0.28?
True
Let c = 1.95 + 0.05. Let a = c - 0.9. Let v = a - 0.1. Which is smaller: -2/3 or v?
-2/3
Let r = 0.2 + -0.21. Which is bigger: -0.1 or r?
r
Suppose 2*g - 3*z + 4 = -0*g, 3*g - 5*z + 6 = 0. Is -1 greater than or equal to g?
True
Let f = 1.2 + -2.2. Which is smaller: f or -2/5?
f
Let c = 93 + -281/3. Is 138 != c?
True
Suppose -5*z = -3*a - 14, -3*z - a = -z - 10. Suppose 0 = -z*j + 4*m + 4, 0 = -4*j + 5*m - 0*m + 6. Let g = -1 - -1. Which is greater: g or j?
g
Let u(z) = -z**2 - 4*z - 5. Let h be u(-2). Suppose 4*n = -x + 194, -2*n + 0*x + 5*x + 86 = 0. Let g be (2/3)/(n/(-27)). Is h greater than or equal to g?
False
Let s = 2623.26 + -2593. Let f = 30 - s. Is f less than -1?
False
Let z = 479/42 + -43/14. Which is greater: 7 or z?
z
Suppose 2*o + 4 - 8 = 0. Suppose o*w - 4*a - 16 = -0*w, -5*a - 27 = w. Is w > -2?
False
Let v = 25 - -16. Is 42 at least as big as v?
True
Let x(p) = 2*p**2 + 38*p + 34. Let a be x(-18). Is a at least 0