ich is smaller: o or x?
x
Let a = 3 + -4. Let k be (2/4)/(a/(-4)). Suppose 0*h - 3*h = 0. Is h bigger than k?
False
Let w be 6/(-71) - (0/(-1))/(-2). Which is smaller: w or -1?
-1
Let x = 20 - 9. Suppose -2*q - 3*r + x = 0, -q + 5*r - 15 = -6*q. Which is smaller: -12/5 or q?
-12/5
Let w be 1/(-1 - 0)*-25. Suppose 5*j - w = -3*n - 6, 2*j = -2*n + 10. Let u be (-5)/3*j/5. Which is greater: u or -1?
u
Suppose 1 + 1 = j. Let b be -4 - (3 - 4 - j). Which is bigger: -1/8 or b?
-1/8
Let w = 248/1073 - 6/37. Which is smaller: 1 or w?
w
Let m(d) = -d - 4. Let c be m(-8). Let n = -5 - -8. Suppose 5*l - 5*s = -15, l - 3*s + 7 = -n*l. Which is greater: l or c?
c
Let w = -129/190 + 3/38. Is -2 != w?
True
Let s = 22 - 26. Let y be -1*((-20)/5 - s). Let t be ((-1)/(-8))/((-6)/8). Is t != y?
True
Let b = -29 + -40. Which is smaller: b or 0?
b
Suppose 2*g - 155 = -3*g. Suppose -4*t = 4*j - 3*t - g, 0 = 4*t + 20. Let q = j - 13. Is q <= -5?
False
Let c be 6/(-18) - 128/21. Let l = c + 159/28. Which is greater: 0 or l?
0
Let w(j) = -2 - 3 + 1 + j. Let p be w(4). Let d = 0.2 + 3.8. Are p and d equal?
False
Let u be (-99)/(-130) + 8/(-10). Is u != 1?
True
Let m = -0.5 - -1.5. Let b = m - -1. Which is bigger: 0 or b?
b
Let t = 113 - 141. Is t greater than or equal to -28?
True
Let o(p) = p**2 - 6*p - 8. Let d be o(7). Which is smaller: d or 0?
d
Let g = 1.6 - 0.8. Let k = 0.5 - g. Let r = k - -0.4. Does r = 0.2?
False
Let o be (-4)/10 + 368/20. Suppose 7 + 5 = -3*d + k, 3*d - 3*k = -o. Let i be -1 + d/6*-2. Which is greater: i or -2/3?
i
Let r be -1*(-1)/1 - 1. Is -1/54 bigger than r?
False
Let o be 6/8 - (-22878)/(-840). Let g = -131/5 - o. Suppose 3*f - 4 = 2*f. Which is greater: g or f?
f
Suppose o + o - m = -63, 0 = 3*o + 5*m + 62. Is o != -30?
True
Let c = 6/655 + -3363/152615. Let g = c - 905/2097. Is g bigger than -1?
True
Let x = -3 + 5. Let m = 1 - x. Do m and -3/7 have the same value?
False
Suppose -5*g = 103 - 18. Let m = g - -18. Which is smaller: m or -2/11?
-2/11
Let u = 13 + 3. Let c = 15 - u. Which is greater: 3 or c?
3
Let c(s) = s**2 + 2*s - 2. Let r be c(2). Let g = 7 - r. Are g and -1 non-equal?
True
Let s(w) = -9 + 12*w + 14 + 2*w**2 + 10 - 3*w**2. Let n be s(13). Which is bigger: n or 1?
n
Let m(d) = 3*d - 3. Let f be m(-7). Let h be (-2)/f*(-4 - -6). Is h bigger than 2/7?
False
Let x = -9 + 4. Let z = -5.3 - x. Is 3/5 at least z?
True
Suppose 0 = 4*f + 4*a - 20, 0*a - a + 3 = 0. Let q be 7/4 + f/8. Suppose j + 14 = 8*j. Is j bigger than q?
False
Let p(a) = -a**3 - 2*a**2 + 3. Let k be p(0). Which is smaller: -1/6 or k?
-1/6
Suppose -2*a - 4*x = 4, 0*a + 5*a + 10 = 4*x. Which is smaller: -10 or a?
-10
Suppose n + 19 = 3*c + 6, -3*c = -4*n - 52. Suppose 0 = -2*u - 21 + 9. Let o = n - u. Which is greater: o or -6?
-6
Let y(p) = p - 8. Let x be y(8). Which is greater: x or 2/17?
2/17
Let s be (-8)/((7/42)/((-1)/(-2))). Is s greater than -22?
False
Let t be 42/(-104) - 3/(-12). Let x be (-6)/40 - 9/90. Which is greater: t or x?
t
Let d be (-6)/(-4)*(-24)/18. Let q = 2 + d. Is 0 smaller than q?
False
Let n = 0.029 + 0.971. Let w = -3/41 + 91/123. Is n at most as big as w?
False
Suppose -36 = -5*b - 5*t - 11, -2*t = 8. Is 8 less than or equal to b?
True
Let k = -57 + 58. Which is smaller: k or -1/12?
-1/12
Suppose c + 1 = 9. Suppose -c*s + 4*s + 4 = 0. Which is bigger: 4/15 or s?
s
Suppose 2*d = -2*d + 20. Suppose 2*g - 24 = d*g. Do g and -8 have the same value?
True
Let s = -1666 - -919. Let q = s - -491. Let z = q - -2814/11. Are z and 0 nonequal?
True
Suppose -3*n + 3*f + 6 = 0, 0*f + 5*f - 5 = 0. Is n smaller than 11/4?
False
Let b = -32.8 + 33. Is b >= -0.1?
True
Let z = 4 - 7. Which is smaller: z or -2?
z
Let r(p) = p**2 - 4*p. Let o be r(5). Suppose -o*d = -2*d + 45. Let w be (-2)/3 - (-20)/d. Is -2 at most as big as w?
True
Suppose -3*w = -o + 4*o - 12, -5*o + 24 = w. Let i be 0 + 1 + w*2. Which is greater: i or -1/2?
-1/2
Let p = -2/653 + 60082/1959. Let k = -31 + p. Let x(f) = -f + 1. Let n be x(0). Do k and n have the same value?
False
Suppose -5*q = -4*g + 21, 5*g - 4*q - 22 = -2*q. Suppose g*v + v = 0. Is 0 less than v?
False
Let g be -1 + 86/32 + 0 + -2. Are 0 and g nonequal?
True
Let h = 3 + -2.7. Let s be (26/39)/(14/(-6)). Which is greater: h or s?
h
Suppose 0 = 4*b + 4*t, -5 = -5*b + t + 13. Suppose -b*v - 4 = -5*v. Which is greater: 3/5 or v?
v
Let s be 2/(-6) - 2/(-6). Let j = s + 4. Suppose w = j*w. Which is greater: w or -2?
w
Let y = 747/1157 + 11/89. Is 1 at most as big as y?
False
Let p be 16 - (2/4 + (-2)/(-4)). Is 15 smaller than p?
False
Suppose 57 = 5*j - 2*j. Is 20 at least j?
True
Let u = 15 + -10. Let j = -1 + u. Which is bigger: 0.1 or j?
j
Let g = -4 - -15. Is 11 != g?
False
Let z be 17*(-2)/6 - -1. Is z <= -6?
False
Suppose 3*w - 2 = 7. Suppose o + 7 = 4*c - 17, -33 = -w*c - 3*o. Is c at most 7?
True
Let s = -2/59 + -96/649. Which is bigger: s or 0.12?
0.12
Let q be 126/15 - (13/(-5) - -3). Is q at least -3?
True
Let v = 3/32 - -81/160. Suppose 3 = 3*w - 0. Let j be (-2 + 1)/(-2 + w). Which is smaller: v or j?
v
Let h be 2*((-7)/(-2) + -3). Let i be h/(-6) - 32/24. Is i at least as big as 0.2?
False
Suppose -j - 7 = 5*n, 2*n = -0*j + 2*j + 2. Let x(g) = -5*g**3 - g**2. Let a be x(n). Suppose a = -4*h - 0*h. Is h at most as big as -2/9?
True
Let s(m) = -2*m + 28. Let q be s(13). Is -5 not equal to q?
True
Let b = 8022/17 - 472. Is -2 > b?
False
Let r(y) = 55*y**3 + y**2. Let z be r(1). Suppose 7*a = 3*a - z. Let v be 1 - (2 - (-10)/a). Is v not equal to 1?
True
Let o = 0.07 - 0.08. Let a = -4.4 + 4.11. Let n = a + o. Which is smaller: 0 or n?
n
Let o be (0 + 1)*6/(-3). Suppose -1 + 5 = 2*w. Is o not equal to w?
True
Let r = 10 - 9. Let h = r + -2. Are -3 and h nonequal?
True
Let u(w) = -w - 1. Suppose -5*s = b - 19, 0 = 3*s - 0*s - 5*b + 11. Let a be u(s). Which is greater: -3 or a?
-3
Let q be 0 - ((-4)/6)/((-114)/(-18)). Do -1 and q have different values?
True
Let v = -34 - 6. Is v greater than -39?
False
Let z be 305/10 + 1/(-2). Suppose -10 = -s - z. Let m be -4*2/s*-1. Does 0 = m?
False
Let m = 66.9 + -67. Is m < -54?
False
Let x(y) = y**3 + 3*y**2 - y + 2. Suppose b + 12 = -3*b. Let v be x(b). Which is bigger: v or 6?
6
Let v = 1210043506/615 + -1967550. Let o = v + -2/123. Which is smaller: -1 or o?
-1
Let k be ((-5)/(-20) - 2) + (-3)/(-4). Which is bigger: k or 1/8?
1/8
Suppose 3*z - 8*z = 10. Let p(o) = o**2 + 4*o + 3. Let i be p(z). Which is smaller: i or -1/13?
i
Let o = -167/4 - -42. Which is greater: 5 or o?
5
Let b(t) = t**3 + 14*t**2 + 12*t + 14. Let c be b(-13). Is c not equal to 0.1?
True
Let h = 1 - -1. Let v be 1/h*18 - 2. Do 6 and v have the same value?
False
Suppose 0 = 27*h - 21*h - 102. Which is greater: 15 or h?
h
Let f(k) = -3*k**2 + k. Suppose -3*z - 5*b = 3, -5*z = -5*b + 5 - 0. Let o be f(z). Let j = -2 - o. Is 3 > j?
True
Let k(w) = w**2 - w - 16. Let h be k(0). Let a be 23/4 + (-4)/h. Suppose -a*p - 6 = -4*p. Is -3 > p?
False
Let x = -63 + 61. Is x bigger than -2/7?
False
Let f(h) = -h**3 - 8*h**2 + 2*h + 9. Let s be f(-8). Do -1 and s have the same value?
False
Let f = -18 + 13. Are f and -6 equal?
False
Let n(b) = -b**2 - 9*b - 8. Let g be n(-6). Suppose -g = -5*v, 2*v - v = 3*a + 2. Is a smaller than -2?
False
Let h = -9 - -14. Suppose 4*l = 3*p, -h*p = -l - 0*l. Is 0 less than p?
False
Suppose 4*x - 4*k = -12, 0 = 2*x + k - 2*k + 5. Let i = 2 - x. Let g = -7 - -10. Is i at most as big as g?
False
Let j = -53 + 57. Let m = -3 - -8. Which is greater: j or m?
m
Let x = 93.06 + -92. Let d = x - 0.06. Let g = 8 - 7.7. Which is smaller: g or d?
g
Let r be -1 + 1 + 4/16. Let a(z) = -z**2 + 7*z + 2. Let c be a(5). Let o be 4/c - (-4)/6. Which is smaller: o or r?
r
Let m(d) = -d**2 - 5*d - 3. Let a be m(-4). Let v be 12/(-40)*(-6)/a. Which is greater: 2 or v?
2
Let w = -374 - -2628/7. Is 1 <= w?
True
Let n(j) = -j. Let y be n(-2). Which is smaller: y or 2/13?
2/13
Let x be (-37)/(-12) + (-7)/21. Are x and 2 nonequal?
True
Let a be 33/(-148) + 6/(-192)*-8. Which is greater: 1 or a?
1
Suppose 3*r + 0*n = 2*n - 50, -3*r - 3*n - 30 = 0. Which is greater: r or -12?
-12
Let i(z) = z**3 - 4*z**2 + 2*z - 1. Let k be i(3). Let t = k - -4. Suppose -2*q - 3*o = 2*o + 22, -q + 11 = -3*o. Is q not e