 -1?
r
Let j be (1/5)/((-1)/17). Is -4 less than or equal to j?
True
Let m be (-72)/22 - (-7 + 5). Is m less than -1?
True
Let z = 3 + -3.1. Let q = 4 + -1. Let n = -3.1 + q. Is z smaller than n?
False
Let z be -11 - 20/(-5) - -6. Are z and -4/51 non-equal?
True
Let a be (0 + 1)/(3/57). Suppose 0 = -h + 3*h + 5*v + 29, -3*v = 2*h + a. Let s be (2 + (-7)/3)*1. Is s smaller than h?
False
Suppose 2*i + 7 - 23 = 0. Let v be 3/(-4) + 6/i. Suppose -4*r + 0*r - 4 = v. Which is smaller: r or -2/5?
r
Let n = -1 - 0. Let k(f) = -f + 2. Let q be k(-3). Suppose -q*g + 5 = -5*w, -5*g + 5*w + 3 = 2*w. Which is greater: n or g?
g
Let v(q) = -q - 3. Let o(w) = -w - 4. Let s(h) = 5*o(h) - 6*v(h). Let y be s(-4). Let t be (18/27)/((-7)/y). Which is greater: t or -1?
t
Let w be 1102/20 - (-4)/10. Let f = 1217/22 - w. Do f and 0 have different values?
True
Let w be 2 - (21/70)/((-3)/(-15)). Does w = 11?
False
Let c be (-143062)/(-164060) + 1/2. Let p = -60/631 + c. Let j = p + -14/13. Is 0 > j?
False
Suppose 0 = -5*b - 0*c - 4*c + 13, 7 = -b + 4*c. Which is greater: b or 2/9?
b
Let l = 8 + 5. Let x = l - 12. Which is smaller: x or 3/7?
3/7
Let o = -7 + 4. Let g be 4/(-10) - 3/30*46. Is g greater than o?
False
Suppose k + 5 = 5*q - 3*q, -2*k + 5*q - 14 = 0. Suppose -3*w - k*a + 0*a = -6, 0 = -4*w + 2*a - 10. Is w less than -1/3?
True
Let f = -7003/3 - -2314. Let g = 22 + f. Which is smaller: g or 2?
g
Suppose -m + 15 = 35. Which is smaller: -21 or m?
-21
Suppose 0 = -0*m + 2*m + 40. Let n be ((-6)/m)/(2/(-8)). Which is bigger: -1 or n?
-1
Let m be ((-16)/28)/(-6 + -4). Which is bigger: m or -1?
m
Let b = 2/53 - 185/689. Let q = 250 + -251. Is b bigger than q?
True
Suppose 2*x - 1 = -3. Let l(z) = -z**3 + 5*z**2 + 6*z - 1. Let n be l(6). Is n at most as big as x?
True
Suppose 5*t = -3*t. Which is smaller: t or 3/23?
t
Let m = -32 + 33. Which is greater: 30 or m?
30
Let n = 17.81 - 18. Let g = n + -2.81. Which is bigger: g or -0.1?
-0.1
Let j be 5/((-90)/(-12)) - 13/(-3). Suppose -3 = -3*i - 0*i. Let r = i + 5. Which is bigger: j or r?
r
Let a = 17/55 + 1/11. Is a smaller than -1?
False
Let t(h) = -19*h - 3. Let p be t(-1). Suppose 0 = -g - 5*f + p, -3*g - 2*g - 25 = 4*f. Is g >= -9?
True
Suppose -2*x = -7*x - 10. Let z = 9 + 2. Let n = 9 - z. Is x greater than n?
False
Let i = 140 - 141. Which is smaller: -1/9 or i?
i
Let c be 914/(-8) + 19/(-4) + 5. Are c and -114 non-equal?
False
Suppose 3*q - 4*q = 0. Is 1 <= q?
False
Let a = -4 - -10. Let t be 4/(-15) + a/10. Which is smaller: 3/14 or t?
3/14
Let o = -115 - -118. Is 6 equal to o?
False
Let v be (2 - (1 - -2))*0. Suppose -4*h - 5*q = 17, -2*h - 4*q + v*q - 16 = 0. Let i(m) = -m**2 + 2*m + 4. Let b be i(3). Which is greater: h or b?
h
Let k be (6/3)/(0 + -1). Is k > -4?
True
Let f(w) = w - 12. Let r be f(3). Is -14 bigger than r?
False
Suppose -2*n + 3*q = 10 + 3, -3 = -3*n - 3*q. Let h = -304 + 301. Is h < n?
True
Let a(n) = -n + 1. Let o(t) = 1. Let r(i) = -a(i) - 3*o(i). Let l be (-1)/4 + (-2)/(-8). Let b be r(l). Which is smaller: -3 or b?
b
Let i = -9/43 + 293/989. Do 1/2 and i have different values?
True
Let r(x) = -x**2 + 5*x. Let b be r(3). Suppose -5*g = -7*g - b. Is g at most as big as -3?
True
Let h = -13 - -17. Is -3/2 greater than h?
False
Let r = -0.1 + 3.4. Let x = r - 0.3. Let v = x + 0. Which is bigger: v or 0?
v
Let z = -0.42 - -0.32. Which is greater: z or -5?
z
Suppose 0 = -5*k + 3*f + 15, 6*k - k + 2*f = 40. Let o be (-4)/k*(-3)/25. Which is smaller: o or -1?
-1
Let c = 13 - 12.9. Which is smaller: c or 4/9?
c
Let a = -0.22 + 0.02. Let i = a - -2.2. Which is bigger: -0.2 or i?
i
Let o = 13330465/27 + -493643. Let c = o - 78. Are c and 1 nonequal?
True
Suppose 3*q + 0*q + 54 = 0. Is -18 at least q?
True
Let j = -16 - -12. Is j bigger than -5?
True
Suppose 3*o = -5*a + 8, 4*a + 1 - 5 = -3*o. Let f = -38 + 42. Is f smaller than a?
False
Let m be (-4 + -1)*(-2 - 0). Let i be (-2)/3*6/m. Let y = 1.2 + -1.1. Which is greater: i or y?
y
Let b = -5 - -3. Let w = 3 + b. Is 1/2 at least as big as w?
False
Suppose 3*r + 0*r - 6 = 0. Let v be 0 + (-1 - -1) + r. Suppose 0 - v = -2*z. Which is bigger: z or 3?
3
Let y = 2740/633 - -1/211. Which is smaller: y or 3?
3
Suppose 3*z + 8 = 4*z. Let d be 1/(-2) - 4/z. Suppose -3*n - 17 = t, -5 = -2*t - 3*t + 3*n. Which is smaller: d or t?
t
Let z = -2 - -3. Let p(x) = -2*x + 1. Let c be p(1). Let k = c + z. Is k greater than or equal to -1/3?
True
Let p = -16 + 11. Let n = p + 5. Is n smaller than 9?
True
Let k(l) = 5*l**2 - 1. Let o be k(-1). Let q be o/16 + (-4)/126. Let w = -2/63 - q. Do -0.2 and w have the same value?
False
Suppose 4*m + 0*m - 20 = -4*g, -3 = -2*m + 5*g. Let q be 12/(-75)*(-10)/m. Is q bigger than -1?
True
Let x = 72 + -865/12. Which is greater: -2 or x?
x
Suppose 0 = 2*m + 4*s - 352, 0*s + 340 = 2*m + s. Let n be (2 + m/(-81))*-6. Is 1 at least as big as n?
True
Suppose 3*o - 8*o - 10 = 0. Let t = o + 12. Is 10 at least as big as t?
True
Let t = 25 - 44. Is t less than -19?
False
Let k(m) = -m**3 + 3*m + 3. Let s be k(-2). Which is smaller: 7 or s?
s
Suppose -4*n + 453 = -n. Let s = n - 309/2. Which is smaller: -4 or s?
-4
Let u = 25 + -35. Let m be (15/u)/((-1)/(-4)). Which is greater: 0 or m?
0
Suppose 3*x = 5*l + 8, 5*l - 4*l - 3*x + 4 = 0. Is l > -7?
True
Let y(m) = m**2 + 7*m + 7. Let n be y(-6). Is 2/75 > n?
False
Let m(t) = -2*t - 5. Let b be m(-5). Suppose -2*x + 2*i = -b*x + 18, 3*x = 4*i. Let h be (x/10)/(21/(-15)). Which is smaller: 0 or h?
h
Let x = 3940043099/6030 + -5880050/9. Let f = x + -310/67. Let r = -63 + f. Which is bigger: r or 1?
1
Let h be 3/2 - (-1)/2. Let p be 6/(-8) - (-1 + 0). Which is smaller: p or h?
p
Let p be (-2)/((-4)/6)*6/36. Is p >= 12?
False
Let l be 112/4*(-2)/(-8). Suppose 5*t = -3*o - 9 - l, -5*t - 2*o = 14. Let i = 3 + t. Which is greater: i or 2/5?
i
Suppose -5*d + 8 = -4*h, -d + 3*h - 5 = -0*d. Suppose 5*t + 24 - d = 0. Which is bigger: t or -3?
-3
Let x be 16/40 - 26/(-10). Let w be -1 + x - (-1 + 7). Does -5 = w?
False
Let y = 20 - 4. Let m be (-28)/y + 0/1. Which is smaller: m or -1?
m
Let i be (-120)/36*(-1)/2. Is i greater than or equal to 1?
True
Suppose 3*w - g - 60 = -5*g, -4*w = 4*g - 84. Let f be (w/10)/((-8)/60). Let m be 1/3*f/(-8). Which is greater: 2 or m?
2
Let s(o) = 2*o - 6. Let b be s(4). Let n be 1/(-5) + (-252)/(-60). Which is smaller: b or n?
b
Suppose -5*p + 5 = -4*v, -3*p + 7*v = 4*v. Suppose -11 = -p*c + 9. Suppose -2*g + 18 = -4*j, 0*g + 3*j + 3 = -2*g. Is g <= c?
True
Suppose -2*l - 3*g = 2*l - 29, -4*g + 37 = 5*l. Suppose -3*r = 5*i - i + l, -r = i + 2. Let s = 35/4 + -377/44. Is s at least i?
False
Suppose h = -3*h. Let y(w) = w**2 + 4*w. Let g = -5 - -1. Let v be y(g). Are v and h equal?
True
Suppose 3*j - 72 = -5*u, -u - 14*j = -12*j - 13. Which is greater: u or 11?
u
Let d = -3 + 6. Suppose -i + 3*s = -8, d*i - 9 = 5*s + 3. Is -1/2 <= i?
False
Suppose -b = -16 - 0. Suppose -12 = 2*y + y, -4*y = -3*x + b. Let i be 3*(-10)/(-26) - 1. Is i != x?
True
Let j(h) = -h**2 + 14*h - 3. Let p be j(14). Let r be 4*1*p/6. Which is smaller: -4 or r?
-4
Let j = 0.6 - 0.7. Let t = -0.02 + -0.01. Let i = t - 0.37. Which is smaller: i or j?
i
Let r(d) = -2*d**2 + d + 1. Let a be r(1). Is a bigger than 3/29?
False
Let l = -4 + 3.6. Let g = l - -2.4. Does g = 5/2?
False
Let g = 5 + -6. Let c = -4/67 + -42/1541. Which is smaller: g or c?
g
Let v be 10/55 + 2/(-11). Which is smaller: -1/17 or v?
-1/17
Let r be 2/(-4) + 92/(-8). Let c be 1 - 2*(-10)/r. Which is smaller: c or 0?
c
Let o = 95 - 94. Let z = 386836/99057 + -2/4717. Let a = z - 18/7. Which is smaller: a or o?
o
Let c = 6 - 11. Let y = c + 5. Let j = 0.1 + -0.1. Do y and j have different values?
False
Suppose 2*x - 3 = u, 3*x + x - 12 = 4*u. Suppose 3*c + 7 = 2*c + 2*a, 4*c - a + 14 = x. Which is greater: -2 or c?
-2
Let o = 3 - 8. Let r be (-1 - 2) + (-17)/o. Is 1 less than r?
False
Let u be (-33)/44 + 86/8. Let l = 7 - u. Is -2 > l?
True
Let y(w) = w**2 - 9*w - 1. Let c be y(9). Suppose 16 = 5*h - 19. Let k be (-1 + 1)*(h - 6). Is k less than c?
False
Let m = 0.16 - 0.1. Let f = 0.04 + m. Is 4/3 less than f?
False
Let j be (2/6)/((-3)/(-45)). Suppose 0*n + 5*n = -j. Let m be 6/(n - -3) + -2. Is 1 > m?
False
Let j = -4 - -4. 