 r or c?
r
Suppose 2*n - 70 = 4*x, 7*n - 25 = x - 1. Suppose -3*i + 0 - 42 = 0. Which is smaller: i or x?
x
Suppose 0 - 16 = -4*v. Suppose 0 = 2*a - v - 4. Suppose a*w + w = -30. Is w bigger than 0?
False
Suppose 301 = 2*s - 3*v, 4*s + 3*v - 263 = 312. Is s at least as big as 139?
True
Let q = -164/87 + 69178/36975. Which is bigger: q or 1?
1
Let i = -536078/39 - -13747. Let f = -1/13 + i. Let c = f - 26/15. Which is smaller: -0.03 or c?
c
Let i = -53.74 - -40.6. Which is greater: -2/3 or i?
-2/3
Let r be 1 - -2 - 2/75*123. Is r < 1?
True
Let o be 95/38*4/10. Let u be -19 - o/(4/(-8)). Is u at least -18?
True
Suppose -2*p + 7 = -29. Suppose o = -o - 10, -4*o = 2*l + p. Let a(u) = -2*u + 2. Let k be a(l). Which is greater: -6/5 or k?
k
Let a(c) = -5*c**3 - 9*c**2 - 13*c + 15. Let q(w) = w**3 - 1. Let s(y) = a(y) + 6*q(y). Let o be s(10). Which is greater: -20 or o?
-20
Let d = -1.16 - 0.14. Let x = d - -0.3. Suppose 3*j - 12 = -2*q - 3, 3*q + 5*j = 12. Is x less than q?
True
Let y be (-2344)/(-32) - (-3)/(-12). Let t = y + -65. Which is smaller: 9 or t?
t
Let r = 12.97 - -0.03. Let y = r + -13.1. Let f = y - 2.9. Which is greater: -1/6 or f?
-1/6
Let y(k) = 45*k + 803. Let x be y(-18). Let b be ((-2)/3)/((-2)/(-3)). Are b and x nonequal?
True
Let k(q) = q + 7. Let n be k(-8). Suppose 10*t = 7*t + 60. Let v be t/(-75)*3/14. Which is bigger: n or v?
v
Let y(b) = -7*b. Let j be y(-4). Suppose -12*t = -16*t - j. Let z(o) = -o**3 - 11*o**2 - 9*o + 5. Let c be z(-10). Is t >= c?
False
Let f(k) = -k - 910. Let h be f(0). Let a be (1276/10)/((-14)/100). Let c = h - a. Which is smaller: c or 2?
c
Let b = -1462 + 1463. Is b greater than or equal to 9/29?
True
Let o(q) = q + 75*q**3 + 0*q - 2 + 2. Let l be o(1). Let n = 226/3 - l. Which is bigger: -1 or n?
n
Let t = 112 - 111. Do -2/5319 and t have the same value?
False
Suppose -22*u - 7 - 15 = 0. Which is greater: 3/220 or u?
3/220
Let o = 637 - 917. Which is smaller: -0.2 or o?
o
Suppose -4*n - 4 = -6*n. Suppose -n*o + 7*o = h - 50, -o = 2*h - 56. Is 29 less than h?
True
Let q = -4.67 + 2.68. Let p = 6.99 + -7. Let h = p + q. Which is smaller: h or 6?
h
Let p be (-8)/(-6)*(-3)/(-2). Suppose -u + 7 = -p*l - 22, 5*u = -5. Let o = l + 15. Is -3/14 <= o?
True
Suppose 5*h - 2*p = -0*p + 11, 0 = 5*h + 4*p - 23. Let k be 37 + (0 - 2) + 1. Suppose -8*f + k = -4. Is f bigger than h?
True
Suppose 0 = 2*h - 24 - 6. Let c(z) = z + 68. Let j be c(-55). Which is greater: j or h?
h
Suppose -61 = -27*k + 28*k. Which is smaller: -63 or k?
-63
Let x(a) = 4*a**2 + 15*a - 25. Let v be x(-5). Which is smaller: v or 437?
v
Let f be (-3)/(783/(-1209)) + 1. Let z = -17/3 + f. Which is bigger: z or 0?
0
Suppose 3*p - 110 = -l - 3*l, 0 = l - 3*p - 20. Is 105/4 at least as big as l?
True
Suppose -36*i - 40*i - 134748 = 0. Which is smaller: -1774 or i?
-1774
Let w = -616611/4460 - -4/1115. Let j = w + 138. Which is smaller: j or -59?
-59
Let n = 1131 - -13. Is n > 1145?
False
Suppose -15 = 25*x - 40*x. Which is greater: 55 or x?
55
Let o(a) be the second derivative of -a**6/720 + a**4/4 + 4*a. Let z(p) be the third derivative of o(p). Let f be z(1). Is f at most 2/13?
True
Let p = -4689 - -4688. Let i be (-3)/(-2) + (2 - 2). Which is greater: p or i?
i
Suppose 0*j - 4*m + 2 = -2*j, 5*j - m - 13 = 0. Suppose -5*f - j*a - 3 = 0, -5*a - 4 = 4*f - a. Is -1/21 equal to f?
False
Let u = 6 - 2. Suppose -67 = u*d + 21. Let y = -140 + 118. Is y <= d?
True
Suppose -4*x - 58 + 10 = k, -297 = 5*k + x. Let s = k - -60. Is 0 at most as big as s?
True
Suppose 5*b - 12*i - 697 = -8*i, 2 = i. Does 142 = b?
False
Let h = 833 - 752.8. Is 2 at least as big as h?
False
Suppose -9*s = -10*s - 2*z + 14, 4*s = -4*z + 60. Is 17 <= s?
False
Suppose -3*u + 150 = -4*b, -4*b + 31 = -5*b + 4*u. Which is smaller: b or -46?
-46
Let z = -36.44 - -37. Let h = z - -0.44. Are -32 and h equal?
False
Suppose -6 = -2*h - 0. Suppose 1 + 2 = 5*m - 4*p, 0 = -2*m + 5*p - 9. Let y = h - m. Which is greater: -6/13 or y?
y
Let d = 1.0927 + -0.0927. Which is greater: d or 24/11?
24/11
Let h = 263 + -113. Let x = 99 - h. Are -52 and x nonequal?
True
Let y = 161 - 162. Which is bigger: -2/73 or y?
-2/73
Let d = 115 + -116.195. Let t = d - 0.005. Which is smaller: 0 or t?
t
Let z = 76.5 + -99.98. Let k = z + -0.52. Which is greater: k or 1?
1
Suppose -2*t - 14 = 3*a, 1 + 3 = -4*t. Let z = 46/5 + -62/5. Which is smaller: a or z?
a
Suppose -3*c = -2*c - 22. Let w be (0 - -1 - 0)/c. Let j = -47/66 + w. Is -7 at least j?
False
Let d = -0.027 - 2.073. Let v = 0.6 + d. Let q = v + 1.3. Which is smaller: -0.1 or q?
q
Suppose -9*x + 4*x = -25. Let h be 71/(-5) + 1/x. Let a be 4/h + 120/28. Is 5 >= a?
True
Let l be 30/2*18/10. Suppose 9*r - l = 6*r. Suppose r*c = 5*c + 12. Is 5/2 at most c?
True
Let f = 5351/3 + -1783. Let h(k) be the third derivative of k**5/60 - k**4/12 + k**3/6 + k**2. Let c be h(2). Which is smaller: c or f?
f
Let v be 20/(-16) - 6435/(-5044). Is v at most -1?
False
Suppose -2*q + 21 = 5*q. Let c be q/20*40/48. Which is smaller: 1/3 or c?
c
Let d be (-52230)/182756 - (-24)/84. Let q = d + -2052740/19581. Let s = -104 - q. Which is smaller: -0.1 or s?
-0.1
Let i be 14/42*(45/20 - 3). Let t(v) = 8*v**2. Let u be t(-2). Which is smaller: i or u?
i
Suppose a + 3 = -w, 5*a - 7 = -2*w - 25. Let h be w + 3 - (0 - 3). Is h > 6?
True
Suppose -8*d + 18 = -5*d. Let k be 4/d*18/78. Let t = 3 - 2.8. Is t > k?
True
Let n = 340 + -385. Which is greater: n or -0.1?
-0.1
Suppose -9*m + 18*m + 27 = 0. Is 3 at most m?
False
Let p = 0.036 - -29.964. Let d = p + -29.8. Which is smaller: d or -0.16?
-0.16
Let l = -6.3 - -6. Let t = -0.7 + l. Let d = 33 + -32.3. Does t = d?
False
Suppose 3*a + 57 = 6*a. Suppose -4*n + o + a = 0, 10 = -3*n + 7*n + 2*o. Suppose -n*l = -l. Which is smaller: -1 or l?
-1
Let p = 62825/17 - 3697. Which is greater: 0 or p?
0
Let a be (-3)/7*-9*5/(-105). Are a and 1 equal?
False
Let a = 101 + -86. Let k be 6/a*45/12. Which is smaller: k or 5?
k
Let v = 228 + -286. Which is smaller: -59 or v?
-59
Let k = 9 - -3. Let s = k - 2. Let a = -14 + s. Is a greater than 3?
False
Suppose 5*n + u = -366 + 1891, -4*n + 4*u + 1196 = 0. Is n > 305?
False
Let r = 74 + -65. Suppose 3*p = r*p + 96. Is p greater than -16?
False
Let o(v) = v**3 - 5*v**2 + 3*v + 3. Let r be o(2). Let w be (1 - (-193)/97) + r. Is 0 greater than w?
True
Suppose 0 = -3*o + 6 + 9. Suppose -o*y - 49 + 134 = 0. Is 17 at least y?
True
Let a(v) = 2*v**2 - 6*v + 8. Let s be a(2). Let b be (-1)/30*-4 + s/(-5). Which is smaller: b or -1?
-1
Let a = -66 - -53.8. Let s = a + 12. Is 33 not equal to s?
True
Let u = 1233.79 + -1250. Let x = -0.21 - u. Let r = 14 - x. Which is bigger: 1 or r?
1
Let p(q) = q**2 - 17*q - 41. Let t be p(17). Let o be (-8)/t*(-9)/36. Which is bigger: o or -1?
o
Let l = -79 - -82. Suppose 2*w + 4*i = 16, l*i - 12 = w - 4*w. Which is greater: -2/51 or w?
w
Suppose 2*z = x - 5*x, 5 = -z - x. Which is smaller: -77/9 or z?
z
Suppose 0 = r - 3, -41 = 3*u + 4*r - 815. Which is greater: u or 253?
u
Let o be 2/8 + 2/(-8). Suppose -12 = -3*a + 18. Let t be 7/14*(-4)/a. Which is smaller: o or t?
t
Let s = -0.078 - -34.078. Let u = -33 + s. Which is smaller: u or 0?
0
Let l = -0.3 - -0.2. Let w be 1 + -9*(-5 - 12). Let r be (-3)/(-4) - w/112. Which is smaller: r or l?
r
Suppose 5*x - 5*b = 10 - 0, 0 = -2*x - 4*b - 2. Let l = 19 - x. Let u be (-12)/l*78/4. Is -13 less than u?
False
Let x be (-1800)/4 + 4/(-4). Which is smaller: -450 or x?
x
Suppose 5*r - 6*r - 2*q + 5 = 0, 0 = 3*r + 4*q - 13. Suppose -g + r*g = 0. Let d(s) = -s**3 + 2*s**2 - 2*s + 3. Let t be d(2). Are t and g equal?
False
Let t be 1 + (-9272)/6680 + (-4)/(-10). Is t equal to -2?
False
Suppose -4 = -d - 3. Let y = -5227 - -1374703/263. Is y greater than d?
False
Let x(f) = 2*f + 11. Let c be x(7). Let b be (-4 + c/5)*0/1. Which is bigger: b or 1/35?
1/35
Let p be (14 - 8) + (3060/182)/(-3). Which is smaller: p or 1?
p
Let a be (2/(-3) - 1717/(-2652))*-10. Which is smaller: -1 or a?
-1
Suppose 0 = -45*z - 22*z + 1541. Is 22 > z?
False
Let z = 80.6 + -74. Let x = z + -7.6. Do 0.16 and x have different values?
True
Suppose 6*s + 43 = -11. Suppose -k + 10 = -0*k. Suppose k = -i - 0*i. Do s and i have the same value?
False
Let a be (-1