: g or 2?
2
Suppose -8*f - 32 = -48. Suppose -3*h - 2*h = -15. Is h smaller than f?
False
Let y be (1/2)/((-1)/4). Suppose w - 3 = -4. Is w bigger than y?
True
Suppose -2*k + 478 = 222. Is 128 greater than k?
False
Let k = 8 - 4. Suppose 2*w = -k*c - 0 + 10, 5*c - 17 = -4*w. Let h be 6/9*1*w. Is h > 1?
True
Let n = 17 - 13. Suppose -n*m + 2*r = -r + 3, 3 = -2*m + 3*r. Let d be ((-2)/(-3))/(14/6). Which is greater: m or d?
d
Let s be 3/(-6)*-6 + 2. Let q(v) = -v**3 + 5*v**2 - 5. Let t be q(s). Let c(r) = -r**3 - 5*r**2 + r + 2. Let y be c(t). Do y and -1 have the same value?
False
Let n = 3.7 - 4.7. Is n not equal to 2/7?
True
Let g = -1 - -1.5. Let z = 0.5 + g. Let r = 364/885 + -2/177. Are z and r nonequal?
True
Let t(g) = 3*g - 3. Let o be t(2). Let m(k) = k**2 - k - 4. Let v be m(o). Suppose -4 = -v*d - 2*d. Is 0 equal to d?
False
Let t = 0 + -0.08. Let k = t - -1.08. Do 7 and k have the same value?
False
Let r = -28 + 28.21. Let k = r + -0.01. Does 0.06 = k?
False
Suppose 0 = v + 2*v + 3. Let x = 0 - v. Let m be (-3*1 - -1) + x. Do -3 and m have different values?
True
Suppose 0 = 2*z - 0*z + 6. Suppose -16 = 5*m - 1. Is z bigger than m?
False
Suppose -4*w - 20 = 0, 0 = 2*u - w - 3*w - 26. Suppose -5*y = -f + 17, -u*f - 2*f = 5*y + 5. Let s be 4/3 - 6/(-9). Is s at least as big as f?
True
Let j = 288 + -296.04. Let f = j - -8. Let u = f + 0.14. Which is bigger: u or 1?
1
Let z = -37/6 - -11/2. Do z and 6 have the same value?
False
Let d be (-78)/(-30) - 3/1. Is d >= 1?
False
Let i be (9/4)/(160/(-128)). Which is bigger: -1 or i?
-1
Let u = 2 + -1. Let w = 61/876 + 1/73. Is u at most as big as w?
False
Let p be (14/32)/(-7) + 0. Is p greater than -1?
True
Let y = 31 + 49. Let n be (12/y)/(27/8). Is n greater than 0?
True
Let t = 755/28 - 109/4. Let z = 7 - 7. Which is smaller: z or t?
t
Suppose 13*r = 124 - 46. Which is smaller: r or 4?
4
Let b = -105413 + -1496161. Let p = b - -40027977/25. Let d = p - -455. Which is smaller: -1 or d?
-1
Let s(o) = o - 13. Let j be s(6). Is -7 not equal to j?
False
Let c be -1 + (-35 + 0)/(-1). Which is smaller: c or -0.1?
-0.1
Let h = 0 - 0. Let n be (1 - 2/3)*9. Suppose n*v - v = -2. Is v bigger than h?
False
Let b = -0.42 + 0.3. Let w = b - -0.02. Let s = 87/28 - 20/7. Is s equal to w?
False
Suppose 9*j - 4*j = 0. Suppose j = -2*t + 5 + 11. Is 8 > t?
False
Suppose 3*j = -0*j + 6. Suppose 4*k + j = -2. Is k > 2/17?
False
Let q = -104 - -104.49. Let v = -0.5 + q. Let p = -3.01 - v. Which is greater: p or 0.1?
0.1
Let v = -96/7 - -1611/119. Which is greater: v or 0?
0
Let b = 1 - -7. Is 9 equal to b?
False
Let i be 1/3 + (-34)/120. Suppose 11*w - 3*w = -8. Is w smaller than i?
True
Let o be (-2 + 2)/(0 + -1). Suppose o = -4*s - 8 - 0. Which is greater: 1/2 or s?
1/2
Let x = -5104 - -35271/7. Let q = 98 + -33. Let t = x + q. Which is smaller: t or 0?
t
Let f = 53 - 263/5. Let x = -2 + -1. Let t = -5 - x. Is f not equal to t?
True
Let h be (-2)/(-3) + 452/(-12). Which is smaller: h or -38?
-38
Suppose -4*f + 3 = -2*i + 37, 4*f + 68 = 4*i. Are 2 and i equal?
False
Suppose i + 4*j = -4 + 17, i = -2*j + 9. Let w be i - (4 - 28/4). Which is greater: w or 9?
9
Suppose 0 = -5*b + 61 + 14. Let w = 6 - b. Is w at least -9?
True
Let p = 2.91 - -0.19. Let k = -3 + p. Which is smaller: 1/4 or k?
k
Let u = -5 - -9. Suppose -5*f - 3 = -r - 4, -r = -4. Let o be 12/16*4*f. Which is greater: u or o?
u
Let g(i) = 3*i**2 + 16*i + 32. Let s(x) = 2*x**2 + 11*x + 21. Let m(n) = -5*g(n) + 8*s(n). Let t be m(-7). Let q = 47/7 - 503/77. Which is greater: q or t?
t
Suppose 8 = -2*p - 0. Let t be 1/p - (-14)/24. Let w(q) = q - 3. Let u be w(-2). Which is greater: u or t?
t
Let m be (11/(-6) + 2)*-4. Let s = -0.122 - 6.878. Which is bigger: m or s?
m
Suppose -4*t + 9*t + 10 = 0. Suppose -12 = -3*x, -4*x + 14 = s - 0*x. Do t and s have the same value?
True
Suppose 0*a - a - 6 = 0. Let p be (a/(-8))/((-2)/16). Let j be (-4)/(-18) + p/27. Do j and 0 have the same value?
True
Let t = -6 - -8. Let s be (t/(-4))/(-6 + 5). Which is bigger: -0.1 or s?
s
Suppose 0 = 2*j - 0*j + 8. Let r(n) = -2*n**3 - 2*n**2 - n. Let u be r(-1). Let p be (j/2)/(u + 1). Is -2/5 bigger than p?
True
Let g = 1312/2899 - -2/223. Which is bigger: g or 1?
1
Suppose -4*k + k - 6 = 0. Let d(r) = 4*r - 1. Let y be d(-1). Which is smaller: k or y?
y
Let g be 1/4*-18 + 2/4. Are -4 and g unequal?
False
Let o be 3/12 - (-31)/4. Suppose -2*c - 8 = 0, o = 2*u + c - 4*c. Let k be -1*4*(-2)/(-14). Which is bigger: u or k?
k
Suppose -3*z = -2*b - 4 + 10, 5*z = -4*b - 10. Does z = -2?
True
Suppose -12 = 5*r - 25*m + 22*m, 4*m + 4 = 0. Suppose 0 = -0*s - 2*s. Do s and r have different values?
True
Let t = 840323/168 - 5002. Let p = -1/21 + t. Which is smaller: -1 or p?
-1
Let l(z) = z - 7. Let w be l(9). Which is smaller: 4 or w?
w
Let u(l) = l - 10. Let q(f) = -f**3 + 2*f**2 + 2*f - 1. Let v be q(-2). Let k be u(v). Which is smaller: k or -1?
-1
Let l = -7.6 + 7.9. Which is bigger: l or -2/15?
l
Let h = -1 + 3.1. Let u = 4 - 6. Let f = h + u. Do f and 2 have the same value?
False
Let r = 45.9 - 46. Which is smaller: -14 or r?
-14
Let x be -3 + (-1 - -2)*1. Suppose -7*b + 4*b = -7*b. Is x greater than b?
False
Let d be (-392)/(-63) - 4/18. Which is greater: 7 or d?
7
Let o = -199849 + 63551549/318. Let w = o + 3/106. Which is greater: -2 or w?
w
Suppose -5*x = 4*b - 186, -4*x = 9*b - 6*b - 149. Is x equal to 1?
False
Suppose 4*l + 0 = 12. Suppose -5*z - 9 - 15 = l*r, -28 = 5*z + r. Is -6 at least z?
True
Suppose 5*f - 19 = -h, -2*f + 3 = -3*h - 5*f. Let t(b) = -b**2 - 6*b + 3. Let q be t(h). Suppose -1 = -i + 3. Which is smaller: i or q?
q
Let f(i) = 3*i - 42. Let n be f(13). Let o = -3 - -2. Is n not equal to o?
True
Suppose -4*g - 12 + 16 = 0. Which is greater: g or 2/21?
g
Let c = 8 + -5. Suppose -f + c*f = 0. Let m = 1/3 - 1/6. Is f > m?
False
Suppose 0*r + r - 15 = 0. Let l be (-4)/2*((-120)/(-16))/(-15). Which is greater: r or l?
r
Let n(g) = -g + 5. Let j be n(5). Which is smaller: j or -9/7?
-9/7
Suppose -4*w + 12 = 4*i, 5*w - 21 = -0*w + i. Suppose 3*s + 4*u = 0, -s - 4*u = 3*s - w. Which is bigger: -3/2 or s?
s
Let a(t) = -t**2 - 7*t - 1. Let i be a(-6). Suppose 8*r = i*r - 9. Suppose 0 = -h + 5*z - 1 - 8, 5*z + 11 = -4*h. Which is smaller: r or h?
h
Let h be 2/4*(1 + -1). Let t be (-2)/2 - -2 - 0. Let y = h + t. Is 1 equal to y?
True
Let s be 57/15 + (-3)/(-15). Let z(k) = k**2 - 4*k + 4. Let f be z(s). Which is greater: f or 3?
f
Let c be -1 - 0/(-1 + 0/(-3)). Which is bigger: c or -14/11?
c
Let g = -21 - -187/9. Suppose -4*k = -k - 0*k. Is k less than g?
False
Let g be 4367/24 + (-4)/12. Let k = g - 182. Do k and -1 have different values?
True
Let q(a) = a**3 - 7*a**2 - 9*a + 10. Let u be q(8). Suppose -2*y + 10 = 3*y. Does y = u?
True
Suppose 3*s + 0*s - 3 = 0. Let w = 4 + -6. Let d be 1/(1*w + -2). Which is bigger: s or d?
s
Suppose 4*h + 3 = 4*p - 5, 3*p - h - 2 = 0. Suppose p = -5*g - 0*g - 5. Is -2 <= g?
True
Suppose -3*r = 2*r - 3*j + 18, 2*r + 3*j = -3. Let c be 4/((r + -3)*-1). Which is smaller: c or 2/5?
2/5
Let x = 80 - 242/3. Which is greater: x or -4?
x
Let p be -1 + 0 + (-12)/(-1). Which is bigger: 10 or p?
p
Let c = 0.121 - -4.779. Let b = -5 + c. Let v be 6*(1 - (-3)/(-6)). Is b > v?
False
Suppose -8*d - 196 + 588 = 0. Does 49 = d?
True
Let u be (-6 + 6 - 4) + 3. Which is bigger: u or -6/7?
-6/7
Suppose 0 = 3*d - 4*d + 4. Suppose 2*v + 12 = 5*v. Let k be (-2)/(((-6)/v)/3). Is d at least as big as k?
True
Suppose 0*y + 4*y - 12 = 0. Which is greater: 17/5 or y?
17/5
Let b = -1 - -3. Let w(t) = t. Let z be 8/24 - 4/3. Let r be w(z). Which is smaller: b or r?
r
Suppose -2*p = 4 + 2. Let r(h) = h**3 + 3*h**2 - 1. Let f be r(p). Are f and 1 non-equal?
True
Let g = 69.04 - 71. Let z = g + -0.04. Let c = 3 + z. Which is greater: -3 or c?
c
Let y be -2 - (1 - 52/16). Is y smaller than 1?
True
Let q(s) = s + 13. Let p be q(-12). Suppose -3*j = -0*j. Which is greater: j or p?
p
Let m = -7 + 1. Let c = m + 5.97. Let a = 3.97 - c. Is -2/3 bigger than a?
False
Let s(u) = -u - 9. Suppose 3*p + 32 = -5*o, 0 = 5*p - 4*o + 47 - 6. Let b be s(p). Is b at least as big as 0.2?
False
Let h = -42 - -33. Which is bigger: 1 or h?
1
Suppose 2*h = x + x + 4, -5*h = 4*x - 37.