Which is bigger: -5 or q?
q
Let q be 6/8*9/(-27). Which is smaller: q or -8?
-8
Let x = -10 - -3. Is x greater than -2?
False
Let o = -17.5 + 25. Let m = 1.5 - o. Let k = m - -6.6. Which is smaller: 0.1 or k?
0.1
Let p = -0.02 + 5.02. Which is greater: p or 1/3?
p
Let h be (2/(-1) - 1)*1. Let c be h/(-4) + 2/8. Which is smaller: c or 0?
0
Let g = -8 + 11. Let l = g + -2.9. Let u = l + -0.3. Which is smaller: u or -0.1?
u
Suppose v - 5*v = -16. Suppose 0 = v*d + 2 - 6. Which is bigger: d or 3?
3
Let j = 0.54 + -0.64. Let g be 3/((-30)/(-16))*-5. Is g >= j?
False
Let m = 3 - -2. Let d = -3 + m. Let r = -2.1 + d. Is r less than -0.1?
False
Let r = 2 + -1.8. Let t = r + -0.1. Let h = 3.8 - 4. Which is smaller: h or t?
h
Let h = -3.1 + 2.9. Is -0.01 equal to h?
False
Suppose -4*o + 11 = 3. Is 1/2 less than or equal to o?
True
Suppose -4*o = -2*o - 14. Let r(k) = 3*k - 22. Let p(j) = 2*j - 15. Let z(c) = 7*p(c) - 5*r(c). Let x be z(o). Is -0.1 at least as big as x?
True
Let m be (8/4)/(2/(-5)). Let y = 2 + m. Let a be 1/y - 4/(-3). Which is greater: 2/7 or a?
a
Suppose 1 = -4*l - 15. Let q be 5 - 1/1*0. Suppose -3*o - 2*o - 19 = f, q*f - 25 = 5*o. Is o less than or equal to l?
True
Let c(v) = -v**2 - 4*v - 2. Let b be c(-3). Suppose -4 = -4*s, y + y - 49 = -s. Let j be (-8)/(-6)*y/(-80). Which is smaller: b or j?
j
Let w be 456/(-9) + 4/6 - -3. Do -48 and w have the same value?
False
Let h = 0.36 + -0.26. Which is bigger: 72/11 or h?
72/11
Let s = 1.26 - 0.73. Which is smaller: s or -1/2?
-1/2
Let m = -3067/6 + 105299/206. Is 1 equal to m?
False
Let m = 360 + 76. Let p = m - 10026/23. Are 1 and p equal?
False
Let k be ((-18)/4)/((-21)/(-28)). Let j = 5 + k. Which is bigger: j or -1/10?
-1/10
Suppose -3*n + 17 = 2. Let j = n + 1. Let k be j/4*(-2)/(-15). Which is smaller: k or 0?
0
Let k = -0.962 + -0.038. Which is greater: k or -7.1?
k
Suppose -2*l = -2*t - 16, 2*t = -5*l + 3*t + 20. Suppose 3*f - 2*f - 2 = 0. Is f less than l?
True
Suppose -5*c - 4*y = 40, -5*c + 2*c + 5*y + 13 = 0. Let t be 9/c + 2/8. Is t not equal to -2/3?
True
Let a be -7 + -1 + -1 - -1. Let t be (a/30)/(10/(-25)). Which is greater: 3 or t?
3
Let o be ((-7)/4 + 2)*0. Does o = -2?
False
Suppose 2*l = 3*n + 13, -2*n - 2*n = 2*l + 8. Suppose l = 3*t - 4. Which is smaller: -1 or t?
-1
Let o = 2/137 - 151/959. Are 1 and o non-equal?
True
Suppose -5*p = -p - 8. Is p bigger than 0.2?
True
Let i be (-15)/(-6)*(-24)/(-10). Let c = i - 29/5. Does 1 = c?
False
Let t = -10 - -15. Suppose t*b + 18 = 4*q - 4, 2*q = -4. Which is smaller: -19/3 or b?
-19/3
Suppose -2 = -b - 0*b. Let m be (-6)/8*b/6. Which is greater: m or -0.3?
m
Suppose 20 = -3*m + 56. Suppose -m = -3*p - 0. Is 5 less than p?
False
Let d = -12.9 - -12.8. Are 5/2 and d non-equal?
True
Let j = -9 + 13. Let q be (-5)/j*4/(-120). Which is smaller: q or 0?
0
Let g(w) = w**3 + 6*w**2 - w - 6. Let r be g(-6). Suppose -3*m + r*m = 0. Let b = 2/31 - -52/155. Is b bigger than m?
True
Suppose -4*m = 16, 2*f + 2*m + 12 = -0. Suppose 0 = -4*n + 2*n + 2. Let w = n + -2. Which is smaller: f or w?
f
Let g = 6 - 8. Let q = -3 - -5. Suppose -5 = q*c + 1. Are c and g equal?
False
Let o = 22 - 24. Which is smaller: 3 or o?
o
Let c(l) be the second derivative of l**5/20 - l**4/2 - l**3/6 + 3*l**2 + l. Let g be c(6). Suppose -4*s = -g*s + 8. Is -2 at least as big as s?
True
Suppose -m + 5*m + 40 = 0. Let l be (-5)/2*m/(-50). Is l > -2?
True
Let x = -4.5 + -1.5. Let q = x + 4. Let g = -1.9 - q. Which is greater: 0.2 or g?
0.2
Let p be 8/(-3)*(-3)/(-2). Let x be p/3*(-6)/4. Suppose -5*g = -x + 7. Which is greater: g or 0?
0
Let r = 11 - -14. Are r and 26 equal?
False
Let z be 8/(-2) - (-8)/2. Suppose 3*f + 3 + 27 = z. Which is smaller: -11 or f?
-11
Let p(s) = s + 1. Let w(h) = 2*h + 4*h - 5*h - 4. Let q be w(3). Let y be p(q). Is -1 < y?
True
Let a = 3.6 - 3. Are 0 and a equal?
False
Let t = -26 - -33. Let w = 6.7 - t. Which is smaller: -0.01 or w?
w
Let n(s) = -s**3 - 11*s**2 - 8*s + 19. Let k be n(-10). Let h = -2 - -1. Is h bigger than k?
False
Let r = 28.1 + -27. Let k = 0.8 - r. Let j = 0.2 + k. Which is bigger: j or 0?
0
Let v be 469/(-462) + (-4)/(-22). Is v at least -2?
True
Let o = -16 + 11. Which is bigger: o or -10?
o
Suppose 0 = -2*i + i + 4*u - 16, -i + u = 13. Let o = i + 99/8. Suppose -d - 3*d + 4 = 0. Are d and o nonequal?
True
Let n be (39/(-52))/(3/(-16)). Let a be -68*2*n/(-32). Which is smaller: 16 or a?
16
Let r(u) = 5*u + 9. Let d be r(-2). Is 0.05 less than d?
False
Let x = -2 + 1.5. Let n = 20 + -20.5. Let t = x + n. Is t less than or equal to 1?
True
Let w be (-2)/5 - (-240)/100. Let z = w - -9/2. Which is bigger: 6 or z?
z
Let f = -18 - -12. Is -2 less than f?
False
Suppose -6 + 27 = 3*w. Which is bigger: 0.1 or w?
w
Let h be (35/14)/(2/4). Suppose h = -z - 3*t, -z - 5 = -3*t - 0. Is -3 at most as big as z?
False
Let q = -4 - -4. Are -3/5 and q equal?
False
Suppose -2*d = 2 - 0. Which is bigger: 3/7 or d?
3/7
Let q be ((-1)/(-20))/((-28)/(-10) - 2). Is 1 less than or equal to q?
False
Suppose -2*j + 3*a + 12 = 0, 2*a = -2*a. Suppose 5 = -i + j*i. Suppose 0 = -0*u - u. Which is smaller: u or i?
u
Suppose 2*w - 7*w = 0. Let i be 3*((-4)/16)/1. Is i less than w?
True
Let m = -3.91 + -0.09. Which is smaller: m or 1.9?
m
Let n = -9 + 6. Let v = -0.94 - 0.06. Let t = v - -2. Which is bigger: n or t?
t
Let z = 2 - 0. Suppose 2*j - 5*k - 16 - z = 0, -j + 10 = -3*k. Is 5 > j?
True
Let f = 1 + -2. Let o = f + 11/7. Which is bigger: 0 or o?
o
Let x be (-5)/(-7) - 8/(-28). Are x and 4/27 unequal?
True
Let f be (-21)/45 - (-3)/(-9). Let i be (-1)/(-1*(-1)/(-4)). Suppose i*q + 0 = -8. Which is bigger: f or q?
f
Let s(k) = -k**2 + 2*k + 4. Let x be s(4). Let l be x/(-6) - (-2)/12. Does l = 0.1?
False
Suppose 6*y - i = 2*y - 11, 11 = -2*y - 5*i. Which is greater: -1 or y?
-1
Let l = -0.1 + 0. Suppose -2*o - 3*o = 0. Let p be (3 + -2)/1*o. Which is greater: p or l?
p
Let k = 0 - 4. Let q be 2*1*2/k. Are 2/7 and q non-equal?
True
Let y = 1.5 + -1. Is 0.2 less than y?
True
Let t = 39347/27 + -1457. Let y = 182/297 + t. Is 2 bigger than y?
True
Let m = 689 - 4811/7. Are m and 1 non-equal?
True
Let k = -15 - -9. Let y(s) = -s**3 - 7*s**2 - 6*s - 1. Let l be y(k). Which is smaller: l or -2?
-2
Let l = 18 + -18. Is 2/23 at least as big as l?
True
Let z be (4/(-6))/((-8)/36). Let v = 0.1 - -0.2. Let w = 0.2 - v. Which is smaller: w or z?
w
Let i = -27/17 - -3/34. Which is bigger: 1 or i?
1
Let h = -0.05 - -2.05. Suppose -2*m - 2 = 0, 0*m + 1 = r - 2*m. Let c be (-2)/r + 33/(-15). Which is smaller: c or h?
c
Let d(l) = l**2 - l + 15. Let j be d(0). Let p be (76/(-45))/((-78)/j). Let z = -4/39 + p. Which is greater: 0 or z?
z
Let i = 178.6 + -195. Let b = 14 + i. Let t = b - -0.4. Which is bigger: t or -0.2?
-0.2
Suppose 0 = 2*i + 5*f - 24, -2*f + 10 = i - 0*f. Suppose 0 = i*g + w + 2, 0 = 3*w - w + 4. Which is smaller: 7/5 or g?
g
Suppose 8*j + 60 = 4*j. Let u = 15 + j. Which is smaller: 10/7 or u?
u
Suppose 2*t = t + 222. Let n = -2445/11 + t. Which is smaller: -1 or n?
-1
Let n(w) = -w**2 - 5*w - 4. Let j be n(-4). Which is bigger: 3/46 or j?
3/46
Let l be (0 - (-4)/(-28))*2. Is l at most -8?
False
Suppose -2*c = 3*d - 9, -d + 6 = 5*c + d. Let y be 24/128 - c/(-1). Is 0 not equal to y?
True
Suppose -4*g = -4*v + 12, g + 0 = 2*v - 2. Let x be 2 + -1*(1 - 3). Suppose x*w + 33 = -5*b, 0*w - 4*b - 18 = -w. Which is smaller: w or g?
g
Let x = 19 + -29. Is -12 bigger than x?
False
Let b = 0.24 - 0.04. Do -7 and b have the same value?
False
Let t be (-7)/14*(-4)/(-6). Do t and -1 have different values?
True
Suppose -k = 6 - 4. Which is smaller: k or -1/3?
k
Let b(i) = 2*i + 6. Let m(o) = o + 8. Let r be m(-12). Let t be b(r). Which is bigger: -5 or t?
t
Let x = -5.1 + 0.1. Let h = 5.1 + x. Is -1 < h?
True
Let y = -20 + 19. Do 7 and y have the same value?
False
Let d(s) = -2*s - 17. Let r be d(-7). Do r and -3 have different values?
False
Let y be (-10)/15*(7 + -1). Suppose 0 = 3*n - 11 - 10. Suppose -3 + n = -q. Is q greater than or equal to y?
True
Suppose -5*w + 19 = -u, 0 = -0*w + 2*w + 3*u + 6. Let d be w/23*2/3. Which is smaller: d or 1?
d
Let m = 13 - 18. Let k be -12*(10/4)/m. Does k = 1?
False
Let z = -22 - -20. Let x be (8 + z)/((-3)/2). 