ppose 3*g - 5*g + 3 = -x, g - 19 = 4*x. Is q bigger than g?
True
Let c = 1743 - 775. Let f = c + -665. Is 304 != f?
True
Let s be 1/((-6)/(25884/(-6))). Which is smaller: -2 or s?
-2
Let m = 316.86914 + 0.03086. Let h = m + -317. Do h and 631 have different values?
True
Let m = -1.557 - -0.207. Let j = m + -0.65. Which is bigger: j or 7/5?
7/5
Suppose 0 = 40*p - 9*p. Which is bigger: -25/26 or p?
p
Suppose -4*n - 7 = -5*f, -n + 2*f = -0*f - 2. Let g = 70 - 53. Suppose -g*i + 45 = -22*i. Which is smaller: n or i?
i
Let n = 150 - 148.38. Let l = 0.88 - n. Let h = -0.34 - l. Which is bigger: 0.3 or h?
h
Suppose 408 = 2*m + 394. Let d be (-4 + 28/m)*(-1)/3. Which is smaller: d or -4/167?
-4/167
Let r(c) = -4*c**2 - 153*c - 155. Let n be r(-37). Suppose 4*t = -4*k + 4, -2 = -t - 7. Is k less than n?
True
Let v be (-620)/(-1116)*(1 + (-16)/10). Suppose -3*k - 6 + 0 = 0. Are k and v equal?
False
Let w = 1275 + -1635. Which is bigger: w or -2/11?
-2/11
Let m = -2633/609 - 2/203. Let v = -6543 + 6538. Are v and m unequal?
True
Let j(t) = 19*t - 381. Let q be j(77). Which is greater: 1083 or q?
1083
Let q = -6/6157 + 79038/5288863. Is 0 equal to q?
False
Let h(w) be the first derivative of -w**3/3 - w**2/2 + 19*w + 191. Let l be h(4). Let r = 19/22 + -4/11. Which is greater: r or l?
r
Suppose -3*l + 5*r = 2, -2*l = -4*l - 4*r - 38. Is -17.2 greater than l?
False
Let y = 7.128 - 19.958. Is -0.2 at least as big as y?
True
Suppose -10*l = -4*l, -2*n + 5*n - 2*l = 6*n. Which is smaller: -10/57 or n?
-10/57
Suppose 12*m = -91042 - 101176 - 9526. Is -16811 smaller than m?
False
Suppose 3*u = 4*v + 5, 4*u - 4*v - v - 8 = 0. Suppose -n = -5*q + 344, -2*q + 133 = 2*n - u*n. Let l be q/9*4 - (-2 + 0). Is 34 <= l?
False
Let z be (-61)/(-3) - ((-240)/36)/10. Let q = z + 59. Which is smaller: q or 86?
q
Let g = -0.975 + -0.155. Let q = g - -0.93. Let b = 1.8 - q. Is b less than or equal to -26?
False
Let k(h) = -44*h - 293. Suppose -q + 2*p - 14 = 0, 0 = -3*q - 2*p + 6*p - 38. Let y be k(q). Which is greater: 0 or y?
y
Let y = -1209.5 + -478.5. Is -0.1 > y?
True
Let r(o) be the second derivative of -5*o**4/12 + o**3/2 + 4*o**2 - 74*o. Let g be r(-3). Which is smaller: g or -142/3?
-142/3
Suppose -5*a = -5*v + 5420, 5*v - 2939 = 3*a + 311. Let w = a + 709589/654. Is w not equal to 1?
True
Let r = 22569 - 22577. Is -2/83 < r?
False
Let b = 34 + -34. Suppose -3*q = 4*m - b*q - 36, 2*m = -q + 16. Let g be (m/(-5))/(12/(-30)). Which is smaller: 2 or g?
2
Let p = -26.1 + 176.1. Let m = 149.79 - p. Is 0 greater than m?
True
Let c = -3300 + 3137. Which is smaller: c or -172?
-172
Let r(j) = -15*j - 209. Let u be r(-14). Which is bigger: u or -3/113?
u
Let h = 0.21086 + -41.52886. Let a = h - -0.318. Which is bigger: -1/2 or a?
-1/2
Let u = 1767/7 + -515/2. Is -4 > u?
True
Let v(w) be the second derivative of -w**4/12 + 13*w**3/6 - 6*w**2 + 41*w. Let g be v(13). Which is bigger: g or 3?
3
Suppose 5*i + 25 = 0, -52*n + 2*i = -49*n - 244. Suppose -54 = 3*f - n. Which is smaller: -2/3 or f?
-2/3
Let m(w) be the third derivative of -21*w**5/10 + 5*w**4/12 + 25*w**3/6 + 7*w**2. Let p be m(11). Let u be (-4)/(-18) - (-2530)/p. Is 0 <= u?
True
Let c = 1662/11 - 151. Let x = 8 + -5. Suppose -6*t + 3*t = x. Is c less than or equal to t?
False
Suppose -46*x - 1997 - 949 = 458. Which is bigger: -96 or x?
x
Let b = -4546 - -4924. Is b at least 381?
False
Let b(m) = -8*m**2 + 34*m - 198. Let k be b(-8). Which is smaller: k or -4909/5?
k
Let y be 2 - (1 + (-2 - -3) - 4). Suppose -y*u - 5 = -5*w + 3, 10 = 4*w - 5*u. Which is bigger: w or 66?
66
Suppose -d = -2*q - 763, 2*q = -3*q - 15. Let k = -795 + d. Which is smaller: k or -34?
k
Let d be (-11)/(-121)*(-4)/(-2) - 3192/(-6039). Is 1 less than or equal to d?
False
Let f = -599 + 619. Suppose 2*g = 6*g + 56. Let v be (-145)/(-7) - 4/g. Which is smaller: f or v?
f
Suppose -2*x - 3*r - 3725 = 0, 0 = 2*x - 2*r + 2092 + 1588. Is x greater than -1849?
False
Let s = -84390870/143 + 590150. Let b = -48/13 + s. Is 1 greater than or equal to b?
True
Let b(h) = 15 + 3*h**3 + 13*h + 7*h**2 + 0*h**3 - 2*h**3. Let x be -8*14/56 + -3. Let p be b(x). Is p less than 1/78?
True
Suppose 0 = -2*y + 4, 0*q = q + y + 21. Let p = q + 4. Let b = -20 - p. Is b less than -8/9?
True
Let b = -178 - -260. Suppose -176 = -2*t - 4*x, 3*t + 0*x = -3*x + 258. Is t greater than b?
True
Let m be 360/(-70) - (-30)/(-35). Let x be (-7*m/(-6))/1. Which is smaller: x or 3?
x
Let u be 0 - (-102)/(-52) - -2. Let x be (0 + (-201)/6)/26. Let b = u + x. Is -2 <= b?
True
Let o be (-8)/(16/(-18)) + 7 + 1888. Which is greater: 1 or o?
o
Let m be (-54)/6 + 14 + -7. Is -17 smaller than m?
True
Let r = -439504/1917 - -6190/27. Is 1 equal to r?
False
Suppose 0 = -17*i + 5957 + 2407. Let b = -301 + i. Is b at most 193?
True
Suppose -g = -3*n - 5, -3*g = -5*n - 10 - 5. Suppose 0 = -4*k + 3*y - 346, g*k + 431 = -0*k + 3*y. Which is smaller: k or -83?
k
Let n(u) = 44*u**2 + 395*u - 9. Let d be n(-9). Which is bigger: 1/1237 or d?
1/1237
Suppose x = 5*d + 12 + 27, 4*d = -5*x + 166. Let w = 9.72 - 3.72. Is x less than w?
False
Let r = -35.539 + 35.539. Is 310/13 greater than r?
True
Suppose -5*j - 20*o - 1879 = -19*o, -j = 2*o + 383. Is -377 at most as big as j?
True
Suppose -7*c + 25*c = 216. Suppose 3*u + h + 2*h - 27 = 0, -3*h + 11 = -u. Suppose -2*x = -u*x + 24. Is x < c?
False
Let q = -2300 + 7895. Is q < 5594?
False
Suppose 2*l - i + 376 = -2*l, 2*i + 94 = -l. Let c = l + 78. Let n be 4/6*(-1 - 12/c). Are -1 and n equal?
False
Suppose -o + 511 = 4*l, -1520 = 34*o - 37*o + l. Does o = 490?
False
Let i = 27643/13 - 2125. Suppose 4*r - 3*w = -3, 4*r - 4 = -6*w + 2*w. Let y be (0 - 2/(-2))*r. Which is bigger: y or i?
i
Suppose -2*b - 4 = -3*b. Let z(c) = c**2 - 2*c - 13. Let j be z(b). Let n be 14/35*2*j. Is -0.2 equal to n?
False
Let i(u) = u**2 - 7*u - 4. Suppose 0*k - 3*p + 2 = k, 2*k + 5*p = 6. Let n be i(k). Let x be (-2)/n + (3 - 75/33). Is x >= 0?
True
Let l = 67108 - 157569581/2348. Is 1 greater than l?
True
Let m = 55/3 + -19. Let n = 197.32 + -199. Let h = -9.68 - n. Is h greater than m?
False
Let k be 2/7 - 2/3. Let p(u) = 4*u - 38. Let i be p(11). Suppose -4*z + 2*z + i*z = 0. Which is smaller: k or z?
k
Suppose 31*j + 432676 = -95*j + 1675288. Are j and -0.1 unequal?
True
Let o = -13720 + 13720.4. Which is greater: o or 83?
83
Let g = 3763 - 7771/2. Let c = 124 + g. Is 2 at most c?
False
Let v = 282 + -283. Let u be -7*(-10)/35 - 44/27. Is u bigger than v?
True
Let l = -10/2741 - 13276/868897. Which is greater: -1 or l?
l
Let c be (0 + 1)/((-4)/4). Let h(n) = 4*n**2 - 5*n - 4. Let z be h(c). Suppose -u + z = -0*u. Is 5 at least as big as u?
True
Suppose 4*a + 33 = -5*p, 0 = -2*a - 0*a - 4*p - 24. Let f be a/(-5) - (-783)/(-1845). Which is smaller: -1/3 or f?
-1/3
Let o(x) = 3*x**2 - 97*x + 94. Let p be o(1). Is 3760 <= p?
False
Let t(g) be the third derivative of -2*g**4/3 - 82*g**3/3 + 191*g**2. Let z be t(-10). Is z < -3.7?
True
Let i = 2392714217715 + -133958498199470405/55986. Let n = 5/7998 + i. Are -117 and n equal?
False
Let y = -3619 - -3262. Which is greater: y or -358?
y
Suppose -l + 1 = 3*n - 3, -8 = -2*n - 2*l. Suppose 0 = 5*b - 5*q + 260, n = -3*b - 2*q - 3*q - 180. Let i be -2*1*-4*-7. Which is smaller: b or i?
i
Suppose -7*i + 230 = 62. Let k = -23 + i. Suppose 5*q - 40 = 4*d, -2*d + k = 4*q + d. Which is greater: q or 15/4?
q
Suppose 28*k - 11*k = 1275. Suppose k*w + 18 = 93*w. Let n be (-19)/(-35) + (-4)/10. Does w = n?
False
Let o be 14220/(-553) - 2*-6. Are 9 and o equal?
False
Suppose -3*h + 15*h - 24 = 0. Let v be ((-3)/(-9) - 0/h)*3. Which is greater: v or -7/38?
v
Let z = 196 - 198. Let q be ((-3)/z)/3 - 6/36. Is 0.3 <= q?
True
Let v be (-4)/3*(1970/(-190) + 17). Is v < -10?
False
Suppose -4*q + 2*o = 150, q - 3*o + 20 + 25 = 0. Let v = 46 + q. Let x be (-28)/35 + (-522)/v. Which is bigger: x or 0.1?
0.1
Suppose 0 = 4*n + 39 - 15. Let c be (-6)/(-4)*8/n. Let y be (-48)/9 - (c/(-2) + -4). Which is smaller: y or -1?
y
Suppose -3*x + 5*n = -12, -2*x + 0*n = 3*n - 8. Suppose -4*v + 12 = -2*k, 11*k + 34 = 18*k + 5*v. Suppose -x*w = -2*s - 4, k*s = -w - 1 - 13. Is -13/2 >= s?
False
Let j = -564 + 9021/16. Let f = 0.0956 + 185.1044. Let x = f + -185. Is j > x