 than or equal to -4/13?
True
Let v = 44408659115 - 21138469837529/476. Let n = -109036 + v. Let t = -1/68 + n. Which is bigger: 1 or t?
1
Suppose 70 + 86 = 12*m. Which is bigger: m or 12?
m
Let w(a) = -4*a - 73. Let z be w(-18). Is z bigger than 7/79?
False
Suppose -10*u + 6*u = 4. Let r = u - -1. Do r and 4/5 have the same value?
False
Let k = -86 + 2063/24. Let h = k - -17/24. Do 8 and h have the same value?
False
Let w(r) = 0*r**3 - 2*r + 0*r**3 - r**3 - 4 + 3*r + 7*r**2. Let n be w(7). Suppose -n*s = -2*s + 2. Which is bigger: -6/11 or s?
-6/11
Suppose 0 = -4*w - w - 3*d - 28, 3*w + 4*d = -19. Let z = -12/13 + 231/208. Let q = 1/16 + z. Is q less than w?
False
Suppose 1826 = 2*o - 0*o. Let a = 75777/83 - o. Is a at least as big as 0?
False
Suppose -2776*t + 735 = -2779*t. Is -245 at least t?
True
Let u = -3214/11 + 292. Which is bigger: u or 10?
10
Let d = -4/759 + 45592/9867. Is 6 equal to d?
False
Let m(q) = -6*q + 151. Let v be m(24). Let x(w) = 5*w - 2. Suppose 5*r = 3*r - 3*j + 10, 2 = -4*r + 5*j. Let i be x(r). Are i and v nonequal?
True
Suppose 0 = -2*q + 7*t - 11*t + 14, q = -t + 6. Suppose -2*z - 2*i = -q*z + 6, 4*i = 4*z - 12. Is z at most -13/10?
False
Let w be ((-24)/(-10))/((-1)/5). Suppose 4*q - 3*q = 3*c - 12, -2*q - 4*c - 14 = 0. Let j = w - q. Is j at least 2/3?
False
Let k be 204/(-9010)*4/((-12)/45). Is 1 bigger than k?
True
Let h = 1.1 - 1. Let k = 7 + -6.4. Let p = -0.5 + k. Does h = p?
True
Let b = -0.0539 - 0.9461. Is 303 <= b?
False
Let f be -2 + 0 + 1 - 14/(-14). Suppose f = 5*w + 2 - 42. Is w != 7?
True
Suppose 4*o + 3*g = -1268, 2*g - 620 = 2*o - 0*g. Let n = o - -17269/55. Which is smaller: n or -1?
-1
Let u be 1/((-6)/108*-7). Is u > -3?
True
Suppose -5*b = l - 8 - 5, 5*l - 7 = 4*b. Let i be 0 + (1 - 0)*-1. Let c = i + b. Is c less than 11/5?
True
Let u be ((-14)/8)/((-2)/8). Let n = u - 7. Let w = -691/176 + 57/16. Is w less than or equal to n?
True
Let o = 51 + 12. Is 64 at most as big as o?
False
Let r = -1.6 - -1.7. Suppose -y + 0*y = 14. Let q = -25 - y. Is q bigger than r?
False
Let z = 0 + 0. Suppose 3*p - v - v = 436, -p + 162 = -4*v. Let t = p - 427/3. Is t less than z?
True
Suppose k - 43 = -2*d, -k - 2*d = -5*k + 162. Suppose -3*b + 6*b - 3*j = -27, k = -4*b + 5*j. Let u(h) = -h**2 - 18*h - 20. Let s be u(-17). Is b > s?
False
Let k = 213 - 4687/22. Suppose -3 = 44*m + 41. Which is bigger: k or m?
k
Suppose -16 = -5*x + 3*x - 2*p, 4*x + 5*p = 37. Suppose f = -x*y - 251, 4*y + 5*f - 2*f + 343 = 0. Let k be y/(-8) - 1/4. Which is bigger: 11 or k?
11
Suppose -4*k - 15 = 5*i, -2*k + 0*k - 10 = 0. Let q be 4/6 + 38/6. Let v = q + -4. Which is smaller: v or i?
i
Suppose 7 = 2*y + 33. Let q = -12 - y. Is -1/6 greater than or equal to q?
False
Suppose 0 = -p - 4*o + 9, 5*o + 8 = p - 5*p. Let t(g) = -g**2. Let j(r) = 7*r**2 + 8*r - 5. Let a(y) = -j(y) - 6*t(y). Let v be a(p). Is 11 bigger than v?
False
Suppose 2735 + 12385 = 14*p. Is p greater than or equal to 1079?
True
Let q be 2/8*2*6. Let w(d) = 2*d**2 - 33*d - 17. Suppose -k - m = -4*m - 14, -k - m = -18. Let u be w(k). Is u greater than or equal to q?
False
Suppose 6*m - 20*m = 742. Which is bigger: -51 or m?
-51
Let c be 1/(-3) - 121/33. Which is bigger: c or -17/4?
c
Suppose 0*v - 10 = -2*v. Let j be (v/(-5))/(1/(-3)). Which is greater: -3 or j?
j
Let x be ((-21)/6 - -3)/(21/(-6)). Let r(l) = l**3 - 7*l**2 + 6*l - 2. Let o be r(8). Let h be (-24)/o + 4/(-22). Is h greater than x?
False
Let m = 31/10 + -13/5. Let v be (3 - (-3 - -6))/3. Does m = v?
False
Let l be 2*((-145)/(-10) - 3). Suppose 2*s = -5*q + 5*s, q - l = -4*s. Suppose q*k + j = -k - 65, -100 = 5*k + 5*j. Is k bigger than -16?
True
Let z be -13 - (-1)/((-4)/(-8)). Let b = -9 - z. Let r = -1393/5 - -282. Is r at least as big as b?
True
Let n be (9/156)/((-6)/96). Let i = 5 - 7. Which is smaller: i or n?
i
Let l(o) = o + 134. Let w be l(0). Which is greater: w or 133?
w
Let g = 0.9 - 0.1. Let w = -1.2 - g. Let t = w - 4. Is t bigger than -1?
False
Let d = 2/19153 + 12123833/153224. Is d < 80?
True
Let z = -94 - -49. Let q be ((-85)/z)/(2/3). Are 3 and q equal?
False
Let c = 147 - 282. Let x be (-4)/(-1) - 5000/36. Let u = c - x. Which is bigger: u or -1?
u
Suppose -3*c = 2*h - 2 - 1, 4 = 4*c + 5*h. Let j be (38/(-8) + 1)*c/(-3). Is 1 less than or equal to j?
True
Let z(x) = -x + 1. Let q(d) = 24*d - 26. Let a(t) = q(t) + 10*z(t). Let k be a(7). Let h be k/16 + (-3)/24. Which is smaller: 4 or h?
4
Suppose 3*j - 4*j + 2 = 0. Suppose 2*l = -j*l + 100. Are l and 25 equal?
True
Let u be 0*(0 - 1/2). Let p be (-11 - -13)/(1 - u). Suppose -2*m + 5*z + 4 = 0, -5*m = -2*z - p*z + 24. Is -10 smaller than m?
True
Suppose -4*l - 5 = -9*l. Let y be (-1 - -3) + 30*l. Suppose -9*w = -w + y. Are w and -5 nonequal?
True
Let o = -79/219 - -2/73. Suppose -52 = 5*r - 107. Let d(l) = 2*l**2 - 23*l + 12. Let k be d(r). Is o != k?
True
Let l(w) = -2*w**3 - w**2 + 2*w - 1. Suppose 0 = 3*m - 0*m - 15. Let n = -7 + m. Let k be l(n). Is 6 at least as big as k?
False
Let k be (-6)/8*(-8)/246. Let c = -103 + 104. Are k and c unequal?
True
Let x be ((-171)/6)/(18/(-24)). Let o = -23 + x. Is 2/5 not equal to o?
True
Let r = 19 - 1. Let a be 337/(-63) + 1 - 4/r. Is a equal to -6?
False
Let y(c) = -8*c + 2*c + 1 + 4*c. Let x be y(-5). Suppose -20 = -5*s, 4*w = 9*w - 5*s - 40. Is w at least x?
True
Let y(v) = v - 15. Suppose -12*d + 5 = -11*d. Let m be y(d). Is -8 at most as big as m?
False
Suppose -h + 51 = -3*m, -12*m = h - 7*m - 27. Which is bigger: 0.8 or h?
h
Let f = 1.17 - -6.23. Let h = 17.4 - f. Which is greater: 4 or h?
h
Let m be 2*8 - (-4)/(-4). Let t be (-5 - -1) + 8 + 11. Let a(g) = g**3 - 15*g**2 + 14. Let o be a(t). Do o and m have different values?
True
Let r be (-774)/(-3915) - (-32)/(-120). Which is smaller: 55/6 or r?
r
Let w be (-435)/2*(-6 + 48/9). Let z = w - 160. Is z greater than 4?
False
Let w = 37.02 - 0.02. Is w < 0?
False
Let t = -35 - -23. Let r = 34 + t. Is 2/7 smaller than r?
True
Let f = -9 + 27. Let a = f + -23. Is -4 < a?
False
Let p(o) = 3*o**2 + 6*o + 2*o - 2*o**2 - 5. Let s(r) = -r - 1. Let w(q) = -p(q) - 6*s(q). Let z be w(-5). Which is greater: z or -1?
-1
Let a be (-5)/2*110/(-25). Suppose a*c + t - 18 = 6*c, 0 = -4*t - 8. Suppose 12 = 3*u - 3*g, -4*u - u = 3*g + c. Is -3/7 at most as big as u?
True
Let a be ((-3424)/684 - -5)*(3 + -1). Is a equal to 0?
False
Suppose 0*p - 4 = 4*p - 4*a, 4*p + 2*a - 14 = 0. Suppose r = -2*x - 8, -8 - p = -5*r. Let t be (-4)/(-14) - (-30)/(-7). Is t != x?
True
Suppose 0 = 2*l + 2*j - 2, 5*l - 21 - 2 = 4*j. Which is smaller: 17 or l?
l
Suppose -5*k - 133 = 5*s - 3, -3*s - 53 = -2*k. Is -20 at most s?
False
Let z = -800 - -800. Is -4/59 != z?
True
Let f = 428 + -427. Are 42 and f nonequal?
True
Let g = 1229303/21 + -187850/3. Let x = g - -4087. Which is smaller: -1/3 or x?
-1/3
Let i = -409 + 2047/5. Let l = -5 - -4.82. Which is smaller: i or l?
l
Let q = 40 - 46. Let k be 2/q - (-442)/(-51). Which is smaller: k or -7?
k
Suppose -5*d = 0, -2*d = 5*h + d. Let f(p) = -2 - 6*p**2 + p**3 + h + 3. Let k be f(6). Which is smaller: 0 or k?
0
Let d = 836 - 833. Is -0.24 bigger than d?
False
Suppose -6 - 14 = -4*d. Suppose -5*u + 5*g - 7 = -2*u, -d*g = -2*u - 8. Do 1/32 and u have different values?
True
Let x = -3 - -15. Suppose -4*a = s + x, 4*s - 2*a + 5*a - 4 = 0. Suppose -s - 6 = 5*l. Is -2 smaller than l?
False
Let s be (-16)/(-20)*(-3850)/28. Which is greater: -106 or s?
-106
Let k be 3/4*20/15. Which is smaller: -7/54 or k?
-7/54
Suppose -10 = -2*n + 5*c + 8, -c - 9 = 5*n. Let o(p) = -6*p + 177. Let b be o(30). Which is smaller: n or b?
b
Let f be 3 + (2 + -4)*-3. Let a = f + -16. Let j be (a/14)/(-1 + 3). Which is smaller: j or -2?
-2
Suppose 0 = -16*i + 25 - 585. Is i smaller than -18?
True
Suppose 0*q = 3*q + 9. Let i = 5 + q. Let k be i/(-4) - 25/(-30). Which is greater: -4 or k?
k
Suppose 0 = 5*n - 2*y - 15, 0*y = 2*n - 2*y. Let q(l) = -l + 7. Let r be q(n). Let a be r/(-2) - 30/(-33). Which is greater: 0 or a?
0
Let c = -1060 + 1108. Is 48 != c?
False
Suppose -2*s = -3*s + 2. Suppose -2*a - 3 - 3 = -3*q, 0 = -s*a - 5*q + 26. Suppose -h - 7 = -3*v, 5*h - 20 = h. Which is bigger: v or a?
v
Suppose -6 = -25*c + 22*c. Let v be (-2)/9*30/c. Is -4 != 