s 7 = u?
False
Let m(x) = x**2 - 7*x - 1. Let a be m(7). Let v be -3 + 0*a/(-3). Which is greater: -1 or v?
-1
Let c be -1 + -1 - (-336)/161. Which is smaller: 0 or c?
0
Let r = -97.1 + 93. Let k = 4 + r. Let l(m) = m**3 - 5*m**2 - 7*m + 5. Let g be l(6). Which is smaller: k or g?
g
Let g = 38341/6 + -12299/2. Let o = g - 244. Is -2 less than o?
False
Let d be (48/(-30))/(4/(-10)). Is d < 14/5?
False
Let m = 48 + -44. Which is greater: 14/3 or m?
14/3
Let u = -20 - -21.3. Let l = 0.3 - u. Let v = 0 - l. Which is smaller: -2/5 or v?
-2/5
Let v be 3 + -5 + (-27)/(-12). Which is greater: 0 or v?
v
Suppose -g + 6 = 3*y, 4*g - 17 = -4*y - y. Suppose -5*j = -5*w, 4 = g*w + j - 2*j. Let z = 111/4 - 27. Which is bigger: z or w?
w
Let k = -94 - -108. Is k at least -2/7?
True
Let n be (4/(-6))/(16/24). Which is smaller: n or -1/18?
n
Let c be (154/8)/(1/(-4)). Let s = 383/5 + c. Which is bigger: 0 or s?
0
Let i be (2/(-16))/((12/(-6))/30). Which is greater: i or 0?
i
Suppose -4*f - 24 = -2*c, f + 15 + 0 = -4*c. Let h = -461/62 + -2/31. Which is smaller: f or h?
h
Suppose -j + 5*j + 32 = 0. Let b be j/(-52) + 134/(-26). Is b greater than -5?
False
Let a = 2.72 + -2.72. Let u(g) = g**3 - g**2 - 9. Let k be u(0). Which is greater: k or a?
a
Let o = 0.6 + -0.59. Let f = 0.01 - o. Let u = f - 0. Are 2 and u nonequal?
True
Let g be 1/(1/(3 - 1)). Suppose g*u + 2 = 8. Which is bigger: u or 2?
u
Let s = 2.5 - 7.5. Is -0.2 at least as big as s?
True
Suppose d - 10 = -2*m - 2*d, 4*m + 20 = 4*d. Let q be (-3)/12 + 1 + m. Which is smaller: q or 1?
q
Suppose 4*v = -292 - 336. Let c = v - -1102/7. Let b be (1 - (4 + -4))*-1*1. Which is smaller: b or c?
b
Let d = -2/521 - -20854/3647. Which is bigger: d or 6?
6
Let o = 96923/89 + -1089. Are o and 0 unequal?
True
Let y = -3 + 4. Which is smaller: y or -0.3?
-0.3
Let g be ((-1)/2)/(2/68). Let x be (6/(-4))/(15/160). Is g at least as big as x?
False
Let c(h) = -h**2 - 8*h - 2. Let r be c(-7). Let q be -3*r/((-45)/(-12)). Do -4 and q have different values?
False
Suppose 68*u - 73*u = -20. Suppose 4*f - 4 = 12. Are u and f non-equal?
False
Let n = 11 + -11.2. Which is bigger: 19 or n?
19
Suppose 4*c = -0*c - 64. Which is bigger: c or -15?
-15
Let j be -11*5 - 4/(-14). Let m = j + 55. Which is smaller: 11 or m?
m
Suppose -4*z - 15 = 5*r - 9*z, -2*z + 2 = -4*r. Let b = -1 - -1. Which is bigger: r or b?
r
Let n = 2/201 + -136/201. Which is smaller: n or -2/11?
n
Let f be (2/(-12))/(1/2). Which is bigger: f or -13?
f
Let q = -1.9 - -1.7. Which is smaller: -7 or q?
-7
Suppose 4*p = -13 + 5. Suppose 3*b = -b + 28. Suppose 0 = -b*u + 3*u. Which is smaller: p or u?
p
Suppose -51 = 4*h - 5*o - 148, h - 5*o - 43 = 0. Let n be ((-6)/4)/(h/6). Let c = 0.9 - -0.1. Which is smaller: c or n?
n
Let f = 2 - 5. Let k = f - -5. Suppose 0*q - 2 = -k*q. Which is smaller: -2/7 or q?
-2/7
Suppose -2*x + x + 4 = 0. Let l be 16 - (x - (3 + -1)). Suppose 3*r + g - l = 0, 5*r - g - 35 = -5*g. Is r at most 3?
True
Let x = -1.1 + 1.7. Is 1/5 greater than or equal to x?
False
Suppose v + 5 = -3*s, 3*s - 4 + 6 = -4*v. Let q = -22 - -16. Let p be (4/12)/(q/4). Which is smaller: v or p?
p
Let c = -16.9 + 12.9. Let n = 0.5 + -0.8. Let x = n + 1.3. Is x bigger than c?
True
Suppose 0 = 4*u + 4*v - 20, 4*u - 2*v = -0*u + 2. Let r(y) = 0*y - 3*y**2 - 4 - 4*y**3 + 2*y + 5*y**3 + 1. Let i be r(u). Which is bigger: -2 or i?
-2
Let a = 9 + -6. Let w = a + -3.2. Which is smaller: w or 0.5?
w
Let h = 5/6 - 1/2. Is h <= -64?
False
Let s(t) = t**2 + 3*t - 3. Let n be s(-3). Let m = 0 + 1. Suppose -5*f - 21 = o, -4*o + 11 + m = -4*f. Which is smaller: f or n?
f
Let h = 326/15 - 73/3. Which is smaller: h or -3?
-3
Let c be -5 - 3 - (-4)/2. Let y be 8/(-6)*c/20. Is -1/2 > y?
False
Suppose -2*c + 4*k - 6 = -0*c, -2*c + 3*k - 6 = 0. Let j be (-5)/(-5)*(c - -2). Which is smaller: j or -2?
-2
Let y = 2/1071 + 2012/69615. Does y = -1?
False
Suppose -38 = -5*j + 112. Let u be (-265)/j + (-2)/12. Let g be (u/(-6) - 2)*10. Is g less than -5?
False
Let k(w) = -w**3 + 17*w**2 + w - 24. Let y be k(17). Do y and 1/4 have different values?
True
Suppose 0 = -d - 4*d + 15. Suppose 2*i + 6 - 16 = 0. Suppose -4*z - 3*u + 0*u + 1 = 0, 0 = i*z - 5*u - 45. Is z >= d?
True
Let k be (-1410)/(-35)*(-14)/10. Let y = k - -56. Which is bigger: 2/9 or y?
2/9
Let m be (-46)/(-102)*-3 + 1. Is 0 at least as big as m?
True
Let r = -6 + -7. Let l = r - -16. Which is smaller: 1 or l?
1
Let y = 162 + -494/3. Let q = y - -10/3. Let r = 0 + 0. Which is smaller: q or r?
r
Let x = 15 + -5. Suppose 5*y + 0*y = -x. Let t(k) = k**3 - 4*k**2 + 2*k. Let w be t(3). Is w at least as big as y?
False
Let n(c) = 8*c**2 + 1. Let o be n(1). Suppose -o = y + 1. Let v be (-15)/6*(-2)/y. Is v > -2?
True
Suppose -5*b + 3 = j - 15, -b - 6 = -3*j. Suppose 2*p + j*y + 0*y = 31, 0 = 2*p + y - 37. Let h be (-2)/8 - (-45)/p. Is 2 greater than or equal to h?
True
Let w(c) = -2*c - 9. Let b(d) = d + 1. Let q be b(-5). Let p be w(q). Which is smaller: -1/6 or p?
p
Let p(t) = -1 - 22*t + 8*t + 10*t + t**2. Let z be p(4). Is z bigger than -4/7?
False
Let z(o) be the third derivative of 0 + 2*o**2 - 1/24*o**4 + 1/60*o**5 - 1/2*o**3 + 0*o. Let h be z(3). Is 3 bigger than h?
False
Suppose 15*r - 18*r - 3 = 0. Let b be -38 - (1 - (0 - -2)). Let l be b/(-56) + 4/(-14). Is l bigger than r?
True
Let j(g) = -g**2 + 5*g + 13. Let o be j(7). Let q be 0/(1 - 0/(-2)). Let y = q - o. Which is greater: -2/9 or y?
y
Let l = 2 + 0. Suppose l*x + 4 + 0 = 3*d, -3*d - 4*x = 26. Is d != -2?
False
Let w be (6/4)/(3/(-4)). Let r(a) = -a**2 - a + 3. Let s be r(-4). Let q be (-3)/(-2)*30/s. Is q > w?
False
Let u be ((-4)/(-6))/((-1)/3). Let m be ((u - -4)*-1)/2. Do m and -1/6 have the same value?
False
Let n = -3 + 4. Is 2/61 at least as big as n?
False
Let f = -8.12 - -0.12. Let o = f - -4. Are 0 and o nonequal?
True
Let i(d) = -d + 14. Let z be i(7). Suppose 16 = a + 11. Are a and z equal?
False
Suppose -11*p + 5*p = 222. Is p greater than or equal to -37?
True
Let w = -9 - -3. Let r be -6*1/w*3. Is r < 4?
True
Let v be 2/(-22)*-1*2. Suppose a + 2*a - 12 = 0. Suppose -a*r - 4 = -0*r. Which is greater: r or v?
v
Let k = -1 + 1.3. Let q = -0.1 - -0.3. Let z = q - k. Is z at least as big as -1?
True
Let t = 2.8 + 0.2. Let o = 12 + -10. Is o at least as big as t?
False
Let h(m) = -m**2 + 8*m + 20. Let s be h(10). Let v = -7 + 3. Let t be 15/28 - (-1)/v. Which is smaller: t or s?
s
Let f be 4/(4/7) + 0. Suppose n = -5*m, 3*n + f*m - 2*m = 10. Suppose 3*v + 3 = n*r + 11, 5*r = -20. Which is bigger: 1/2 or v?
1/2
Let f(t) = t - 2. Let w be f(6). Let d = w + 1. Suppose 0*b - d*b = 5. Which is smaller: -3/4 or b?
b
Let x = -2 - -0.6. Let w = x + -13.6. Which is smaller: 0 or w?
w
Let x = -2 + 1. Let r be 0/(3/3 - -3). Is x at most r?
True
Let o = 21/10 - 8/5. Does 0.002 = o?
False
Let c = -0.004 + -0.056. Do c and 1/5 have the same value?
False
Let j be ((-4)/116)/(3/6). Which is greater: -1 or j?
j
Let d be (29/13282)/(2/8). Which is smaller: 0 or d?
0
Suppose -191 + 16 = 5*j. Let h be (-10)/(-4)*1/j. Which is smaller: 0 or h?
h
Suppose 2*l = 4*s - 10, 4*l - 2*s + 5 = -3. Let p = 142 - 278. Let d = 539/4 + p. Do d and l have the same value?
False
Suppose -10*d = -6*d + 12. Is d >= -3?
True
Suppose -3*i - 5 = 2*i. Suppose w = -5*p + 13, 0 = -4*w - 0*p - 2*p - 2. Is w >= i?
False
Let a be 5*((2 - 0) + -1). Let w be (-2)/((-60)/20*(-4)/(-30)). Is w less than a?
False
Suppose 0*y - 1 = y. Let o be ((-39)/70)/3 - (-28)/98. Is o less than y?
False
Let t = -26 - 3. Is -29 less than t?
False
Let s = -1 - -1. Let p = 37 - 37. Is s at least as big as p?
True
Let j = 15 - 15. Which is bigger: j or 0.4?
0.4
Suppose 3 = -4*i + 23. Let j(l) = 3*l + 26. Let c be j(-7). Is i greater than or equal to c?
True
Let t be 0/(1 - 3) - -1. Suppose -2*x + 4*x + 4 = 4*d, -x - 2 = -d. Let r be 24/30 + x/2. Is t >= r?
True
Let n = 2 - 2. Suppose -2*t + 0 + 2 = n, 2*t - 14 = -4*y. Which is smaller: y or 0?
0
Let i = 8.9 + -8.8. Which is bigger: -0.2 or i?
i
Let j(d) = -d**2 - 2*d - 1. Let t be j(-1). Let q = 8 + -5. Let o be q/6 + 5/(-10). Is o at least t?
True
Let c = -1 + -5. Let b be 1/(-3) + (-99)/(-135). Which is smaller: b or c?
c
Let i = -232/1113 - -6/53. Which is greater: i or 0