ger than o?
False
Suppose 48*k + 41 = 47*k. Which is smaller: -37 or k?
k
Suppose -x - 2*a + 4 = 3*x, 0 = x - a - 4. Let r be 1*x/(-2)*7. Which is smaller: -6 or r?
r
Let p(a) = -a**2 + 6*a - 5. Let i be p(5). Suppose -3 = -3*t + 5*h + 1, -3*t + 3*h = i. Let u(c) = c + 3. Let k be u(-3). Is t != k?
True
Let y be ((-156)/342)/(6/9). Which is smaller: y or 0?
y
Let x be (0*(-6)/(-30))/(2 + -1). Is -6/55 at least x?
False
Suppose -5*y - 3*a = -3*y + 7, -3*y - a = 0. Let x = -87 + 123. Let r be (3/(-24))/((-2)/x). Which is smaller: r or y?
y
Let c be 0 - (-2 + 4 + -1). Let g(b) = b - 2. Let z be g(6). Let y be (-6)/(1/(z/30)). Is c >= y?
False
Let o(m) be the second derivative of -1/12*m**4 - 5*m - 1/2*m**2 + 0 + 1/3*m**3. Let s be o(2). Which is bigger: s or -4?
s
Let l be -6 - -5 - (2 + -5). Suppose -4*t - 5*m + 23 = -l*m, -3*t + 11 = m. Suppose 3*o - t*k - 1 = 16, -5*k - 4 = -2*o. Is 6 greater than o?
False
Let l(m) be the first derivative of m**3/3 - 5*m**2/2 - 3*m + 6. Suppose -2*v + 7 = -5. Let d be l(v). Which is bigger: d or -2?
d
Let a = 2206 + -2254. Are a and -46 nonequal?
True
Suppose 0 = -11*b + 6*b + 3*d + 1, 0 = -5*b + 5*d - 5. Which is smaller: b or 4?
b
Let y(w) = -w**2 + w + 2. Let s be y(-1). Suppose 4*r - 72 = v + 3*v, 5*r + 2*v - 62 = s. Let g(b) = -b**2 + 15*b - 20. Let l be g(r). Is -17/3 at least l?
True
Let w = -13 - -18. Let o = -32 + 34. Suppose o*q + 3 = w*q. Which is bigger: q or 0?
q
Let a = -110307/1139 - -1672/17. Let w = a + -15993/10787. Let s = w - -6/23. Is s greater than or equal to 1/18?
True
Let y be ((-6)/45)/(8/(-14)). Let d(g) = -7*g**2 + 155*g - 23. Let q be d(22). Is y equal to q?
False
Suppose -r + 2*r = -27. Let x = -28 - r. Suppose 10 = -5*s - 0*s. Is s bigger than x?
False
Let r be (15/(-10))/(12/(-2)). Let v = -0.3 + 0.39. Let g = v - 0.39. Which is smaller: g or r?
g
Let d be 0 - 231/115575*2. Let x = d + 19305749/20456775. Let s = x + -3/59. Which is bigger: 1 or s?
1
Let j(n) be the second derivative of n**4/12 - n**3/3 + 5*n**2/2 - 10*n. Let l be -4 + 2*(-3 - -7). Let k be j(l). Which is smaller: 12 or k?
12
Let o be -5 + ((-240)/5)/(-1). Which is smaller: 39 or o?
39
Let p(y) = -y**2 + 6*y + 73. Let u be p(0). Is 74 less than or equal to u?
False
Suppose -f + 5 = -n, -4*f - 18 = -2*f + 5*n. Let c = -2 + f. Let y = 343 + -344. Is c smaller than y?
False
Let p = 456 - 261. Is 1 >= p?
False
Let w = 14 - 65. Let q = w - 28. Which is smaller: q or -78?
q
Suppose 2*f + 39 = -x + 3*f, -x - 3*f = 31. Let j be x/(-45) - (-3 + (-87)/(-27)). Which is smaller: j or 2/9?
2/9
Suppose -179*l - 98 = -186*l. Are 14 and l unequal?
False
Let b(p) = -4*p**2 - 5*p - 2. Let k be b(-4). Let g = -40 - k. Suppose 0 = 4*s - 3*q - 36, -4*s + 3*s - 2*q - 2 = 0. Is s > g?
False
Let g = 2.49 - -0.31. Let o = 2.7 - g. Which is smaller: o or -0.2?
-0.2
Let o = -17.7 - -6.5. Let j = -10 - o. Let x = j - 1.4. Is 2 at most x?
False
Let z be 4 + 0/5 + -2. Suppose w - z = -1. Which is smaller: 2/11 or w?
2/11
Let c = 20 + -110. Which is bigger: c or -1?
-1
Let d be 3*16/(-24) - 68/(-16). Is -41/5 at most as big as d?
True
Let x = 19.66 + -19.78. Let t(l) = l**3 - 2*l**2 + 3*l + 1. Let j be t(4). Let h be (-3)/j - 4/(-10). Which is smaller: h or x?
x
Let i = -24377/24 + 4571/8. Let p = i + 3977/9. Let d = 0 - 1. Are d and p equal?
False
Suppose -3*h + 10 = 2*k, -2*h + h + 8 = -4*k. Which is smaller: k or 0?
k
Suppose 3*u - 5*t + 6*t - 8 = 0, u + 4 = t. Let k be ((-1)/u)/((-5)/270*-3). Is 0.1 not equal to k?
True
Suppose -5*i = -0 + 420. Let a be (-20)/i + 2/(-3). Let p = 4 - 4. Is p <= a?
False
Let d(x) = -x**2 - 3*x + 90. Let i be d(11). Which is smaller: -66 or i?
-66
Suppose -5*z = c - 79, 0 = -2*c - 5*z + 182 - 44. Does c = 59?
True
Suppose 0 = 149*s - 58*s - 112931. Which is greater: 2/7 or s?
s
Let v be (-1)/4 - (-63)/12. Let y be (-3)/v*(-1 - 4). Let f be (-24)/(-224)*-4*(-6 - 1). Is f at least y?
True
Let y be (-5)/3 - 4/(-6). Let u be (1/(245/28))/(2/(-40)). Is y at least u?
True
Let p(j) = -j**3 - 11*j**2 - 8*j - 33. Let m be p(-13). Which is smaller: 2 or m?
2
Suppose 90 + 99 = 7*b. Let s be (24/9)/((-78)/b). Are 0 and s nonequal?
True
Suppose -2007 + 306 = -7*f. Suppose -5*i = -14*i - f. Are -25 and i nonequal?
True
Let j be 9*(-8)/48*(-4)/(-3). Let r = 2/33 + -13/33. Which is greater: j or r?
r
Let o = 88 - 82. Suppose -12*c = -o*c - 138. Is 116/5 bigger than c?
True
Let z = 79/3 - 26. Which is bigger: -2/5 or z?
z
Let l(n) = 5*n + 112. Let s be l(-27). Does -6 = s?
False
Let j = -21 + 24. Let k be (2/j)/(40/15). Is -0.1 at most as big as k?
True
Suppose -4 = -2*g + 3*g. Let h(d) = d**2 + 2*d - 14*d + 0*d**2 - 14 + 3*d. Let l be h(10). Is l greater than or equal to g?
True
Let l = 12032/1807 - 86/13. Let u = l + -4061/695. Which is smaller: u or -0.1?
u
Suppose 0 = 3*u - 4*l - 1 - 4, 2*l - 8 = -2*u. Let f = -34347/11 - -3125. Is f at least u?
False
Let h(x) = -x**2 - 2*x - 28. Let t be h(0). Let p be 92/t + 3/21. Is -4 smaller than p?
True
Suppose 7*f + f = -1192. Is -149 at most as big as f?
True
Let a = 6/8891 + 382157/231166. Let h = 1/78 + a. Let w = 17/6 + h. Which is smaller: 4 or w?
4
Let h be -2*(-4 + 1 + 2). Let c be (17 + -3)*h/2. Let n = c + -12. Is 3/5 less than n?
True
Let x = -959.32 - -962. Which is smaller: 0.1 or x?
0.1
Let q = -1403/1617 + 32/33. Let y = -47/980 - q. Do 1 and y have the same value?
False
Let x(p) = 2*p**2 + p + 3. Let o be x(-2). Which is greater: 0 or o?
o
Let v be (-62)/3*3/(-2). Suppose 0 = -2*o + 1 - v. Let p be (o/(-50))/((-18)/15). Which is greater: -1 or p?
p
Let q(d) = -2*d**2 + 12*d - 8. Let o(x) = x**2 + 6*x + 10. Let w be o(-6). Let j be q(w). Let p be (3/(-12))/(4/j). Which is smaller: p or 7?
p
Let y(q) = 2*q**3 + 2*q**2. Let m be y(-1). Let s = m - -19. Is 19 < s?
False
Let a = 1.889 - -17.331. Let r = 19 - a. Let w(i) = -15*i + 210. Let o be w(14). Is r at most as big as o?
True
Let g = 341 + -254. Is 90 not equal to g?
True
Suppose -y - 4*y - 3*j = 0, -3*y = 3*j + 6. Suppose -r + y*w + 4 = 0, w - 7 = -r - 3. Suppose -5*b = -5*o + 5, -b - r*o = o - 5. Are -3/7 and b nonequal?
True
Let k be (15/18*-3)/(2/4). Let p be (7/(-8))/((-178)/(-36) + k). Which is bigger: 17 or p?
17
Let x = 0.04 + -0.01. Let u be (-1)/((-2)/(-1)*3/4). Is u less than x?
True
Let c = -0.3 - -1.3. Let w = -246 - -246.05. Is c bigger than w?
True
Let y = -7104/11 + 646. Is y >= 2.6?
False
Let c = 0.052 + 5.948. Let b = 4 - c. Which is greater: -2/3 or b?
-2/3
Let d(s) = -3*s**2 + 99*s + 10. Let n be d(32). Is 104 less than or equal to n?
True
Let j = 437 - 437. Is j at most as big as -4/7?
False
Let l = 0.8 + -0.7. Let j = 0.76 - 1.06. Is j at least as big as l?
False
Let g = 75.031 + -75. Let u = g + 0.079. Which is smaller: -1/4 or u?
-1/4
Let d = 801 + -801.1. Which is smaller: 8/5 or d?
d
Let m = 19307 + -64076. Let h be -1 + m/324 - 0. Let u = 557/4 + h. Which is smaller: 1 or u?
u
Let i(z) = z**3 + 19*z**2 - 10*z + 55. Let d be i(-24). Let t = d + 28455/11. Which is smaller: t or 3?
t
Let c = 0.0616 + -0.4616. Let b = -6 + 1. Does b = c?
False
Let l = 6.2 - 5.2. Let q = 0 + -0.32. Which is bigger: q or l?
l
Let w = 64 + -39. Let z = w - 25. Which is bigger: 1.6 or z?
1.6
Let c = 1954 + -1934. Let n = 0.7 - -0.3. Is c bigger than n?
True
Let o = -477.1 + 477. Let m(j) = 3 + 5*j - 3*j**2 + 3*j**2 - 4*j**2 - j**3. Let x be m(-5). Are x and o non-equal?
True
Let l = 8 - 14. Let a(j) = 10*j - 37. Let i be a(4). Which is smaller: l or i?
l
Suppose -4*c + 6 = 58. Let m = c + 14. Let a be 1/(-1)*(-20)/105. Is m at least a?
True
Suppose 4*d - t = 11 - 4, -5*d = -t - 8. Which is smaller: d or 8/107?
8/107
Suppose -3*w = 4*b + 19, -b + 8*w - 3*w = -24. Let v = 72815413/430 + -169338. Let d = -3/43 + v. Is b smaller than d?
True
Suppose 0 = -2*g + 5*g - 3. Let n be (-6 - -33)*(165/(-9) - -1). Let z be (-2 + 7)*(n/235 + 2). Which is bigger: z or g?
g
Let p = -1.8 + 1.818. Let u = 0.982 + p. Which is greater: -0.022 or u?
u
Suppose 93 = 3*t + 2*l, 0*l = l + 3. Let f be 4/(-18) - (281/(-9) + -3). Is t < f?
True
Suppose 2 = -4*j - 5*z, 3*z - 10 = -2*z. Let s(k) = -k**3 - k**2 - k - 2. Let w be s(0). Which is smaller: j or w?
j
Let h = -2857.89 - -2870. Let y = -12 + h. Which is greater: y or -2?
y
Let v =