-1326. Is j smaller than 80?
True
Let u = 1/594 - 8321/2970. Is -3 at least u?
False
Suppose -30*d = -277 + 337. Which is smaller: d or -21/20?
d
Suppose 3*c - 2*c + 5 = 0. Let s(v) = -v**2 - 12*v + 9. Suppose 0 = 10*w - 6*w + 52. Let a be s(w). Which is greater: a or c?
a
Let b be (11 + (1 - 2))/1. Let g be (-8)/20 - 3*(-106)/(-30). Let a = b + g. Which is smaller: -1/13 or a?
a
Let p(f) = -22*f**2 - 1. Let r be p(-1). Let o = r - -20. Are -3 and o equal?
True
Let d be (-12)/(-30) - (-33)/5. Suppose -3*f + 56 - 5 = 0. Let r = f + -11. Which is greater: r or d?
d
Let c(s) = s**2 - 3*s + 1. Suppose -2*o - 6 = -10. Let z be c(o). Let n be (10 + -13)/(-1 + z). Is n at most as big as 2?
True
Suppose 5*k - x + 8 + 31 = 0, 0 = 5*x + 5. Is k equal to -21?
False
Let q be (-2 - 1) + 28/7. Let h be 2782/(-3575) + (-2)/11 - -1. Is h < q?
True
Let q be (36/(-30))/(83/20 + -4). Let j = 0.1 + -0.2. Does j = q?
False
Let w = 356.888 + -357. Which is smaller: 2/5 or w?
w
Let b(j) = j**3 - 15*j**2 + 9*j - 13. Let o be b(14). Let y = o - -997/12. Which is greater: y or 0?
y
Let u(f) = -7*f + 1. Suppose -3*g - 14 = -5*p, -4*p + 3*g = 6*g - 22. Let a be u(p). Let q = a + 22. Which is smaller: -4 or q?
q
Let r = -9 - -6. Let a = r + 6. Let f = a + -3.02. Which is smaller: f or -1?
-1
Let y be 0*(2 - 0)/4. Let x = 6/749 - 1019/33705. Is x bigger than y?
False
Suppose 23*n = 112 - 503. Suppose 36 + 49 = -5*l. Is l > n?
False
Let j be (4/(-6))/((-76)/(-6612)). Is -5 != j?
True
Suppose 0 = 2*c + 3*c. Let q = -32541/11 - -2959. Which is smaller: c or q?
c
Let x be (3 - 4)*((-6)/3 - 19). Let s = -7 + x. Is s at least as big as 13?
True
Let a = -2 - -1.9. Let b = -2.9 + a. Let n = -4 - b. Do n and -2 have different values?
True
Let b = -545 - -422. Which is bigger: -368/3 or b?
-368/3
Let y = -0.02 + 0. Let g = -1813 + 1812. Which is bigger: g or y?
y
Let g be 5 + -6 + 7/21. Does 20.2 = g?
False
Let p be (-28)/21*6738/8*-1. Does 1124 = p?
False
Let g(r) = 44*r**2 + 7*r - 17. Let y be g(2). Which is smaller: y or 174?
y
Let l = 236 + -237. Which is smaller: 14 or l?
l
Let w(t) = -t**3 - 5*t**2 + 27*t + 33. Let b be w(-10). Which is bigger: 264 or b?
264
Let y(c) = 62*c + 123. Let r be y(-2). Is r != -13/125?
True
Suppose 0*p - 45 = 3*p. Let k(q) = 2*q + 25. Let m be k(p). Is m at least as big as 2/7?
False
Let f be ((-2905)/290 + 10)*8. Which is smaller: f or 0?
f
Suppose 0*t + 20 = 4*t. Suppose -t*z + 1 + 34 = 0. Let j be ((-2)/z)/(6/30). Is -2 >= j?
False
Let l = 0.1122 - 0.0522. Let z = 1 + -1.04. Let q = z - l. Is -1 < q?
True
Let v be 8*(3 + 2/(-4)). Let u(i) = i**2 - 9*i - 22. Let c be u(8). Let t = -208/7 - c. Is v <= t?
False
Let h(c) = 36*c**3 - c + 1. Let o be h(1). Suppose -5*x + o = 4*f, 22 = 2*x + 3*f + 2. Suppose -k + 0 = x. Is k at most -5/2?
True
Let r = 12/13 - 62/39. Which is smaller: -3/88 or r?
r
Let h be (-310)/300 - (-8)/(1 + 1). Let p be (8/30)/((-2)/4). Let t = p - h. Which is smaller: -5 or t?
-5
Let h = 853 + -811. Which is greater: 45 or h?
45
Suppose 9*i - 4*i + 3*z = 40, -4*z + 32 = 4*i. Let r be -3 + 6 + (-27)/i. Which is smaller: 1 or r?
r
Suppose -14 = -c - 8. Suppose x - c = f - 1, -3*f = -2*x + 12. Let v be (f - -1)*(0 - 1). Which is bigger: 11/5 or v?
11/5
Let n(o) = -o**2 + 22*o + 194. Let q be n(24). Which is smaller: q or 142?
142
Let v = 47 - 80. Let d be 12/9 - 28/30. Which is bigger: v or d?
d
Let w be (8/(-2))/(4 + -5). Suppose w*o + o = 3*t - 75, -4*o = -5*t + 138. Suppose -4*h - h = t. Which is smaller: 2/9 or h?
h
Let f = -45 - -15. Suppose 0 = -21*q - 18*q - 1209. Is f at least q?
True
Let t = -437 - -1427. Is 990 smaller than t?
False
Suppose 0 = 5*n - 15, 5*n - 459 - 564 = -4*m. Is m smaller than 253?
True
Let n = 29 + -14. Let t = -39 + 43. Suppose 9*w - t*w + n = 0. Is -3 greater than w?
False
Let j be (246/39)/(-2)*151. Let z = 476 + j. Let d(g) = -g + 17. Let x be d(18). Is z greater than or equal to x?
True
Let g be (-208)/(-32) - (-9)/(-6). Which is smaller: 14/3 or g?
14/3
Let i = 154 - 138. Let g be (-2 - (-36)/16) + (-660)/i. Are -43 and g non-equal?
True
Let h be 7/((-245)/10) + 14/49. Is -4/197 smaller than h?
True
Let z = -14 - -26. Let m = -6 - -18. Let p be (z/40)/((-9)/m). Which is smaller: 2/5 or p?
p
Suppose i - 11 - 4 = 0. Let f = i - 10. Let p be 9/(-3)*f/(-15). Is p > 2/9?
True
Suppose 5*j = -5*d + 115, -4*j - 7*d + 10*d + 78 = 0. Let t = 38 + -14. Let o = t - j. Is o at least as big as 2?
True
Suppose 4*w + 47 = 5*d, -14*d + 15 = -9*d. Which is smaller: w or -5?
w
Let n = 256.9 + -257. Is n < 0.12?
True
Suppose -10*p + 173 = -157. Suppose -2*i = 2*w + 2, -w + 3*i - p = 2*w. Is -6 at most w?
True
Suppose -p + 5*i + 9 = 0, 2*i = p + 3*i + 3. Let h = 0 + 0. Let x be (h/2 - 0)/(-1). Which is smaller: x or p?
p
Let v be 2 - 7/(14/4). Suppose v = -4*n - 155 - 385. Let c be 3/4*(-240)/n. Is 1 bigger than c?
False
Let k = -9529/4 - -2378. Which is bigger: k or 8?
8
Let h = -22 - -9. Let g = -195 + 182.3. Let k = h - g. Is k > 0?
False
Let h = 58 + -33. Let q = h + -26. Let g(x) = -x**3 - 7*x**2 - 6*x - 2. Let m be g(-6). Is q less than or equal to m?
False
Let n = -53.9 + 50. Let g = 5 + n. Let k = g - 1.1. Which is greater: 5 or k?
5
Let h = 80356/71 - 1132. Which is smaller: -1 or h?
-1
Let k be -9*(-1)/21*(-2 - -1). Are k and 1 unequal?
True
Suppose 12 = 4*x, 0*i + 2*x - 14 = -4*i. Let a = 138 - 118. Let c be (i/a)/(2/(-16)). Which is greater: -2 or c?
c
Suppose p - 4*a = 15, 4*a = 2*a + 4. Let f = p + -21. Does f = 9/4?
False
Let d be (1 - -266)*7/(-21). Which is smaller: d or -88?
d
Suppose -19*q = -4 - 15. Suppose k - 36 = -0*k. Let r be (1/3)/((-38)/k). Are r and q nonequal?
True
Let k = 4/181 + 286/3439. Suppose 18 - 12 = -2*p, q - 5*p - 15 = 0. Which is bigger: q or k?
k
Let c = 4 + 4. Let s be (25 - -3) + 0/(-3). Suppose c = s*a - 24*a. Which is smaller: 8/9 or a?
8/9
Let n = -15356/1680783 - 2/7891. Which is smaller: n or 0?
n
Suppose 1439*s = 1428*s - 77. Which is bigger: s or -178/21?
s
Let y be (1768/(-5746))/(-1295 - 1/(-1)). Is 0 bigger than y?
False
Suppose 84*z - 42 = 42. Which is smaller: 1/94 or z?
1/94
Suppose 39*k - 133 = -913. Is k > -234/11?
True
Let m = 3 + -6. Let d(r) = 3*r**2 + 5*r + 3. Let i be d(m). Let h(y) = -y**3 - 29*y**2 + 30*y + 13. Let z be h(-30). Which is greater: z or i?
i
Let s(c) = 10*c + 40. Let a be s(-4). Let p be 2/44*-17 - -1. Which is greater: a or p?
p
Suppose 33*y = 34*y - 2. Is -275 equal to y?
False
Let a(f) be the third derivative of -f**4/24 + 2*f**3/3 + 2*f**2. Let s be a(6). Let j(m) = -2*m**3 + 5*m**2 + 3*m - 4. Let v be j(3). Which is greater: s or v?
s
Suppose 123 = -7*s - 248. Which is greater: -52 or s?
-52
Let w = 28 - 43. Let f = -9 - w. Let x(o) = o + 7. Let b be x(-8). Which is smaller: b or f?
b
Let h = 250.08 - 250. Is h equal to 98?
False
Let w = -1.27 - -0.17. Let v = -18.1 - w. Let l = v + 16.7. Does l = -1/4?
False
Let w = 0.04 - -0.02. Let p be 258/(-645)*10/8. Is p > w?
False
Let v(l) = -l + 8. Suppose b - 2*b = 6. Let f be v(b). Let a be (f/6)/((-1)/(-3)). Is 5 less than or equal to a?
True
Let z = 4 + 0. Let q = z + 4. Let k = -13 + q. Does k = -2/3?
False
Suppose 0 = -5*m + 20 + 25. Suppose -4*h + m + 3 = 0. Suppose 0 = h*k - 6 - 6. Which is smaller: k or 7?
k
Let m = -219.5 + 219.6. Which is bigger: m or -42?
m
Suppose 0 = -q + 2 - 3. Let o(d) = -d**3 + 25*d**2 - 133*d - 52. Let f be o(17). Is q != f?
False
Suppose 8*b - 200 = 16*b. Let n = -10 - 14. Which is bigger: b or n?
n
Let u be (1 - 4) + 1 + 9 + 217. Which is smaller: u or 223?
223
Suppose -5*l - 5*q - 60 = 110, 160 = -5*l - 3*q. Which is bigger: l or -32?
l
Let v = -196 + 236. Which is bigger: v or 41?
41
Let q be ((6736/3)/(-8))/(6/(-9)). Is q less than or equal to 420?
False
Let r = 1814 - 1572. Do r and 244 have the same value?
False
Let u = 12 - 10. Suppose -4 = -u*q + 6*q. Let v be ((-3)/(-10))/((-12)/10). Is q not equal to v?
True
Suppose -2*a - 4*x = -0*a + 26, 4*a = -4*x - 56. Let g(k) = -k - 4*k - 5 + 4*k + 3*k. Let v be g(-5). Do v and a have the same value?
True
Let d be 1/4*485 + 25/(-100). Suppose -125*g = -d*g + 4. Which is smaller: g or -1/40?
g
Suppose -2*z + 11 + 19 = 0. Suppose 5*d + z = -10. Let y(a) = -a**2 - 4*a + 4. Let c be y(d). Which is smaller: c 