same value?
False
Let d(t) = -3*t + 14. Let v be d(4). Suppose 5*l = 4 + 6. Suppose -v = l*a + 30. Which is bigger: -50/3 or a?
a
Let b = 481 + -485. Let f be 5 + 533401/(-108889) + b/38. Which is greater: f or -1?
f
Let b = -820503 + 28951448353/35285. Is 1 equal to b?
False
Let a = 184982267/1165 + -158783. Are 1 and a nonequal?
True
Let m = 3465 + -2459. Does 1006 = m?
True
Let a = -3551 + 3383. Is -169 not equal to a?
True
Suppose 349*z - 33201 = 370*z. Is -1583 bigger than z?
False
Suppose -5*a - 2*z = -17, 0*a = 2*a + 3*z - 9. Suppose -2*x - 1 = -3*x - 2*f, -4*f - 8 = 0. Suppose u + 4 = 3*k - 9, 2*k = x*u. Which is smaller: u or a?
u
Let m be (-33)/8195*(15/3)/(2/(-2)). Which is greater: -0.4 or m?
m
Let s = -1206 - -1222. Let i be (-1 - 0) + (-1)/(-1). Let c be (-1 - i - 3)*(-12)/s. Which is smaller: 2 or c?
2
Let p = 170 + -378. Let y = -139 - p. Is -5 greater than y?
False
Let d = -341.8434 - -341.9. Which is greater: 0.02 or d?
d
Let q = 135 + 72. Suppose -28*w - 28*w + 16224 = 22*w. Is q greater than or equal to w?
False
Let m = 354.7 - 29.7. Let t = -312 + m. Let y be 12/189 - (-6)/(-21). Is y greater than or equal to t?
False
Let y(i) = i**3 + 2*i**2 - 2*i - 11. Let j be y(-3). Let r be 6/j + -5*32/280. Which is smaller: r or 3/154?
r
Let a = 731 - 3669/5. Let m = 1083/385 + a. Are -1 and m equal?
False
Suppose -5 - 3 = 2*c. Let f be 7*24/(-42)*(-18)/c. Is f bigger than 0.05?
False
Let k = 0.07235 + -0.27235. Which is greater: -31.4 or k?
k
Let u be 0*3/(-6) - -1. Let m be u - -3 - (18 - 14). Is -4/55 greater than m?
False
Suppose 57*x = -79*x - 8*x + 33*x. Do 1/9730 and x have the same value?
False
Let m(o) = -o**3 + 2*o**2 - 16*o + 17. Let z be m(1). Suppose a = -4*c + 327, 2*a + 4*c = 6*a - 1248. Let g = a - 1569/5. Which is smaller: g or z?
g
Let i(z) = 2*z**2 + 17*z + 26. Let r be i(-4). Let j be (-6)/(-9) + r/15. Which is smaller: j or -1/1103?
-1/1103
Let q(s) = s**2 + 19*s - 3007. Let j be q(99). Is 8675 less than j?
False
Suppose 5*l + b - 651 = 0, -2*l - 2*b = -189 - 73. Let v = -5 + l. Is v >= 125?
True
Let w = 1 + -6. Let c be (-639)/(-18)*-2*(3 + -2). Let t = 202/3 + c. Is w < t?
True
Let q = -595 - -399. Is 1 smaller than q?
False
Let i(b) = 8*b - 25. Let j be i(3). Let k = 40811/45 + -907. Are j and k equal?
False
Let k = -12801/4 + 3241. Let j = -94 + 95. Which is smaller: k or j?
j
Let q = -11.4375 + -0.5625. Suppose -3*b - 4 - 5 = 0. Let k be (4 - 2)*b/6. Is q at most k?
True
Let j = 28.642 + 0.858. Let q = j + -26.8. Which is smaller: q or 1/4?
1/4
Let h = -246 + 490. Let j = h + -241. Is -25 at least j?
False
Let f = -0.69 - 3.51. Let v = 3.98 + f. Which is bigger: v or -0.2?
-0.2
Let x be -6 + 10 - (-3 + 1). Let d be -25*(-9)/(-12) + x. Is -12 greater than or equal to d?
True
Suppose 14*z = 11*z + 3*d + 4083, 0 = 5*z + 2*d - 6777. Which is bigger: 2713/2 or z?
z
Let p be 6/(-33) - 42/11. Suppose 6*k + 15 = 3*k. Which is greater: k or p?
p
Let t be (6/14)/((-665)/(-49) + -9). Let x = -3477/224 + t. Is -16 not equal to x?
True
Let q(n) = n**3 + 14*n**2 + 73*n - 23. Let u be q(-11). Which is greater: -1393/3 or u?
u
Let w be (-46)/(-14) - 0 - 38/133. Let h be w + (-3)/18 + -2. Suppose 11*g = 13*g. Which is smaller: g or h?
g
Let u(y) be the first derivative of 2*y**3/3 + 3*y**2/2 - y + 16. Let r be u(0). Is -2/17 at least as big as r?
True
Let n = 28 + -14. Suppose 0 = n*o - 21*o + 651. Which is bigger: o or 92?
o
Let i = -245.062 - -244. Let w = 416.538 + -416.6. Let x = w - i. Which is greater: x or 1/80?
x
Let m = -1 + 1. Let h(a) = 8*a - 31. Let t be h(6). Let u = t + -11. Which is smaller: m or u?
m
Let m(p) = 2*p**2 + 61*p + 1. Let r be m(-31). Which is greater: 28 or r?
r
Suppose -21*f + 3*z = -18*f + 11580, 3*f - 4*z = -11585. Is -3856 smaller than f?
True
Let k(w) = w**3 + 24*w**2 - 10*w - 4. Let o be k(-24). Let z = 245 - o. Are 16 and z non-equal?
True
Let n(v) = -v - 18. Let t be n(-24). Suppose 2*s = s - t*s. Let z be 90/(-50)*2/(-3). Is z less than or equal to s?
False
Suppose -6*s - 10 = 6*s - 2*s. Does -4/2111 = s?
False
Let a = 49 - 51. Let r be (a/12)/(10/(-5)). Is r smaller than -17?
False
Let q = 2941/9 + -327. Let v = -5 + 14. Let s = -11 + v. Do q and s have different values?
True
Let v = 4861 + -48563/10. Let a be 5 + (36/24)/((-3)/2). Which is smaller: a or v?
a
Suppose 6*j = 27 + 15. Let g(z) = 18*z - 40*z + 23*z + 3. Let c be g(4). Is c < j?
False
Let g = -0.03058 - 0.06942. Is -3123 > g?
False
Let r = -26.2 - -23. Let q = -108 + 110. Suppose u - q*u + 5*z = 19, -3*z = -4*u - 8. Which is greater: u or r?
u
Let j = -0.469 + 0.317. Let p = -1.152 - j. Which is bigger: -3/82 or p?
-3/82
Suppose 4*v + 4*b + 90 = 18, b = -3*v - 58. Let p = 9 + v. Let z(w) = w**2 + 11*w + 9. Let q be z(p). Is 6 at most q?
True
Let f(r) = -3 - 6 + r + 1. Let a be f(7). Let o = -15.18 + 0.18. Is o equal to a?
False
Let x(c) = c**3 - 8*c**2 + 18*c - 7. Let t be x(7). Suppose -3*d + 2*n - 4*n = -t, 3*d - 3*n = 60. Is d bigger than -2?
True
Suppose -8959*c + 5800 = -8967*c. Which is smaller: c or -2171/3?
c
Suppose 11*u + 94 = -137. Let w(v) = -v**2 - 18*v + 73. Let a be w(u). Is a != 12?
True
Suppose 162*b + 255*b = 298*b - 323918. Is b > -2722?
False
Let l be (-11 - 137/3)*(-4 + 1). Let j = l - 167. Which is bigger: j or -20?
j
Let z(c) = 6*c - 113. Let x be z(24). Suppose 0 = -x*u + 7*u + 312. Let j be 1 - (2 - (-1 - -16)). Is j >= u?
True
Let v(r) = r**2 + 11*r - 21. Let n be v(-12). Let q be ((-5)/(20/(-3)))/(4/(-48)). Do n and q have the same value?
True
Let o = -12306 + 12268. Which is smaller: o or 10?
o
Suppose -2*t = -3*p - 2, -2*t = -5*t + 5*p + 1. Let g = t + -7. Let y = -221 + 5963/27. Which is smaller: y or g?
y
Let t = 229 + -228. Is t not equal to -4/6753?
True
Let k = 5 + 15. Let m(v) = 2*v**2 - 189*v - 379. Let t be m(-2). Are t and k non-equal?
True
Let w = -6954 + -5609. Is -12563 at least as big as w?
True
Let y = 180 + -101. Suppose 3*k = -7 + y. Suppose 8*o - 2*o + k = 0. Is o smaller than -5?
False
Suppose 0 = 4*k + m + 2877, 3*m = 10*k - 6*k + 2889. Which is smaller: 2 or k?
k
Let w = -0.5974 + 60.5974. Is w >= -62?
True
Let n = -4.2 - 0.8. Let s = n + 13.1. Let u = 6.1 - s. Which is smaller: u or 13?
u
Let z be -1*7 + ((-66)/(-297) - (-5066)/450). Do -2/11 and z have different values?
True
Let a(q) = -q**3 + 2*q**2 + q + 8. Let z be a(3). Suppose 0 = o - z*n - 74, -5*o + 4*n = 2*n - 370. Let w = o + -74. Is -1/27 smaller than w?
True
Let o be -11 + 4 + 7 + -5. Which is bigger: o or 113?
113
Let r = 25502 - 25838. Do -2/5 and r have different values?
True
Suppose -20553 = 200*d - 149*d. Is -408 < d?
True
Suppose -6*m = 1481 - 413. Which is smaller: m or -179?
-179
Let f = -0.528 - -0.038. Let p = f + -3.51. Let h = 269/710 - -3/142. Does p = h?
False
Let n = -87 + 147. Suppose -n*x + 62*x = 206. Is x greater than or equal to 104?
False
Let x = -10 + 3. Suppose -83 = -f - 82. Let h be (17 + -9)*(12/8 - f). Which is smaller: x or h?
x
Let h = -0.5 + 18.5. Let m = 45.6 + -43. Let u = m - 4.6. Which is smaller: h or u?
u
Let w(s) = -s**3 + 7*s**2 - 7*s + 4. Let q be w(6). Let y be 0/q*(-1)/2. Let k be (-2)/5 + (-17168)/(-35520). Is y >= k?
False
Suppose -4*m = 2*q - 1670, -4*q - q + 4079 = 22*m. Is q <= 851?
True
Let k = -202 - -345. Let z = -38/321 - -184085/1284. Let i = k - z. Is 28 != i?
True
Let u = -3 + 4. Let s = 109 - 102.76. Let w = -6.07 + s. Is u at least as big as w?
True
Suppose -24*a = -23*a - 8. Let f be a/6*41/(-10414). Which is bigger: f or 1?
1
Let h(l) = 2*l**2 - 2*l + 6. Let y be h(-5). Let x = 131/2 - y. Which is bigger: x or 220?
220
Suppose 2*u - 134 + 4410 = h, h - 4285 = 3*u. Which is greater: h or 21289/5?
h
Let n be (1515/40 - 4)/((-38)/76). Suppose 67 = -2*z + z. Which is greater: z or n?
z
Let a be 4 + -13 - -2 - (-8)/((-288)/(-5372)). Is a bigger than -1?
True
Suppose -19*l = -16 + 92. Let n be (-3 - 12)*(-1)/3. Suppose n*r + 4 = -5*o - 41, -o = -4*r - 16. Is r greater than l?
False
Let t be (-15)/3050*1634/(-129). Which is smaller: t or 0?
0
Let q(h) be the third derivative of h**6/120 - h**4/4 - 5*h**3/6 + 300*h**2. Let x be q(-1). Which is smaller: -7/131 or x?
-7/131
Let v = 19991/84 - 367/42. Suppose 4*q = 703 + 221. Let h = q - v. Which is greater: 3 or 