s = -1.2 + 0.2. Which is smaller: m or s?
s
Let s = 12 - 20. Is -7 smaller than s?
False
Let f = 171 - 177. Which is smaller: f or 4?
f
Let i = -0.07 + -11.93. Let r = i + 12.07. Let q = -0.13 - r. Is q less than -1?
False
Suppose -2*s - 2*k - 14 = 2, 0 = 3*k - 12. Let j = s - -17. Let l = j + 0. Which is bigger: l or 4?
l
Let g = -3 + 1. Let a = -1 + g. Let z = -5 - a. Which is greater: -1/3 or z?
-1/3
Let k = -3/64 - -137/192. Suppose 3*y = -4*l + 19, 5*l - l - 3*y - 13 = 0. Suppose -m - m = -l. Which is smaller: k or m?
k
Let q = 12.91 - 13. Let l = q - -4.09. Which is bigger: l or 1?
l
Let q(h) = h**2 + 3 - 7 + 3. Let w be q(2). Let u(a) = 2*a - 7. Let k be u(5). Is w greater than or equal to k?
True
Let j(s) = 2*s - 11. Let y be j(7). Suppose u + 6 = 3*a, -y*a + 2*a + 2 = -3*u. Which is greater: u or -0.07?
u
Let i(s) = -s + 2. Let n be i(-4). Let f be (8/(-10))/2*-15. Suppose n*t - 3*t - f = 0. Is 1 greater than t?
False
Let j = 3.02 + -3. Let p = j - 1.02. Let n = p - -1. Which is greater: n or -4?
n
Let c(w) = 2*w**3 + w + 1. Let m be c(-1). Suppose l - 4*i - 8 = -3, 0 = -3*i. Let s = 2 - l. Is s greater than m?
False
Let l be -2*(-3)/3 + 7. Let j be 588/9 + 3/l. Let a = j - 1567/24. Which is smaller: 1 or a?
a
Let s = -16 - -15.6. Let y = s - 0.6. Is 5 at most y?
False
Let x = 17 + -16.9. Is x > 2?
False
Let s be (2 - 2) + -9 + 3. Let b = s + 6. Which is greater: b or -0.3?
b
Suppose -4*o - 36 - 2 = -5*n, 5*o = 5*n - 50. Is -0.5 smaller than o?
False
Let q = 1.2 - 0.5. Let h = q - 0.4. Which is smaller: -4 or h?
-4
Let p be (-27)/(-85) - (-12)/(-102). Which is smaller: 2/5 or p?
p
Suppose 5*b + 14 + 36 = 0. Let h be -1 + (-1 - (-1 + b)). Which is bigger: 8 or h?
h
Suppose -2*o + 2*c + 34 = 0, -o - 4*o - 3*c + 93 = 0. Is 19 smaller than o?
False
Let d(n) = n**2 + 4*n + 3. Let u be d(-2). Which is smaller: u or -7/6?
-7/6
Let j = -40.99 - -41. Is j smaller than -2/3?
False
Let i(h) = 5*h**2 - 3*h + 4. Let r be i(-3). Is 57 at most r?
True
Let k = 0.465 - -0.035. Is 1/5 smaller than k?
True
Suppose 5*m + 1 = -l, -1 = -m - 2*l - 3. Which is greater: 2/61 or m?
2/61
Suppose 7*h = 3*h. Suppose h = 5*k + 14 + 61. Which is smaller: -14 or k?
k
Suppose -17 = -5*z + a, -2*a + 12 = 2*z - 2. Let s be z/(-6)*15/160. Which is smaller: s or 0?
s
Let u be ((-4)/22)/(5 - (6 - 3)). Is -3 at most u?
True
Let u = -6/119 + -1992/2975. Which is smaller: u or -1?
-1
Let y be (0 + 3/21)*-2. Let l = -6.28 - -6. Let j = l + 0.08. Is y greater than or equal to j?
False
Let o = 66 - 62. Let v = 5 + -1. Let x be -2*(-6)/v*1. Are o and x unequal?
True
Let o = 3 + 0. Suppose o = f - 0. Suppose 6*y = f*y. Which is bigger: -2 or y?
y
Suppose 5*r + 4*p - 3*p = 7, 3*r - 5 = -p. Let o be 10/48 - (-2)/(-8). Is o bigger than r?
False
Let o = -0.2 + -2.8. Let z = o - -3. Which is bigger: -0.2 or z?
z
Let u = 1 - 1.12. Which is smaller: 5 or u?
u
Let o be (4/(-230))/(8/(-8)). Which is smaller: -1 or o?
-1
Let o be (5/(-3))/(4/(-132)). Suppose 5*k = o + 15. Suppose -c - l - 2*l = -k, 2*l - 6 = -4*c. Are c and 0 non-equal?
True
Let i = 1.5 + 0.5. Let o = i - -1. Which is smaller: o or -1/2?
-1/2
Let i = 29 - 28. Is 14 not equal to i?
True
Suppose 0 = 146*c - 150*c + 12. Let j be 5/(-3) + (-4)/(-6). Let a be (j - (-27)/(-15)) + c. Which is greater: 1 or a?
1
Let r = 2.04 - 0.04. Let x be (40/(-12) - -3)/(-1)*4. Is x less than or equal to r?
True
Suppose 4 = -0*y + 2*y. Let k be 2 + (-6)/y + 22. Suppose 1 = 2*l + 2*q + 7, -5*q - k = -l. Which is greater: 2/5 or l?
l
Let n be (-4)/(-48)*-2*2. Let i be ((-1)/6)/(2/(-4)). Does i = n?
False
Let o be 1 - 19*(-1)/(-2). Let s = o + 115/14. Suppose -5*p + 3 + 7 = 0, -p + 2 = -5*j. Which is bigger: j or s?
j
Suppose 0 = -2*u - 6*x + 2*x + 78, -5*u = -x - 173. Is 36 at least u?
True
Let q be (-3 + 12/4)/3. Is q smaller than 0?
False
Let p = 7 + -4. Let o = p - 3. Do o and 0 have the same value?
True
Suppose 49*f = 44*f. Which is smaller: f or -2/33?
-2/33
Let q = 1.3 + -0.9. Let h = 11 - 12. Are q and h non-equal?
True
Suppose 2*d - 6*d - 16 = -3*i, -2*d = -2*i + 8. Let a = -787 - -8663/11. Is i at most a?
True
Let i = 1.5 - 2.5. Which is smaller: -1/7 or i?
i
Let i be (-2)/(-10)*(-55)/(-33). Is i <= 1.3?
True
Let u = 7.8 - 8. Let o = 2.8 - u. Is 0 > o?
False
Let l be ((-80)/25)/(62/(-5)). Which is bigger: 0 or l?
l
Let x be (-6)/(-15) + 141/(-15). Is 1 at least as big as x?
True
Let m be 5 + -4 - (0 - -1). Let f = 17 - -37. Let y be 1*2 + (-63)/f. Are m and y non-equal?
True
Let a = -51 - -51. Let k = -1579/19 + 83. Is a < k?
False
Let i = 260 - 766/3. Is i bigger than 4?
True
Let m = -1 + 3. Which is smaller: m or -0.3?
-0.3
Suppose 2*b + b + 3 = 0, -4*b + 2 = c. Suppose -2*m + 29 = 19. Are c and m nonequal?
True
Let l = -0.2 + 0.2. Let q = 1 + l. Let x = -2 - -3. Is q at least x?
True
Let l(n) = -4*n - 1. Let w be l(9). Let u be w/(-36) + 2/9. Does u = 1?
False
Suppose 6*r + 41 = 11. Is r less than 2?
True
Let i = 71 + -71. Let l = 1 - 0.95. Is i <= l?
True
Let w = 4 + -8. Let i = w - -6. Is i >= 8/7?
True
Let j = -59 - -945/16. Let x = 331 - 331. Which is bigger: x or j?
j
Let s = 55 - 102. Is s != -47?
False
Let b(m) = -m**2 - m. Let u = 3 + -4. Let t be b(u). Which is greater: -4/5 or t?
t
Suppose 8 = 3*m - m. Let c(d) = d**3 - 5*d**2 + 3*d + 5. Let r be c(m). Is 4/3 equal to r?
False
Let x = -0.12 + 0.17. Let r = x + 4.95. Which is smaller: r or 0?
0
Let o(r) = -r**3 + 15*r**2 + 16*r + 3. Let x be o(16). Suppose 4*y = 20, 1 - x = 3*s - y. Let h = 80 + -563/7. Which is greater: s or h?
s
Let o be 4/86*(-2)/(-8). Are o and 1 unequal?
True
Let p(j) = 8*j**3 + j**2 + j. Let b be p(-1). Let q be b/(-36) + (-8)/(-126). Suppose -2*h = -4*m + 14, 16 = 7*m - 3*m. Is q smaller than h?
True
Let w = 1 - 2. Let o = 0.18 - 0.08. Is o less than or equal to w?
False
Suppose -2*f - 28 = 2*p - 0*p, 0 = -5*f - 20. Is -10 > p?
False
Let a be (3/(-9))/(2/(-42)). Is a at most 8?
True
Let b be (-12)/7 - 4/14. Let g(j) = -j**3 - 14*j**2 - j - 16. Let a be g(-14). Are a and b non-equal?
False
Let w be 4/(-16) + 26/40. Is w >= -1?
True
Suppose 3*d + 4*g - 71 = 0, -4*d + d + 2*g = -77. Let t = 26 - d. Are t and 0 equal?
False
Let x(t) = -t**3 - 7*t**2 - t - 7. Let w be x(-7). Let h(m) = -m**2 - 2*m + 4. Let y be h(-6). Let r be 0 + -2*(-2)/y. Is w at most r?
False
Let z be (-2)/4 - (-18)/20. Let m = -174 - -176. Is z less than or equal to m?
True
Let g = 6 - 4. Suppose g*s = 3*s + 4. Which is smaller: s or -3?
s
Let j(k) = k**2 + 18*k + 3. Let o be j(-8). Which is smaller: o or -1?
o
Suppose 5*z - 3*i = -2*i + 250, 3*z + 3*i - 132 = 0. Are 50 and z unequal?
True
Let m = 0.9 - -0.1. Let t = -1.9 - -2. Let f = t - 0. Which is smaller: m or f?
f
Let c(j) = -j**3 + 14*j**2 - 11*j - 30. Let a be c(13). Is a at least as big as 3?
False
Suppose o + 3 = -2. Let s be (-12)/(-10)*(-120)/(-36). Let z = 0 - s. Which is greater: o or z?
z
Let v(i) = -3*i - 3. Let g be v(-2). Let f(q) = -q**2 + 3*q + 3. Let d be f(g). Suppose 0*h + 3*h = -d. Is -1 < h?
False
Let n = 16 + -2. Suppose -5*m - 5*u + 55 = 0, u - n - 7 = -2*m. Suppose -k = 5*v - m, 4*k = 5*v - 0*k - 10. Which is smaller: v or 1?
1
Let k = 2.68 + -3. Which is bigger: 0.1 or k?
0.1
Let v = 17.1 - 16. Let o = 1 - v. Are 4 and o equal?
False
Let s be 3/2*(-4)/(-6). Let w be s - (-6 - -2)/(-1). Let m be (-1 + -3)*w/(-4). Are m and -3 equal?
True
Let z = 25 - 35. Let j be (z/4)/(4/(-8)). Suppose -4*d + j*s = -12, -3 = d - 2*d - 2*s. Which is smaller: d or 4?
d
Suppose 3 = -u + 1. Let p be 1 + u + 0 + 0. Are 0 and p nonequal?
True
Let i = -77/6 - -13. Let g = 3 + -2. Which is greater: g or i?
g
Let q(j) = j**3 + 5*j**2 + 3*j - 1. Let n be q(-4). Suppose -4*g = 2*z + 30, n*g - 1 + 4 = 5*z. Let v be (-8)/1 - (-15 - -12). Which is smaller: g or v?
g
Suppose p + 4*p = q, -5*p - 5*q = -30. Let m be (30/4)/((-8)/(-192)). Let b = m + -1983/11. Are p and b unequal?
True
Let w = -3.98 - -0.18. Let l = w - 0.2. Let i = -2 - l. Which is smaller: -1 or i?
-1
Suppose -4*j - 8 = -6*j. Which is smaller: j or 2?
2
Suppose -o = 2*o - 3, 2*o = -3*g + 23. Are 5 and g nonequal?
True
Let u be (6/9)/((-2)/12). Let c(h) = h + 3. Let w be c(u). Is w at most as big as -1?
True
Suppose -5*d + 28 = -4*b - 2*d, 4*d = 0. Does -17/3 = b?
Fal