214
Suppose -182 = -378*t + 1330. Which is bigger: -0.1238 or t?
t
Suppose -125 + 134 = -15*j - 216. Which is smaller: j or 33?
j
Let q = 11 - 12. Let l = -4582969/8925 - 458/1275. Let n = 512 + l. Is q greater than n?
True
Let y be 1106/18 + 16/(-36). Which is smaller: y or 71?
y
Let q = -5945 - -5945. Is -1056/7 smaller than q?
True
Let f = -2.82 + -462.18. Let h = 468.6 + f. Is 1/4 bigger than h?
False
Let v be (73 + -5)*-9*(-1)/(-2). Let x = v + 262. Is x >= -47?
True
Let c = 42 + -14. Let p = c - 35. Which is bigger: 1 or p?
1
Let t(c) = -19*c + 242. Let z be t(-8). Let q = -388 + z. Are q and 1/5 non-equal?
True
Suppose 2*p - 8 = -2*p, 2*p = 3*f - 2. Let t be -2 + 4/2 + f. Let z be (-30)/(-5)*t/(-3). Which is smaller: z or -1?
z
Suppose -2*g = 10*n - 9*n - 662, -2*n + 4*g + 1292 = 0. Does n = -3?
False
Let m(c) = 50*c - 191. Let l be m(-5). Which is smaller: -443 or l?
-443
Let j = -5364.92 - -5365. Let r = -60 - -65. Do j and r have the same value?
False
Suppose -168*t - 79*t = 282*t + 340676. Is -651 not equal to t?
True
Let v = 0.04166 - -1253.95834. Which is smaller: v or -0.2?
-0.2
Let t be (-4)/8*-23*2. Suppose 5*i + 2*j + 36 = 124, i - t = 5*j. Is 58/3 at least as big as i?
True
Suppose 135 = -3*s - i, -2*i + 332 = 4*s - 12*s. Are s and 21 equal?
False
Let k be -5 - (4/12)/((-1)/15). Which is smaller: 1/3394 or k?
k
Let g be 3*((-18 - 2) + 1). Let v = -22 - g. Let w = 872 - 2617/3. Is v at most w?
False
Let d = -1099 + 1671. Suppose 3*i = -8*i - d. Let b = -51 - i. Is 0 greater than b?
False
Let z be 4/(-10) + 2/5. Let l = 211 - 205. Let m be (-18)/l - (-133)/35. Is z at most m?
True
Suppose -3*t + 144 = 3*y, y + 2*t = 2*y - 45. Suppose 4*a + y = u + 270, -u = -3*a + 168. Is a at most as big as 55?
True
Let x be 1 - (5 - 276/3). Let b = 86 - x. Suppose -3*q = q + 8. Is b less than q?
False
Let h be 4/(-6) - 9/6. Suppose 7*t - 9 = 75. Suppose u = t*u + 22. Is h smaller than u?
True
Let q = -3805.91 - -3778. Let o = -0.09 + q. Which is smaller: o or 0?
o
Suppose -105 = 12*m + 27. Let g be 5 + 0 - (6 + -4). Let p be 3 + (g - 4)*14. Is p at least as big as m?
True
Suppose -5*g - d - 120 = -418, 0 = -5*g + d + 302. Let n = 59 - g. Let m be 33/(-75) - 6/(-10). Is m greater than or equal to n?
True
Let c = -2662 - -2662.113. Which is smaller: c or 0?
0
Suppose 3*c - 11 = 2*a, c - 6 = 3*a - 7. Suppose 63 = -m + 2*d, -a*m + 2*d = 75 + 49. Let u = m + 52. Is -8 less than or equal to u?
False
Let j(u) = -10*u**3 + 8*u**2 - u + 4. Let q be j(-4). Let s = q + -20947/27. Are 1 and s nonequal?
True
Suppose 66*o = -70*o + 137*o - 12. Let n = 0.16 - 1.36. Let b = 1 + n. Which is greater: b or o?
o
Let f = -21/347 - -36868/580531. Is 1 at most as big as f?
False
Let y = -0.7291 + 1.7291. Is y < -5104/9?
False
Let r = -0.0437 + 242.9437. Let t = r - 243. Is 123 > t?
True
Suppose 4*z = 5*t - 419, 2*z = 4*t - 3*t - 217. Let d = -70 - z. Which is smaller: d or 0.1?
0.1
Suppose -4*x + 5806 = -2*x + 9384. Are -1789 and x equal?
True
Let q = 9419018/691 - 13631. Do 0 and q have the same value?
False
Let b be (1 - (-10)/(-6))*6. Let y be 1*b/12*(-165)/6. Suppose -8*x - o = -6*x - 19, 0 = x - 3*o - 6. Which is smaller: y or x?
x
Suppose -2*k = -5*v + 8, 4*v - 4*k + 5*k - 9 = 0. Suppose -5*s + 170 = v*x, -2*x - 16 + 84 = 2*s. Which is bigger: s or 3?
s
Let w(y) = 5*y - 1. Let j be w(3). Suppose -4*i + 49 = a - 4, -3*a - 33 = -4*i. Is i greater than or equal to j?
False
Let f(u) = 2*u**2 - 8*u + 9. Let m be f(6). Suppose 0 = 62*a - 67*a - 195. Let k = a + m. Are k and -6 equal?
True
Let b = -338 - -220. Let i = -112 - b. Which is greater: -9 or i?
i
Let x = 38051 - 36974. Which is smaller: x or 1073?
1073
Let d(z) be the third derivative of z**6/120 + z**5/60 + z**4/12 - 13*z**3/6 + 22*z**2. Let l be (3/(-3) + 1)/2. Let x be d(l). Is x less than -14?
False
Let z = -220.57306 - 0.02694. Are z and -1 equal?
False
Let s(z) = -z**3 + 57*z**2 + 126*z - 473. Let g be s(59). Is g at least as big as 15/281?
False
Let v = 3986 - 3987. Which is greater: v or 42/545?
42/545
Let c be (180/(-87) + 2)/(-1 + 128/(-36)). Is 1 at most c?
False
Let u be -1 + 6/((-54)/(-29)). Let t = 43/18 - u. Is 1 greater than t?
True
Let j be (2/11 - (-179301)/(-66))/((-1401)/14944). Is j greater than 28976?
False
Let x be (-644)/144 + 3 + 6. Let a = x + -34/9. Is 1 <= a?
False
Let r = 4.5 + 0.5. Let l = -6 + r. Let y be ((-1)/(-6))/(6 + 76/(-12)). Is l greater than y?
False
Let o = -8.2 - -9.84. Let j = o + -106.64. Let b = j - -104.8. Is -1/7 at least b?
True
Let a be (3 + (-155)/50)/(7 + (-195)/25). Which is smaller: a or 0.0512?
0.0512
Let t = 67 + -115. Let n be 40/(-92)*t/32. Is 1 < n?
False
Let k be 12/(-9)*(-12)/8 - (-154)/(-80). Suppose -1 = -s + 3*x, -4*x + 1 - 3 = -2*s. Let v = s + -2. Is v at least k?
False
Suppose -34*b - 1701 = -55*b. Does b = 81?
True
Let q = 14.0758 + -0.0758. Which is smaller: -17/19 or q?
-17/19
Suppose -31*f + 30*f + 2 = 0. Let k(d) = -12*d**2 + 21*d + 7. Let u be k(f). Is u < 8/17?
False
Let k = -0.8 - -72.8. Let q = 80 - k. Is 7 > q?
False
Let l = 6433236/3913 + -21374/13. Is 1 at least l?
True
Suppose -v + 2 = -0. Let h(q) = 485*q - 233*q + 22 - 245*q - 38. Let n be h(v). Which is greater: n or -9/7?
-9/7
Let n(l) = 3*l**2 - 2*l - 26. Let y be n(-4). Let g be -12*1/5*y/4. Is g >= -22?
True
Let m = 10 + -7. Let p be m/6*2 - 441/9. Let k = p - -32. Is k equal to 1?
False
Suppose -15*k - 184 + 169 = 0. Do k and 941 have different values?
True
Let z = -37172.27 - -37021. Let q = -152 - z. Which is smaller: 0.1 or q?
q
Suppose -3*u + 2*u + 3*k = 25, u + 20 = 2*k. Let b(t) = -2*t**2 - 20*t + 5. Let d be b(u). Suppose 0 = v - 2*v + 1. Which is bigger: v or d?
d
Let o be -2*(-1 + (-4 - -4)). Let y(j) = -j**2 + 32 - 24*j + 3*j**2 - 9 - j**o. Let l be y(23). Which is bigger: l or -3?
l
Let i = -2210 + 1815. Which is smaller: -397 or i?
-397
Let u = 2701 + -3393. Which is greater: u or -2080/3?
u
Let n(q) = -q**3 + 7*q**2 - 2*q - 40. Let x be n(-12). Let r = -18961/7 + x. Do 10 and r have the same value?
False
Let s = 7.193 - 1322.193. Which is smaller: s or -0.1?
s
Let q = 4249 - 4154. Which is smaller: 71 or q?
71
Suppose -3*n + 923 = -2*b, -2*n - 3*b = -428 - 209. Let r = n - 285. Is 26 less than or equal to r?
True
Let n(d) = -d**2 - 25*d + 141. Let z be n(5). Let l(y) = -42*y - 4. Let t be l(-4). Let b be t/10 + (z/(-5))/3. Which is greater: b or 18?
18
Let q = 0.3985 + -29.3105. Let s = 0.088 - q. Let i = s + -28.946. Which is greater: 1 or i?
1
Let w be 20*(-78)/(-520)*20/22. Let s be 1/((-1)/(-3))*1. Which is smaller: s or w?
w
Let j = -0.14 - -0.049. Let y = -0.77 + -0.139. Let m = j + y. Is m at most as big as 1.9?
True
Let u = 151 + -150. Let w be u/(-4) + (478/(-8) - 9). Which is smaller: -71 or w?
-71
Let t = -29 - -27. Let c be 8/44 + t/(-11). Let u = -2016 - -2017. Is u at most as big as c?
False
Let k = -5111/108 - -189/4. Let w = -23/675 - k. Which is greater: 0.1 or w?
0.1
Let l = 18.72 + -19.12. Let x = -41 - -40.916. Which is smaller: x or l?
l
Let s be (-1)/(((-10)/4)/(-5)) + -3. Let g be (-1)/(-2)*-12 + s. Is -12 equal to g?
False
Let r be (108/(-2))/(30/20). Let n be (r/6)/(-30)*2. Let l = -10.76 - -11. Is n > l?
True
Suppose 0 = 4*f + f + 15. Let o be (f - 46/(-16))*-4. Let s be 2*2*4/8. Is s smaller than o?
False
Let w = 161/16 + -3735/368. Suppose -4 = 4*g - 4*b, -4*g - 14 + 34 = 4*b. Suppose g*v + 4 = 3*o - 1, 0 = 4*o + 4*v. Do w and o have different values?
True
Let g = -2249 + 13405/6. Which is greater: g or -16?
g
Let i = -3839 + 3839.001. Which is greater: i or -3.4?
i
Let q be 41 + (6 - (12 - 5)). Let r(b) = -b**3 + 7*b**2 + 3. Let p be r(7). Let f be (-1)/p*(-72)/q. Is f smaller than 0?
False
Let t = -11608 + 10334. Which is greater: t or -3/7?
-3/7
Let o = 34237 + -34543. Which is greater: o or -344?
o
Let s(c) = -c**3 - 22*c**2 + 6. Let n be s(-22). Let o be n*-4*(-21)/12. Let p be (-7)/98*4 - 2/o. Which is smaller: -0.1 or p?
p
Let q be ((-1)/7)/(25/(-175)). Is q <= -1/606?
False
Let k(t) be the second derivative of t**4/4 + 37*t**3/6 + 12*t**2 + 9*t. Let q be k(-11). Which is smaller: q or 1?
q
Let s be -1 - 6/(-3 + 1). Let h(b) = -9*b + 43. Let u be h(-29). Let n = 308 - u. Is n at most as big as s?
False
Let k be (-48)/(