2*p, v*o - 5*p - 55 = 0. Suppose o*t = 7*t - 2. Which is greater: t or -3/14?
-3/14
Let k = -19216.931 + 19217. Which is bigger: k or 0.31?
0.31
Let q be -1 + (-2)/7 - -1. Let b = -6401/140 - -242/5. Let h = 13/14 - b. Is q < h?
False
Let u = -0.206 - -0.136. Let x = -14/17 + 76/51. Is u equal to x?
False
Suppose 4*b + 2*y = -42, -b - 2*b - 5*y = 49. Let f(o) = 3565*o + 28520. Let z be f(-8). Do b and z have the same value?
False
Let f(h) = -h**3 + 3*h**2 + 3*h + 4. Let m be f(4). Suppose 0 = -12*w + 10*w - 224. Let p be m - 4/(w/3). Is p < 1?
True
Suppose -9*p - 400 - 108 = 194. Suppose -7*t - 486 = -t. Are p and t equal?
False
Suppose -42*w + 40 = -52*w. Let y(c) = c**3 + 7*c**2 + 14*c + 10. Let b be y(w). Is 20/33 > b?
False
Let f = 5264 - 4595. Which is smaller: 672 or f?
f
Let w = -2 + 3. Suppose 4*o = 16, 2*r + 1697 = -o + 107. Let n = r + 21515/27. Do w and n have the same value?
False
Let k(x) = x**2 + 4*x - 10. Let f be k(-8). Let a = f + -60. Suppose -h + 33 = -b - 0*h, 5*b - 2*h + 177 = 0. Is a at least as big as b?
False
Suppose -20*k + 10*k + 950 = 0. Let f = k + -96. Is f bigger than -6?
True
Let d be 4 - (-23)/(-6) - 208870/420. Is d equal to -498?
False
Suppose -3*z - 3*z + 3156 = 0. Let o be (-1 + z/530)/(59/(-295)). Suppose 0 = -2*r - 3*t - 2*t - 22, 16 = -4*t. Is o greater than r?
True
Let y be 34/6 - (1 - 0). Suppose -540 = 173*z - 182*z. Suppose 139*p - 151*p = -z. Which is smaller: y or p?
y
Suppose -5*g + 25 = d + 4*d, -10 = -2*d. Let r(z) = -2*z + 4. Let i be r(g). Let l be 2/(i/10 - 45/75). Are l and -10 nonequal?
False
Let n = -36 + 19. Let v = 1188 - 1191.32. Let o = 3.32 + v. Is n at least as big as o?
False
Let c = 48642/8231 + -7830880964/2115367. Let k = 3696 + c. Which is smaller: -1 or k?
-1
Let p = -3 - -2.8. Let u = 101 + -100.4. Let l = u - 0.66. Which is bigger: l or p?
l
Let m = -54.06 - -56.46. Is m not equal to 0.03?
True
Let r(h) = 156*h + 2185. Let l be r(-14). Is -16/839 greater than l?
False
Let t be (-84)/(-36)*(-18)/(-21). Suppose 0 = -2*a + a + 4. Suppose z = 2*k + 7, 0 = k - t*k + a*z - 14. Which is greater: k or -9/17?
-9/17
Let p = -27300 + 27285. Which is smaller: -28 or p?
-28
Let t = 7065 + -7065. Is 9504 bigger than t?
True
Suppose 57 = -21*d + 15. Let u = -58 + 102. Which is greater: d or u?
u
Suppose -4*u = -12*u + 264. Let j be 6/u - 131/660. Which is smaller: j or 0?
j
Let t = 10992 - 10991.9. Which is greater: t or -5360/11?
t
Suppose -25*z + 13328 = 9*z. Let s = -407 + z. Is -15 <= s?
True
Suppose -2*p + 219*c - 224*c = 129, 3*c = -p - 67. Is p greater than or equal to -51?
False
Let q(c) = -13*c**3 + c**2 - 9*c + 20. Let d be q(4). Is -844 less than or equal to d?
True
Let n(o) = o**2 - 11*o + 28. Let h be n(9). Let l(w) = -w**2 - 2*w + 50. Let b be l(h). Is -2 > b?
True
Suppose 17 = 5*x + 267. Suppose -6*g = 199 + 107. Is g at most as big as x?
True
Let b be 7/((-350)/(-20)) - (-9234)/(-10). Is -922 less than b?
False
Let k = -7/4190 + -1044/2095. Which is bigger: k or -12982?
k
Let k = -50/561 - -1/33. Suppose 0 = 2*p + 5*p - p. Suppose p = 7*y - 2*y + 5. Is y less than k?
True
Let c = -773045729/14956 - -51688. Are 0 and c unequal?
True
Let v = 40685438/286713 - 5818/41. Which is greater: v or 1?
1
Let d = 5/87 - -1880/87. Let a(z) = 2*z**3 + z**2 + z + 1. Let t be a(2). Do t and d have the same value?
False
Suppose 4*j - 2 = -8 + 18. Let y be (-3 + 2)*-2 - 1. Which is smaller: y or j?
y
Let p(j) = 4*j**2 + 4*j - 8. Let y(r) = 3*r**2 + 5*r - 8. Let b(x) = -4*p(x) + 5*y(x). Let g be b(8). Let f = -7762/285 + 136/5. Do f and g have the same value?
False
Suppose 5*d + 13 = b, -26*b + 21*b + 5*d - 35 = 0. Let i = 1 - -2. Let m(c) = -3*c. Let p be m(i). Is b > p?
False
Suppose 182*d + 483400 = -54*d + 36*d. Is 1 equal to d?
False
Let s(k) = 12*k - 152. Let b be s(15). Suppose -17*x + 9*x = b*x. Let l = 0 + 0. Are x and l equal?
True
Let x be (-159)/742 + 2/(-28). Is 24 bigger than x?
True
Suppose 3*y + 5*p = -0 + 17, 5*y - 19 = p. Suppose -4*h + 43 = -5*a + 165, -86 = -3*a - y*h. Which is greater: 23 or a?
a
Suppose -1717 + 1502 = q + 4*g, -2*q - 4*g = 446. Suppose 5*k = -4*y - 440 - 694, -2*k + 3*y = 472. Are k and q equal?
False
Suppose p - 6*c = -883, 5*p - 4*c + 3422 = -837. Is -850 > p?
False
Suppose -3*g + 2*p + 3 = 0, 3*p + 2*p = -4*g - 19. Let h = -0.023 - 6.277. Let u = -3.9 - h. Does g = u?
False
Let x = -404.2 + 417.5. Let k be 54/(-72)*(-4)/18. Which is bigger: x or k?
x
Let l be (9/(-18) + 11/6)*-3. Let v(z) = 254*z - 2. Let x be v(2). Let w = -2551/5 + x. Which is greater: w or l?
l
Let t = 2874 + -2899. Which is smaller: t or 11?
t
Let n = 1734 + -22544/13. Which is greater: n or 1248?
1248
Suppose -4*p + 8 = 0, 3*p = 5*s + 7*p - 8. Let a be 1 + s + (-20 - -13 - -6). Which is smaller: -4/379 or a?
-4/379
Let y = 36 - 28. Suppose -y*v = -6*v + 28. Let c = -24 - v. Which is smaller: c or 2?
c
Let n = -23.57 - -23.5. Let h = n - -69.07. Which is smaller: 0.3 or h?
0.3
Let i(d) = -d**2 + 7*d - 1. Let n be i(8). Let r = 169.723 + 0.277. Let p = r - 175. Is p < n?
False
Suppose -84*r = 2285 + 1747. Is r bigger than -28?
False
Let k = -173.6058 - -1.6058. Which is greater: 11 or k?
11
Suppose -4*i = -u - 43, 5*u = 5042 - 5037. Suppose 3*d - 135 = -0*d. Suppose -3*m = -8*m + d. Which is greater: i or m?
i
Suppose 7 = -5*c - i, 4*c - 5*c + 5*i = -9. Suppose 5*s - 514 = -3*m, 0 = -3*s - m + 156 + 154. Which is smaller: s or c?
c
Let y = 62 - 30. Suppose 0*h + 4*h + 845 = 5*u, 2*u + 4*h - 310 = 0. Suppose -5*l - q + u = 0, 39 = 2*l - 0*l - 5*q. Are y and l non-equal?
False
Let s = -1604163/24344 - -22176/179. Let z = s + -4694299/80376. Let j = -1/197 + z. Which is smaller: j or 1?
j
Let y = 122 - 113. Suppose 6*p + 96 = y*p. Is p less than or equal to 33?
True
Let k be 45 + -37 - 3867/323*(-4)/(-6). Is k equal to 1?
False
Let a(c) = 532*c. Let w be a(4). Is 2128 greater than w?
False
Let y = 144 - 141. Let v(x) = -3*x + 1. Let k be v(y). Which is bigger: k or -10?
k
Let u = 7871/3234 + -17/147. Let b = -5989/2574 + u. Is b <= 1?
True
Suppose -2*n + 10 = 5*f - 7*n, 0 = -2*f - 3*n - 1. Let z be (-2 + f)/(-5 - -4). Let m = 134/5 + -671/25. Does m = z?
False
Let c be (-9)/(-18)*(-2 - 0) - -49. Let p be (-2)/c - (-10 + -8 + 18). Is p less than or equal to 1?
True
Let x = 269.5 - 272. Let a = x + 2.4. Which is smaller: 0.58 or a?
a
Suppose -6*o + 25 - 1933 = 0. Let w = 311 + o. Which is bigger: 1 or w?
1
Suppose -2*x = -5*x - 2628. Let o = x + 872. Is -19/4 not equal to o?
True
Let k be 14106/2826*3 + -15. Which is smaller: -1 or k?
-1
Let q = 581.2 + -581. Which is smaller: 135/4 or q?
q
Suppose -56*y = -48*y + 1768. Let o be (-6)/39 + (-101915)/y. Which is greater: 460 or o?
o
Let c(q) = -8*q**2 + 64*q - 492. Let p be c(33). Is -7092 <= p?
True
Let q = -129 + 129. Suppose q = -w, c + c = -2*w + 4. Is c less than 4?
True
Let c be (144/(-192))/(-2 + 185/(-8)). Which is smaller: -45 or c?
-45
Suppose -170 = 5*z + 5*r, -2*r + 0*r - 128 = 4*z. Let d be (-85)/2*108/z. Suppose -3*s - 118 = s + i, -5*s - 4*i - d = 0. Is -30 > s?
False
Let f(x) = 6*x + 86. Let y be f(-13). Let h be ((-72)/15)/y + 126/10. Which is smaller: 0 or h?
0
Let u(g) = 29*g + 284. Let z be u(-77). Is z greater than or equal to -1951?
True
Let n = -2930/11 + 58737/220. Let c = 1/44 - n. Suppose p + 8180*x - 8175*x = -20, 4*p = 9*x + 36. Do p and c have different values?
True
Suppose 13*s = 11*s - 4*u - 66, 2*s + 71 = -3*u. Is s less than or equal to -67?
False
Let a = 29.278 - 0.378. Let l = -29 + a. Let q = 11 + -10.78. Which is greater: l or q?
q
Let q(x) = 2*x**2 - 4*x - 14. Let h be q(-7). Suppose 10*p = 6*p + h. Suppose 0 = 3*j + 95 + p. Is -42 less than j?
True
Suppose 3*d + 41 = 5*a, 5*a = a + 16. Suppose -10512 = 890*y + 424*y. Does y = d?
False
Suppose 0 = -156*b + 93*b + 95949. Are 1523 and b non-equal?
False
Let p = 460 - 470. Let o(c) = -5*c**2 - 4. Let k be o(-3). Let m be p/14 + 14/k. Do m and 2/31 have the same value?
False
Let n(a) = -43*a - 1353. Let i be n(-52). Is i equal to 883?
True
Suppose 0 = -6*a + 23 + 13. Let q be 2 + a*(2 + 0 + 2). Does q = 26?
True
Suppose 3*d - 176 = -2*l, -5*l = 511*d - 509*d - 132. Is d at least as big as 59?
False
Let s = -56 - -44. Let b be s/(-32) + (-543)/(-24). Is