-14 + -80. Let o = s + 61. Is -31 smaller than o?
False
Let a = 44/25 + -3769/3150. Let r = 11/14 - a. Which is smaller: 1 or r?
r
Let v = -1273/385 - -37/11. Let z(n) = -n - 14. Let y be z(-17). Suppose 0 = -4*p + y + 1. Which is bigger: p or v?
p
Let m be (-4)/(((-2)/(-2))/(28/8)). Is m bigger than 0?
False
Suppose 3*t - 12 = 8*t + p, 4*t = 3*p - 21. Let x(u) be the first derivative of u**2/2 + 3*u - 3. Let g be x(-5). Do g and t have the same value?
False
Suppose -5*r = -5*d - 55, -6*r + 4*r - 14 = 4*d. Let m be 4/d - (-20)/21. Which is greater: 3 or m?
3
Let g = 634 + -738. Which is smaller: g or -2/9?
g
Let h be 0 + ((-8)/12)/((-6)/27). Suppose 3*y + 88 = -m + 5*m, 0 = -4*m - h*y + 112. Is 25 at least m?
True
Let s = 15.08 + -15. Let k = 22 + -23.8. Let u = 1.8 + k. Are u and s unequal?
True
Let w(m) = 12*m + 1. Let g be w(-3). Suppose 21 = -q - 5*o, -32*o + 6 = -30*o. Which is smaller: g or q?
q
Suppose 932*o = 938*o - 1428. Which is bigger: 236 or o?
o
Let x = 12 - 25. Let q = x - -12.78. Let f = q - -0.19. Which is bigger: 0 or f?
0
Let w(j) = j**2 - 22*j - 166. Let v be w(-6). Suppose 4*x = -0*x + 4. Which is smaller: v or x?
x
Let d = -589 + 604. Let x = 0.06 + -0.46. Let l = 0.6 - x. Which is smaller: d or l?
l
Let h = -8160 - -8165. Let m = 0 - 0. Let j be m + (2 - 2) - -6. Which is greater: j or h?
j
Suppose x - 3*y + 69 = -y, -4*y - 81 = x. Let m = x - -74. Is 3/11 at most as big as m?
True
Let u = -50.29 - -53. Let k = 2.7 - u. Which is bigger: k or 2/3?
2/3
Suppose 0 = 4*h - 10*h - 630. Does -106 = h?
False
Suppose 15*p + 16 = 17*p. Let b be 1*-2*(-16)/p. Suppose g + 2*r + 5 = 0, -b*g = r - 2*r - 7. Which is smaller: -2/39 or g?
-2/39
Let m(p) = p**3 + 5*p**2 - 3*p - 6. Let w be m(-4). Let o = -21 + w. Which is smaller: o or 2/25?
2/25
Let f be 26 + (0/1)/(-1). Suppose -25*z + f*z = 8. Is z at most 8?
True
Let d(b) = 7*b - 35. Let s be d(5). Let u be (-5 + 2 - -1)/11 - s. Which is bigger: 6 or u?
6
Let v(g) = -g**2 + 12*g - 7. Let a be v(11). Suppose -3*u = 2*b - 0*b + 2, -a*b + 4*u - 4 = 0. Let n be 1 + -1 + (-4)/46. Is b at least as big as n?
False
Suppose z = 3*y - 14, -2*y + 72 = -3*z + 23. Do -21 and z have different values?
True
Let r be 1228/(-306) - (0 + (7 - 11)). Is 1 at least as big as r?
True
Let k = 4 + -3. Suppose -2*x + k = -9. Suppose 0*z = x*z. Is z smaller than -1/6?
False
Suppose -3*a - 3*a = 24. Let l(y) = 5*y**3 + y**2 - 7. Let q(b) = 4*b**3 - b - 7. Let o(p) = a*q(p) + 3*l(p). Let i be o(5). Which is smaller: -22 or i?
i
Let m(w) = w**2 + 12*w + 29. Let u be m(-8). Let q be -1*1*((-11)/(-3) + u). Is q < -2?
False
Let n be 1*(-6 - -2)*-5. Let i be 8/n*5 + -3. Is -2/133 equal to i?
False
Suppose 4*b = -c - 25, 0 = -5*b - 4*c - 1 - 33. Let u be (-18)/(-117) - 374/65. Is b < u?
True
Suppose -69*o + 5*g - 2 = -65*o, -10 = 2*o + 2*g. Is -12/7 <= o?
False
Let w = 2 + -4. Let r = -59 - -57. Let a be (w + 0)*r/(-4). Is -1 not equal to a?
False
Let c be (2/27)/(-9*(-7)/189). Is c smaller than -16?
False
Let g(y) = -y**3 + 6*y**2 + 9*y - 13. Let h be g(7). Which is smaller: 2/145 or h?
2/145
Let o = -4 - -10. Let d = -20 - -24. Suppose -b + 2*b = l + 2, -d*b + 40 = 4*l. Is b greater than o?
False
Suppose -7*o + 2*o = 0. Let r = -126 + 246. Let k be 4 + -1 - r/50. Which is smaller: k or o?
o
Let l = 256 - 362. Which is greater: l or -105?
-105
Let t = 1740 - 1780. Is -40 bigger than t?
False
Suppose 2*d - 10 = -2*f, 0 = 4*f + d - 2*d + 5. Suppose -k + l = 0, 3*k + l + 3 + 5 = f. Is -3 at least k?
False
Let m = 2653 + -2653. Do -25 and m have the same value?
False
Let f = 166 + -165. Which is smaller: 0.074 or f?
0.074
Suppose -3*q - 1 + 7 = 0. Suppose 34 = 5*y + 3*d + d, -q*y - 2*d + 14 = 0. Suppose y = -5*b - b. Which is smaller: 2 or b?
b
Let c = -11.91 - -11.4. Let d be (-10)/(-115) + -27*11/506. Which is bigger: c or d?
d
Let n = 3.141 + 165.859. Are -6/7 and n non-equal?
True
Let j be 5 + (-24)/240 + (-38)/20. Is j less than or equal to -110?
False
Let j = 154.2 - 145. Is j less than or equal to 2?
False
Suppose 5*y = 3*b + 3, -2*b + 7*y - 5*y - 2 = 0. Which is greater: b or 2/99?
2/99
Let l = 1992 + -1992. Let j = -11 - -17. Let n be 5/j + (-2)/3. Which is smaller: n or l?
l
Let o = -226/3657 - 4/159. Suppose 0 = -7*n - n - 8. Which is smaller: n or o?
n
Let f(q) = -193*q**3 - 4*q**2 - 3*q - 2. Let m be f(-2). Let s = -35242/23 + m. Is s greater than 1?
False
Let s(j) = 2*j**2 + 24*j + 23. Let l be s(-11). Which is smaller: -4/145 or l?
-4/145
Suppose -14 = 3*h - 2*g - 3, 3*h - 3*g = -15. Let t = -0.15 + 9.15. Let i = t - 2. Is h equal to i?
False
Suppose 8*z + 5 = 45. Let r(l) = -2*l + 3. Let u be r(-5). Suppose -4*n = -11 - u. Which is greater: z or n?
n
Let h = 74142587/117 + -633704. Let y = -61/9 - h. Which is bigger: y or 1?
1
Let t be (-10)/30 - 526/(-3). Let b = 24674/141 - t. Are b and -1 equal?
False
Let p be ((-6)/(-2))/(0 - -1). Suppose 3*r + 1 + 5 = 2*q, 0 = -5*r + p*q - 11. Let f = 131 - 267/2. Is r greater than f?
False
Let w = -1.55 + 5.42. Let y = 0.17 - w. Is y <= -1?
True
Let u = 7.64 - -2.46. Let t = u - -0.9. Let v = -0.43 - 0.57. Is t >= v?
True
Let q = -530 + 556. Is q at least 330/13?
True
Let r be 3/(3/(0 - -12)). Suppose 3*c - r = -4*l + 39, -2*l + 25 = c. Let y be -1 + (-32)/l - -3. Which is smaller: -1 or y?
-1
Let h = 27068/11 + -5874251/2387. Let j = 1/7 + h. Is j greater than 0?
False
Suppose 3*y = 4*p, -4*p - 2*y + 26 - 6 = 0. Let k be (-1)/5*(-2630)/4. Let d = 134 - k. Which is smaller: d or p?
d
Let v be -2*2/(-8)*10. Suppose -20 = v*j - 5. Let m be 1 + j + (-75)/(-42). Which is smaller: 0 or m?
m
Let v(i) be the third derivative of 5*i**4/24 + 10*i**3/3 - 4*i**2. Let q be v(-8). Which is smaller: q or -19?
q
Suppose 0 = -4*o + h + 5071, -7*h + 3*h = o - 1255. Which is greater: 1268 or o?
1268
Suppose 104 = -16*j - 40. Let s be ((-6)/(-40))/(j/(-6)). Which is greater: 1 or s?
1
Suppose 4*n + 5*b = -85, 3*b + 15 = -0. Let o = n - -9. Which is smaller: -5 or o?
o
Let i be 10/(-8)*(-4)/20. Let m be 4 + -2*2/2. Suppose 6*g - m*g = -4. Which is bigger: g or i?
i
Let a(w) = -5*w - 1. Let h be a(1). Let q be (-10)/(-4) + 3/h. Let x be (4 + 16)*(-1)/q. Is -10 at most as big as x?
True
Let c = -16106/253 + 772/11. Do 7 and c have different values?
True
Let x = -24906/11 + 2262. Which is bigger: x or -2?
-2
Let a(f) = -45*f - 270. Let j be a(-9). Which is greater: j or 142?
142
Let y = -607 + 646. Which is greater: 35 or y?
y
Suppose 125*l = 130*l. Is l at least -219/5?
True
Let o be ((-57)/304)/((-3)/5266). Let r = 330 - o. Which is greater: r or 2?
2
Suppose d - 4*p - 3 = 0, 7*p - 2*p + 93 = -4*d. Let q = 16 + d. Let w = 103 + -1959/19. Which is smaller: w or q?
q
Let n be (8/10)/((-4)/80). Let v be ((-4)/(-2) + -4)*n. Is 31 smaller than v?
True
Suppose -4*m + 1 = -5*g, 0 = 5*g + 5. Let i be ((-22)/(-4) - m)/((-7)/(-28)). Is i bigger than 24?
True
Suppose b + 3*b = 3*c - 35, 11 = -b + 3*c. Let j be 3 - b/(-28) - 3. Let v = -5/21 - j. Which is smaller: -1 or v?
-1
Let j be 4 + -1 + 8313/9. Let u = 936 - j. Which is bigger: u or 10?
10
Let r(w) = 11*w - 14. Let l be r(8). Suppose 5*h = 3*b - l - 12, -3*h - 2*b = 63. Which is bigger: -20 or h?
h
Let o = 8 + -11. Let v be (494/(-72))/(o/(-63)). Let c = 144 + v. Is 1 greater than or equal to c?
True
Let o be 34 + 3 + 1 + 2. Let j be o/4*28/5. Let q be 4/3*(-12)/j. Do q and -2/11 have the same value?
False
Let q(z) = 24*z**2 + 49*z + 50. Let i be q(-1). Which is bigger: i or -1.1?
i
Let q = -0.05 + 49.85. Let h = q + -49. Which is smaller: 2/7 or h?
2/7
Suppose -c = -0*c + 318. Is -318 at most c?
True
Let w = 0.491 - 0.891. Is w != -9?
True
Let v(z) = z**2 + 2. Let h be v(-3). Let s = 13 - h. Which is smaller: 12 or s?
s
Let o = 8730 + -8731. Let k be ((-34)/28)/((-2)/(-4)). Is k less than or equal to o?
True
Let n = 0.8137 - 0.0137. Is n at most as big as -20?
False
Let g = 251.3 + -251. Which is smaller: g or -11?
-11
Let x = -61/798 + -12/133. Which is smaller: x or 2.3?
x
Let j = 262.4 - 82.3. Let l = j + -188. Let u = l - -8. Which is smaller: u or -1?
-1
Let d = -85 + 54. Let p = d - -31. Is 11 < p?
False
Let l be -6 + (-6)/(-2) + 4. Let x be l*-1 - (-48872)/248. Let t = 196 - x. Are t and -1 unequal?
True
Let s = -31 + 29. Let p =