e (-3462)/20*(-32)/(-36). Let h = r + 154. Which is bigger: h or o?
h
Let i = -195 - -1757/9. Let o = -5196 + 67608/13. Let q = o + -446/91. Do i and q have different values?
True
Suppose -12 = 3*r, 4*d + 4 = -2*r - 2*r. Suppose -2*u + 3 + d = 0. Suppose 3*w - 2*g = -10, -3*w + u*g - 14 = -g. Which is smaller: w or -3?
-3
Let q = -26 + 23. Is q at least -4?
True
Let q be ((-69)/(-115))/(1/5). Are 4 and q unequal?
True
Let v(h) = 3*h**3 + 2*h**2 - 2*h + 5. Let c(i) = 4*i**3 + i**2 - 2*i + 5. Let j(n) = -4*c(n) + 5*v(n). Let b be j(5). Do 20 and b have the same value?
True
Let x = 188/7 - 2402/91. Which is smaller: x or -1?
-1
Let q = -113.8 + 127. Let u = q + -13. Is u < 3/4?
True
Let s be 5 - (-1 + 0)*1. Let x = 6 - s. Are x and -1 unequal?
True
Let x = 13 + -12.93. Let n = -0.07 + x. Is 2/5 at least n?
True
Suppose 6*m - 2*m = -4. Do m and 2/35 have different values?
True
Let t be (-47)/45*-3 + -3. Which is smaller: 1 or t?
t
Let g be (5/(-7))/(1 + -2). Let m be (-438)/280 + 36/60. Let y = g + m. Which is smaller: 0 or y?
y
Suppose 4*n + 2*y - 12 = 0, n = -3*n + y + 6. Let i(g) = 1 + 0*g - g + n. Let k be i(4). Which is greater: 1/6 or k?
1/6
Let x = -2 + 1.54. Let u = x - 0.14. Which is greater: -0.2 or u?
-0.2
Let f = 1.5 - 0.9. Let c = 6 + -6.4. Let j = f + c. Which is greater: j or 2/7?
2/7
Let r be ((-4)/52)/(2/6). Let b = -14 - -15. Does b = r?
False
Let z be (-28)/70 + (1 - 1). Which is smaller: -1/3 or z?
z
Suppose -4*v - 8 = -5*v. Suppose 0 = 4*g + v, 4*s - 3*g + 4 = 22. Is 4 greater than or equal to s?
True
Let n(s) = -s**2 + 4*s + 3. Let h be n(5). Let d = h - -3. Let q = -89/2 - -46. Which is greater: q or d?
q
Suppose 2*i - 7 - 4 = -5*h, -5*i + 13 = -2*h. Suppose h = -4*r + 9. Suppose -12 = r*o - 4. Which is greater: o or -5?
o
Let l(b) = b**3 - b**2 - 3*b - 3. Let i be l(3). Let w = 14 + -12. Let t be (i/(-4))/(1/w). Is t not equal to -3?
False
Let a be ((-188)/(-8) + -1)*(-8)/10. Are a and -19 unequal?
True
Let a = -346/5 + 69. Let l = -5 + 2. Let x = l - -3.2. Which is greater: a or x?
x
Suppose 5*q = -5*j, -5*q - 4*j + 16 = -3*j. Suppose -q*w + 12 = -w. Suppose w*z = -z - 5. Is z equal to -1?
True
Suppose 3*t - 2*t = 6. Let a be ((-6)/(-4))/(t/8). Is 3 < a?
False
Suppose -4*c - 17 = -m - 2*m, -7 = -3*m + 2*c. Let z be (-21)/15 + 4/10. Is z less than m?
False
Suppose 2*p - 3 = 4*j - 9, -4*p - 6 = -2*j. Let t = 25 - 101/4. Do t and j have the same value?
False
Let o = 131.9 - 132. Is o smaller than -24?
False
Let b = -6 - -10.1. Let m = -10 - -14. Let g = m - b. Is g > -3?
True
Suppose -19*q = -20*q - 8. Which is smaller: q or -10?
-10
Let c(b) = -b**3 - b**2. Let u be c(1). Which is greater: u or 1?
1
Let s be (-1)/(-2) + (-1 - 174/(-20)). Do 9 and s have the same value?
False
Let x = 0 + -2. Let i be (-34)/28 - 3/x. Suppose -3 = -2*f - f. Which is smaller: i or f?
i
Suppose -177 = 9*r + 120. Is -34 > r?
False
Let b(m) = 4*m - 2. Let d be b(2). Let y be (-6)/(-2) - d/2. Which is smaller: 2/29 or y?
y
Suppose 20 = -0*x - 5*x. Suppose 25 = -31*w + 26*w. Which is bigger: x or w?
x
Let g(p) = 10*p**2 - 2*p + 2. Let f be g(1). Which is smaller: f or 9?
9
Suppose 15 = -3*p, 4*p = l - 0*l - 10. Let o be (-66)/(-90) + 4/l. Which is bigger: 0.3 or o?
o
Let y = 53/153 - 4/17. Let w = -2/9 - y. Is w bigger than 1?
False
Let v = 47 + -35. Suppose -u + 2*u - 27 = -2*j, 4*u = -2*j + 36. Are j and v non-equal?
False
Let y = -10/9 + 79/63. Do y and 0 have the same value?
False
Suppose -2*u + 5 = -7. Is u > 7?
False
Suppose 3*j - 15 = 2*k, 0*k = -4*j + 2*k + 20. Suppose -a - 23 = j*b, 7*b + 3*a = 4*b - 21. Are b and -3 equal?
False
Suppose -q = 4*q - 15. Let h(y) = -y - 8. Let l be h(-4). Let g = q + l. Is g smaller than 0?
True
Let z be (-3)/(-5) + (-3)/4. Let y = -87 - -87. Do y and z have the same value?
False
Suppose -10 = -0*o - 2*o. Suppose h = o*h - 36. Let p be h/(-21) + -1 + 1. Is 1 greater than or equal to p?
True
Suppose -17 = -z - 7*h + 4*h, -5*h + 39 = 3*z. Let f = z + -6. Suppose -4*r + 20 = -7*r - 5*o, -f*r = 3*o + 12. Which is bigger: r or 1?
1
Suppose f - 17 = -4*f - 4*p, p = 3. Let j = -5 - -8. Let a(m) = -m + 3. Let q be a(j). Which is bigger: q or f?
f
Suppose 2*b + 9 = -b. Let y(n) = n**3 + 4*n**2 + 3*n - 1. Let q be y(b). Let u be 27/90*5/(-4). Which is bigger: u or q?
u
Suppose -b = -0 - 1. Let h be -1 + b - 4/18. Which is bigger: h or 1?
1
Let y = 1 + 2. Suppose 6*m - 45 = y*m. Do m and 16 have the same value?
False
Let c be -9*(4/6 - 0). Let g = c - -4. Let t(d) = d**3 + 5*d**2 + 5*d + 4. Let n be t(-4). Which is greater: n or g?
n
Let v be (5/(-6) + 2/6)*-1. Let g = -117/5 - -209/10. Is v > g?
True
Let r = -7 - -11. Let y be ((-6)/(-5))/(18/45). Which is bigger: y or r?
r
Let f = -44 + 45. Which is greater: 5/11 or f?
f
Let u = -0.03 - -4.03. Let i = u + -2. Which is greater: -3/2 or i?
i
Suppose -31*q - 10 = -26*q. Is q greater than -30/17?
False
Let w be (0 - -1)*(-2 + 9). Let i be 3/(27/w) - 1. Let s = -2.7 - -1.7. Which is bigger: s or i?
i
Suppose -6*i - 4 = 2. Do 1.6 and i have different values?
True
Let v be (-3)/(-4)*6/18. Which is smaller: v or -1/3?
-1/3
Let t = -3 - -4. Suppose 0 = -i, 2 = -f - i - t. Which is smaller: f or -1?
f
Let d = 16 - -7. Is 23 <= d?
True
Suppose 5 = o + 3. Let s = o - 0. Is s at most as big as 4/3?
False
Let k = -162 + 164. Suppose -4*n = -2*n + 4. Are k and n non-equal?
True
Suppose -18 = 7*h - 10*h. Which is smaller: 8 or h?
h
Let g be 4 - ((-4)/(-2) + -2). Let u be 10/40*g*1. Let p(j) = -j + 4. Let k be p(4). Which is smaller: u or k?
k
Let a = 4657/2 + -22921/10. Let m = a - 37. Is m less than -1?
False
Let g = 6.4 - 6.4. Which is smaller: 1/2 or g?
g
Let v be ((-4)/28 - (-8)/7)/(-1). Which is smaller: v or 1/27?
v
Let j = 33743/4092 + 4/1023. Do 9 and j have the same value?
False
Let n = 3/395 - -667/16195. Is 1 at least n?
True
Let d be (-4)/((7 + -2)*-1). Let f be 8/2*9/2. Suppose r = x + 2, -3*r + f = 5*x - r. Which is greater: d or x?
x
Let r = -102 + 107. Are r and 6 nonequal?
True
Let x(s) = 2*s**3 + 4*s**2 + 4*s + 2. Let p be x(-2). Let c = 11 + p. Is c greater than 7?
False
Let f = 6 - 3. Let c = 26 - 30.1. Let m = c + 4. Which is bigger: f or m?
f
Let n be 7/42 - (-37)/(-6). Suppose -p - 5 = -3*g, -3*g - 15 = 6*p - 3*p. Let t be n/15 - 0 - g. Which is smaller: t or 1?
t
Let l = 4 - 1. Let z = 1 - l. Let u(q) = -q**2 + 9*q - 7. Let d be u(8). Which is greater: d or z?
d
Let j(q) = 2*q + 1. Let x = -7 - -12. Suppose 3*d + 18 = -3*a - 2*d, -a + 2*d = -x. Let z be j(a). Which is greater: z or -1/2?
-1/2
Let k = 4 - 10. Let l(m) = m + 4. Let h be l(k). Suppose 4*n - 4*t = 0, 3*n = t - 2*t - 12. Which is greater: h or n?
h
Let i = 48 - 34. Are i and -2 equal?
False
Let h(w) = -w + 8. Let b be h(7). Which is bigger: b or 15?
15
Suppose 0 = 4*h + h. Let i = 0 - h. Suppose 4*m - 14 = 5*x, -1 = m + 4*m + 3*x. Is m at least i?
True
Let i(t) = -8*t - 4. Let d be i(-4). Let m = 57/2 - d. Is m greater than 0?
True
Let i(n) = n - 6. Let q be i(5). Let x be (-4)/10 - 6/(-15). Let z be (q + 3 - x)/(-2). Which is smaller: z or -2?
-2
Let g(i) = -i**3 - 5*i**2 + 7*i + 6. Let a be g(-6). Let u = -2 - -2.1. Are a and u unequal?
True
Suppose 28 = -4*w - 4*t, -7*t = -5*w - 2*t - 55. Let x be ((-12)/9)/(6/w). Let a be x*(-1 + 3/(-6)). Is a > -4?
True
Let i = -323613/2 - -176369541/1090. Let g = i + -2/109. Which is bigger: -1 or g?
g
Suppose -4*h + 3 = -5. Let n be (-5 - 3)*h/(-4). Are 1 and n equal?
False
Suppose 8*x - 2 = 6*x. Which is greater: x or -3/8?
x
Suppose -2*c + 2*y + 38 = -0*c, 3*c - y - 59 = 0. Let n be 7162/70 + 8/c. Let h = n + -103. Which is smaller: 2/9 or h?
h
Let o = -182/3 - -61. Is 58 smaller than o?
False
Suppose 16 = 6*w + 2*w. Let b = -51/2 + 26. Which is bigger: w or b?
w
Suppose 0 = 3*p - 0*p - 3. Which is greater: -2/25 or p?
p
Suppose 4*b + 7*g + 1 = 4*g, 0 = 2*b - 2*g + 18. Let r be -1 + 4/b*1. Is -1 smaller than r?
False
Let p = 84 + -423/5. Let f = -0.23 - 0.77. Let d = 0 + f. Which is smaller: p or d?
d
Let o be 0/(0 - 1) - -5. Let c be 1/7 + (-287)/(-49). Which is bigger: o or c?
c
Let j = 425/9 + -47. Which is greater: j or -3/4?
j
Let t = -2 + 3. Let i(o) = o**3 - 3*o + 1. Let r be i(2). Suppose -5*j = -x - 2*x + 1, 3*x - 9 = -r*j. Which is greater: x