t i be ((-154)/4)/7*-2. Let s be (-2)/(((-3)/3)/1)*i. Let a be 22 + -1 + 1 - -1. Is a bigger than s?
True
Let f = 125 - 125.5. Is f not equal to -0.023?
True
Let t(c) = c - 3*c + 2*c + 12 - 2*c. Let s be t(6). Which is greater: -6/31 or s?
s
Let f = -33043/37 - -893. Suppose v - 3 + 6 = 0. Let y be (v + 4 + -1)/(-1). Which is smaller: y or f?
f
Suppose 2*x - 3*x + 14 = 5*d, 4*x + 3*d = 5. Let t = -96 + 100. Suppose -2*k + t = -4*q, -q + 3*q + 10 = -3*k. Is x not equal to q?
True
Let k be (4*1)/(18/(-81)). Let w(u) be the second derivative of u**5/20 - 5*u**4/6 - u**3/2 + 13*u**2/2 - 22*u. Let l be w(10). Which is greater: l or k?
l
Suppose -5*p = 5*m + 40, 0 = p - 3*p - 4*m - 22. Let a be 4 - (-20)/(p/1). Which is smaller: -6/19 or a?
-6/19
Let i = 3967/1270 - 3/127. Is 2 smaller than i?
True
Suppose 0 = -5*n + s + 2*s - 105, 0 = 2*s. Let x be (26 - 20)*(-10)/n. Is 2 at least as big as x?
False
Let y = -23 - -26. Suppose -2*m + y*m = 35. Let x be m/30 + 1/(-6). Which is greater: -4/17 or x?
x
Let h = -0.28 - 4.12. Let y = h - -5.7. Do -2/7 and y have the same value?
False
Let g = -281 - -282. Is -2/2325 at least g?
False
Let c be 78/10 + (-117)/390 - 8. Let l = 0.1 - -0.1. Are l and c equal?
False
Let r = -0.239 + -0.061. Let x = -1.3 + 5.3. Let c = 3 - x. Which is smaller: r or c?
c
Let k = 667.1 - 702. Let l = -35 - k. Let u = -5.3 - -5. Which is greater: u or l?
l
Let h be 3 - 8/(-2)*1. Suppose -2*c + 4 + 6 = -3*n, 0 = 3*c - 6. Let q be 6 + n - 2/(-1). Is h != q?
True
Let j(k) = -3*k - 9. Let l be j(-5). Suppose 3*i = l - 0. Let q be 72/80*i/3. Is 0 >= q?
False
Let g be (-4)/10*90/(-18). Suppose g*o + 4 = o + 4*p, -2*o - 2*p - 8 = 0. Which is greater: -6 or o?
o
Let v = 47 + -23. Let b = v + -22. Which is bigger: 1/2 or b?
b
Let m = -21 - 103. Which is smaller: m or -123?
m
Suppose -l + 180 = 3*p - 1048, 0 = -2*l - 4*p + 2452. Do 1223 and l have the same value?
False
Suppose -6*i = -4*i - 300. Suppose -i = k - 3*k. Let p be (-39)/k + 9/15. Which is greater: p or -1?
p
Let m = -1.99 - 2.01. Is 21 >= m?
True
Let p(m) = 30*m**3 - 4*m**2 + 38*m - 40. Let u be p(3). Does u = 847?
False
Let a = -17.2 + 6. Let p = a + 10. Let r = p + 1.2. Are 6 and r non-equal?
True
Let m(g) = 2*g - 3*g - 3 + 13*g. Let d be m(-6). Let y = 603/8 + d. Which is greater: y or 0.1?
y
Let o be (-2)/(-3)*27*((-6)/(-8) + 0). Suppose -38 = -0*u - 2*u - 2*q, -2*q = -10. Which is bigger: o or u?
u
Suppose -5*d + 2*o + 280 = 0, -4*d - o = -35 - 202. Let g be (-1304)/(-22) - 6/22. Is g at least d?
True
Let i = -18 - -30.4. Let w = i - 11.4. Which is smaller: 2/27 or w?
2/27
Let c be ((-3)/15)/(-1 + 339/(-10)). Which is bigger: 1 or c?
1
Let r = 554 - 553.869. Is r not equal to 3?
True
Let y = -9 - -13. Let a be (-4)/y - (8 + (-6)/3). Which is bigger: -64/9 or a?
a
Suppose -l + 1 = -3*g + 2, 3*g - 5*l - 5 = 0. Do g and -1/532 have the same value?
False
Let k be (3 - (-150)/(-20)) + -6*4/(-6). Let c be (30/32)/(1/(-4)). Is k less than c?
False
Let l be 2/8*(-1964)/2. Let k = -1517/6 - l. Which is bigger: -0.1 or k?
-0.1
Let p be (-3)/(-1) + -1 + -4. Let l be (1 - -2)*-20*(-5)/(-60). Is l at most as big as p?
True
Let k = -18 + 21. Suppose i - k = -21. Let w = -16 - i. Which is greater: w or 0?
w
Let i(y) = -y**2 + 14*y + 33. Let t be i(16). Let d(p) = -p**2 + 7*p + 7. Let m be d(8). Is t greater than m?
True
Suppose 0 = 35*v - 1792 - 28. Which is bigger: v or 48?
v
Suppose 0 = 4*o + n + 2*n + 28, -2*n = 5*o + 28. Let a be (-48)/o*(-1)/(-22). Let j = -326 - -328. Does j = a?
False
Let l be 1*(290/4 - 6/4). Let x = l - 61. Is 12 at most as big as x?
False
Let f be -9 + (9 - (-7)/(-7)). Which is greater: f or 3/416?
3/416
Let t = 864 + -863. Suppose 4*r + 3*g = 2*g - 1105, 3*r + 4*g + 832 = 0. Let q be -1*t + r/(-288). Is 1 at least as big as q?
True
Let c be (7/(-5))/((-2)/10). Let n be c + -5 - 86/40. Which is smaller: 0 or n?
n
Let f = 1/635 - 3186/6985. Let v(q) = q**3 - 6*q**2 + q - 5. Let y be v(6). Is f bigger than y?
False
Suppose 1880 = 13*k - 2540. Is k less than 341?
True
Let p = -66 - -155. Suppose 0 = -3*g - 0*g + 5*h + 88, -4*g + p = -h. Is g less than or equal to 22?
True
Suppose -p = -2*p + 2, -3*p + 21 = 3*z. Suppose z*b - 126 = -x + 62, 0 = -5*b + 4*x + 173. Let y = -409/11 + b. Which is greater: y or 0?
0
Let w(m) = -6*m + 22. Let g be w(-6). Let k = 96 - g. Let z = 37 - k. Which is smaller: z or -13/7?
-13/7
Suppose -v - 4 = -20. Let o be 4/v - (-3)/(-2). Which is smaller: -1 or o?
o
Suppose 888 = -5*s - 447. Which is smaller: s or -268?
-268
Let u = 1906/45 + -374/9. Which is greater: -45 or u?
u
Let w = -3.2 - -19.7. Which is bigger: 0 or w?
w
Let c be (-19694)/(-60) - (-4)/(-10). Suppose 3*u = 3*t - 969, -4*t + 1250 = 4*u - 74. Let i = t - c. Which is bigger: 0 or i?
0
Let i be 676048/3290 - (-4)/(-14). Is i >= 204?
True
Let j = -47 + 131. Let i = j + -97. Is -10 at most i?
False
Let q = 36 - 1. Let g be 8/10*15/42. Which is smaller: g or q?
g
Let a(n) = -n**2 + 19*n - 9. Let y be a(14). Which is smaller: y or 417/7?
417/7
Let n = -5 - -2. Let f(l) = -l**3 - 15*l**2 + 18*l + 31. Let z be f(-16). Which is smaller: z or n?
n
Suppose 5*d = -f - 11, 5*d + 0 = 4*f - 6. Let m = 55/4 - 699/52. Which is smaller: m or f?
f
Suppose -4*l = -3*y - 58, 4*l = -5*y + 7 - 93. Let i = y + 19. Which is bigger: -1/29 or i?
i
Let x be ((-4)/(-6))/((-20)/(-36)). Let v be 5 + (0 - -1)/(55/(-275)). Which is smaller: x or v?
v
Let v = -2546.97 - -2547. Suppose 9 + 29 = -5*d + u, -8 = -d - 5*u. Do v and d have the same value?
False
Let h = -2630 - -199885/76. Which is smaller: 0 or h?
0
Let d = -38636/17 + 2272. Are d and -2 nonequal?
True
Let p(s) = s**2 + 2*s - 1. Let o be p(3). Let g = o - 11. Suppose 5*i + g = 4*i. Which is greater: i or 3?
3
Let o be (-4)/(-10) + (-16)/15. Let n = 0.729 + 0.271. Which is smaller: n or o?
o
Let o = -107/3 + 35. Let i = -618 + 618. Which is smaller: i or o?
o
Let p = -5 - -4.8. Let s = -3.7 + -1.3. Which is smaller: p or s?
s
Let r = -6.7 - -7. Let x = r + -0.2. Let g be 8/44 + ((-846)/231)/6. Which is smaller: x or g?
g
Let r = -175 - -316. Let v = r - 140. Which is greater: 6/5 or v?
6/5
Let f = 406 - 444. Which is greater: -36 or f?
-36
Let g be (-6)/4*4/(-3). Let b be (g + 2)*1 - 3. Let l = 1/82 + 69/1066. Is l at least as big as b?
False
Let w(t) = 4*t - 11. Let a(p) = 13*p - 34. Let i(f) = -f**2 - 6*f + 9. Let r be i(-8). Let u(d) = r*w(d) + 2*a(d). Let y be u(6). Is y less than or equal to -4?
False
Let o = -850.26 - -850. Is o < -0.3?
False
Suppose 4*d + 9 + 30 = -5*t, t - 5*d = -2. Does t = -10?
False
Suppose 0 = -j - 3*m, 3*j + m - 1 + 17 = 0. Let l be (116/120 - 1)/(16/j). Which is smaller: 0 or l?
0
Let b be 4/10 + (-24)/(-40). Let z be (-8)/6*(-153)/156. Is b less than z?
True
Let l = 476/11 + -7096/165. Let s = -1 + 2. Which is greater: l or s?
s
Let d = -56 + 58. Suppose -d*q = -0 + 28. Is q less than -10?
True
Suppose -40 = 4*z - x + 3*x, -x - 4 = 0. Let j be (-2)/(-10)*z - -2. Suppose 0 = 5*y + 4*v - 9, -4 = -3*y - 2*y + v. Which is smaller: j or y?
j
Let c = 0.4 + 2.6. Let o = c - 2.8. Let q = -0.2 + 0.4. Is q >= o?
True
Let t(r) = 7*r + 9. Let l be t(4). Let x = l + -37. Which is greater: x or 1?
1
Let v = -0.61 + 0.8. Let l = -0.09 + 0.18. Let r = v - l. Are r and -3 unequal?
True
Let i(u) = -u**2 + 6*u - 2. Let l be (0 + 1)/1*6. Let v be i(l). Let x = -5/226 - 387/2938. Are x and v nonequal?
True
Let v be -2 + (-21)/(-9) + 345/(-9). Let b(j) = -j**3 - 7*j**2 - 1. Let q be b(-3). Is v bigger than q?
False
Let j = -1 + 0. Let f be 50/40*((-4)/6 - 2/3). Which is smaller: j or f?
f
Suppose 0*i - w + 586 = 3*i, 5*i - 2*w = 973. Let f be (-1)/(5/i*-3). Is f less than or equal to 25/2?
False
Let y = 54.1398 + 0.8302. Let p = 55 - y. Let h be (3/6)/((-1)/2). Is p equal to h?
False
Let j(v) = -2*v**2 + v + 7. Let l be j(3). Let h be 3 + (l - (-4 + 0)) + 0. Which is greater: 2/73 or h?
2/73
Let o be (-7 - 0)/(4 - 5). Let f = -87 + 89. Which is bigger: f or o?
o
Let o be (1/(4/6))/(230/(-92)). Let s = -1.77 - -1.6. Which is greater: o or s?
s
Suppose 12*n + 232 = 10*n + t, 2*t = 4. Is -114 at least as big as n?
True
Let t be ((-6)/9)/((-4)/(-6)). Let s be 6/27 - (-100)/36. Let o be (s/8)/(15/(-10)). Which is greater: o or t?
o
Let g