big as q?
False
Suppose x - 653 = 5*p, -6*x = -10*x - p + 2633. Let q = x + -669. Let j be (-72)/7 + 2/7. Is q equal to j?
False
Let h = 42/37 + -778/555. Is h at least as big as -0.17?
False
Let j(c) = 2*c**2 + 4*c - 5. Let y(o) = -o**2 - o. Let l(r) = -j(r) - 5*y(r). Let k be l(-3). Suppose k + 126 = 5*s. Is s equal to 31?
True
Suppose -5*k - 116 = 7*w - 9*w, -k = -w + 19. Are -455/17 and k unequal?
True
Let s = -5921/399 + 104/7. Let t = s + -7/57. Are 0 and t unequal?
True
Suppose 4*u + 127 = 407. Let t(q) = q**3 + 22*q**2 + 18*q + 8. Let r(a) = -a**2 - 15*a - 35. Let s be r(-14). Let m be t(s). Does m = u?
False
Let u be (153 - 0)/(27 - 18). Are u and 11 non-equal?
True
Suppose 5*p + 6921 = 6*k, 5*k + 4*p - 1266 = 4477. Is 1151 > k?
False
Suppose 5*y - c - 181 = 0, 2*y - 33 = -4*c + 35. Suppose k = -5*a + 85, -2*k + 38 = 4*a - y. Let w(z) = -5*z + 72. Let h be w(a). Does -13 = h?
False
Let b = -11.8 - 33.2. Let l = b + 43. Are l and 0.017 equal?
False
Let m(h) = 20*h**2 - 325*h - 3258. Let d be m(-10). Which is bigger: 1 or d?
d
Let v(q) = -q**2 + 70*q - 1224. Let b be v(34). Which is smaller: 25/13 or b?
b
Suppose u + 1853*w - 1848*w - 4 = 0, -u - 4*w + 3 = 0. Which is smaller: -1/2375 or u?
u
Let g = 180 - 614. Let r = g + 429.81. Let y = 4.1 + r. Which is greater: y or 3?
3
Suppose 0*d = -4*d - 112. Let s be d/(-3) + 4/6. Let t be (-60)/(-9)*((-54)/30)/(-1). Is t >= s?
True
Let k be (-1 - 3/(-1)) + 102. Suppose -2*t - 2*t - k = 0. Let u = 24 + t. Which is greater: -4 or u?
u
Suppose -m - 3*z - 19 = -23, -2*m = -4*z - 8. Suppose -3*p - 2*b + 6*b + 562 = 0, -m*p + b + 758 = 0. Which is smaller: 189 or p?
189
Let q be (-1 - -2) + (-32704)/74. Let c = q - -441. Suppose 3*k = -k. Is c > k?
True
Let d be (-1 - (-206)/(-4))*354/177. Let g = d + 68. Which is greater: g or -145/4?
-145/4
Let f(r) be the second derivative of -r**5/20 - 11*r**4/12 - 5*r**3/2 - r**2/2 + 15*r. Let p be f(11). Let u be 2/14 - p/98. Which is smaller: u or 30?
u
Let w be 2 + 30/(-12) - (-5)/2. Let x be 0 + 21960/28 - 3. Let z = x + -779. Is w equal to z?
False
Let l = -2787.8 + 2788. Which is smaller: l or -3.47?
-3.47
Let w be (2 - 60/25)/(4/20). Let l be (-2)/5 - ((-2859)/1185 - w). Is l at least -1?
True
Let o = 6190.57 - 6192. Is o < 0?
True
Suppose 3*h - 12 = -0*h, 0 = m - 4*h - 12. Let w = m + -31. Let a(j) = -j**2 - j + 3. Let f be a(w). Which is bigger: f or -8?
f
Let j be (180/144)/((-4)/(-8)). Which is bigger: j or 3/11?
j
Let f = 2.239 - 0.239. Let c = 5 + -30. Let m = -26.6 - c. Is f greater than or equal to m?
True
Let x = 643 - 649. Let r be ((-1)/(-1))/(5 + x). Does r = -2/1755?
False
Let r be (-6)/51 + (-931)/(-833). Is r > 52/105?
True
Let v(j) be the first derivative of j**2/2 + 28*j + 24. Let z be v(-23). Suppose -6*i = -z*i - 16. Which is smaller: 18 or i?
i
Let a = -2.539 + -139.561. Let g = a + 142. Which is smaller: 150 or g?
g
Let a = -18 + 162. Let u = a - 144. Which is bigger: -6/37 or u?
u
Let m = -2.52 + -81.48. Let s = -84.61 - m. Is s <= 0.2?
True
Let s = -2910.6 - -2910.7. Is 22414 less than or equal to s?
False
Suppose -2*l - 152 = -5*s - 520, 0 = l + 24*s - 25. Which is greater: l or 173?
173
Let o(g) = 3*g**3 - 3 + 11*g**3 + 2*g**2 + 3*g + 6*g - 12*g - 1. Let m be o(-2). Is m != -105?
True
Let y(v) = -754*v + 749*v + 6 - 4*v**2 - v**3 - v**2. Let q be y(-3). Which is smaller: -5 or q?
-5
Let k = 21221.3 - 21221.4. Let j = -1.75 + 2. Which is smaller: k or j?
k
Suppose -24*o - 17*o + 82 = 0. Let k(w) = 4*w**3 + w**2 - 3*w + 2. Let q be k(1). Do o and q have the same value?
False
Let w(y) = -y**3 - 5*y**2 - 2*y + 8. Let x be w(-4). Let q(r) = -27*r - 5. Let h be q(-23). Let c = h - 75151/122. Is x less than or equal to c?
True
Let h = -604463/734304 - -2/7649. Which is greater: h or -2?
h
Let s(b) = 240*b**2 - 6*b + 12. Let v be s(5). Let c = -42082/7 + v. Which is greater: -31 or c?
c
Let p be ((-12)/(-30))/(7/35). Suppose -6*q + 3*q + 5*i = 21, 3*q + p*i = -21. Which is greater: q or 25?
25
Suppose -2*r - 2*q + 7*q = -125, -q - 3 = 0. Let o = 109 - 52. Suppose r*b = o*b. Is 25 <= b?
False
Let y = -4613.1 + 4613. Let j be (1 - (-3138)/10) + 1. Let q = j - 317. Is y at most as big as q?
False
Let m(a) = -2*a**2 + 2*a - 36. Let w be m(5). Let h be (6/w)/((30/4)/(-15)). Let s(k) = k + 7. Let z be s(-6). Which is smaller: h or z?
h
Let g = 33060 + -32789. Are 234 and g unequal?
True
Suppose 11*j + 6925 = -588. Let a = j - -662. Which is bigger: a or -39/2?
-39/2
Let i = 129771/46 + -2821. Suppose -32 = 12*v + 20*v. Is i not equal to v?
True
Let n be 2986/(-2226) - 72/(-54). Is n less than 0?
True
Let w be 21 - ((-172562)/(-5070) - 13). Which is bigger: w or 1/3?
1/3
Let d(f) = 4*f + 8. Let v = 22 - 24. Let j be d(v). Suppose -19 = -j*q - q. Which is bigger: 20 or q?
20
Let i = 30149 - 30149.15. Are i and -756 nonequal?
True
Let c = 3.038 - 105.058. Let h = -102 - c. Does -0.6 = h?
False
Suppose -2*p + 41 = 3*i + 12, 2*i - 3*p = 15. Which is greater: -24 or i?
i
Let x be (-2268)/(-1350)*195/(-4). Which is smaller: -83 or x?
-83
Let q = 9.7668 + -1.7668. Let x = -0.1 + 0. Is x >= q?
False
Let q = 1 + 0. Let d = 115819 + -115635. Which is smaller: d or q?
q
Let t be 2 + ((-30)/5 - -5). Suppose -h - 5*w + 26 = 0, -h - 3*h + w = t. Is h greater than or equal to 0.196?
True
Let z be (1 - (-7 + 9))*-9. Suppose -z*m = 15*m. Let l be (9/24)/(2/4). Which is smaller: l or m?
m
Suppose 4*k - 354 = -10. Let q be 0/(3 - 6) + 4. Suppose -2*b + 162 = 4*f, 3*f - f - q*b - k = 0. Is 42 at least f?
True
Let g(j) = j**2 - 2*j - 7. Let r be g(5). Let a be (-41)/(-2) - ((-12)/r + 3). Let q(k) = k - 21. Let l be q(a). Which is greater: 3 or l?
3
Let y = -121 - -122. Let n be ((1/y)/((-24)/(-16)))/(-10). Let r(q) = q**3 + 3*q**2 + q - 2. Let g be r(-2). Which is greater: n or g?
g
Let r = -46 - -58. Let p be (15/16)/(9/r)*-68. Let a = 85 + p. Which is greater: 2/21 or a?
2/21
Let d(y) = y + 34. Let b be d(0). Let u(r) = 33*r**3 - r + 1. Let k be u(1). Let x = b - k. Which is smaller: -2/23 or x?
-2/23
Let x be (-6)/(((-24)/(-9))/4). Let s be ((-4)/(-6)*-6)/(6/x). Let v be s/15 + (-98)/220. Which is smaller: 0 or v?
v
Let x = -10699 - -10617. Are x and -43 unequal?
True
Let r = 140402/7 + -20153. Let h = -92 - r. Suppose -z + 2*i + 17 = 0, 2*z = -3*i - 1175 + 1160. Are h and z nonequal?
True
Let s = 3.12 + -3.2. Let l = s + 22.08. Let f = l + -21.87. Which is greater: f or -0.1?
f
Let r = -98 + 110. Let g = r - 2. Let c be 0/((-12)/(-36) - g/(-6)). Are c and 1/82 non-equal?
True
Suppose 5*i = -4763 + 4793, -263 = 5*l + 2*i. Let u = 3085/2 - 1596. Which is smaller: u or l?
l
Let l = -23716 - -23716. Which is greater: 15/2008 or l?
15/2008
Suppose -5*x + 536 = 61. Suppose 4*t = 29 + x. Suppose -t*n - 66 = -28*n. Are -22 and n nonequal?
False
Let w be -583 - (-80)/10*(-1)/2. Let u = w - -588. Which is greater: 8/11 or u?
u
Let b = -2499 + 1936. Which is smaller: b or -2?
b
Let h = -4 - -8. Let o = 211.18 - -0.82. Let q = 216 - o. Is q smaller than h?
False
Let u = -38 - -37.63. Let o = u - 1.03. Let m = 2.6 - o. Are m and 1 equal?
False
Suppose 0 = 66*o - 59*o - 35. Suppose -o*q + 550 = -10*q. Which is smaller: q or -111?
-111
Suppose -67*o - 6*o - 657 = 0. Let k be 2/8 + 93/12. Let y be 3/(9/3) - k. Which is bigger: y or o?
y
Let i = -211/43 + 2497/430. Which is smaller: i or -18?
-18
Let h(q) = -q**3 + 90*q - 1 + 47 + 0*q**3 + 16*q**2 - 47*q - 46*q. Let r be h(16). Which is bigger: -7 or r?
r
Suppose -3229*t = -3272*t. Does -2/48887 = t?
False
Suppose -4*w - 6*a = -3*a - 237, -301 = -5*w + a. Let f(m) = 1609*m + 16151. Let l be f(-10). Is w at least as big as l?
False
Let z = 169/9 + -12080/639. Is z smaller than -1?
False
Let f(a) = 6*a + 58. Let n = -48 + 38. Let w be f(n). Which is greater: 49 or w?
49
Suppose -9*w - 447 - 525 = 0. Let m = 45 - 43. Suppose 4*o + 437 = 3*y, 7*o = m*o + y - 538. Which is greater: w or o?
o
Suppose 193 = 4*w + 5*j, -3*j + 24 + 117 = 3*w. Suppose -5*d + 23 = 2*o + w, 3*o = -2*d - 12. Which is greater: d or -4?
d
Let y be (450/(-120))/(((-18)/(-16))/(-3)). Let l be 8/y*((-247)/124 + 2). Which is smaller: l or 1?
l
Let m(u) = -u**3 + u**2 + 21*u + 9. Let z be m(-4). Suppose -z*o + g = -1011, -3*g = -4*g + 4. Is 203 at most as big