*v - 2. Let i be o(10). Let r be ((-18)/(-27))/(68/i). Which is bigger: 1 or r?
1
Suppose 3*w + 29 = -2*x + 6, 0 = 3*x + w + 17. Which is greater: -21/8 or x?
-21/8
Let l be (-2)/4*(-183 - -5). Let n = 88 - l. Is n < 30?
True
Suppose 137 = 2*y - 3*t + 644, -3*y - 733 = t. Is -246 > y?
False
Let c = 47.59 + -48. Let z = 24.41 + c. Which is smaller: z or -2/5?
-2/5
Let i(o) = 2*o**2 + 3*o - 3. Let h(f) = f**2 + 2*f - 3. Let g(k) = -2*h(k) + 3*i(k). Let a be g(-3). Which is smaller: a or 19?
a
Let l be (44/66)/((-1)/((-9)/15)). Let b = -0.04 + 3.1. Let f = b + -3. Which is bigger: f or l?
l
Let m = 1865/3 + -621. Which is smaller: -40 or m?
-40
Suppose 6*c + 102 = 24. Let n be (-5)/2 - (c + 10). Which is greater: n or 0.3?
n
Let p be (-3 + 2)*-33*-1. Let v = p - -33. Which is bigger: -10 or v?
v
Let s(n) = 10*n**2 - 23*n + 22. Let c be s(1). Are 2/15 and c unequal?
True
Let d be (-3)/6 + 1235/2430. Let q = 1472/1701 - d. Which is smaller: 0 or q?
0
Let z be ((2 - 0)/(-2))/((-2)/(-2)). Let y be (-1 - z) + 3 + -5. Is y greater than -8/5?
False
Let m = -22201 + 266237/12. Let n = 44/3 + m. Which is greater: n or -1?
n
Let u = -588 + 588.5. Which is smaller: u or 1/20?
1/20
Let o = -1041 - -1030. Let r = 0.5 - 0.4. Is r at least o?
True
Let l = 1.5857 - 1.3857. Let h = -0.06 - -2.06. Is h at most as big as l?
False
Suppose 0 = -6*a - 2 - 22. Suppose 2*i - 2 = 0, -h - 5*i = 3*h + 7. Do a and h have the same value?
False
Let p = 1001 - 1003. Is 223 at most p?
False
Let b be (-8)/(-32) - (-157)/(-36). Is -5 <= b?
True
Let i be (-10)/8*(43/(-15) + 3). Let p = 27 + -18. Let t be 0 + 2 + (-24)/p. Is t <= i?
True
Let u(f) = -13*f - 19. Suppose -m + j = 6, 0*m + j + 2 = -3*m. Let s be u(m). Suppose 2*p - 34 = y - 4*y, -5*p + 17 = -y. Which is smaller: s or y?
s
Let y = 18 - 14. Suppose -y*a = -a. Is a at least as big as 2/23?
False
Let m be 6 - 1*(0 - -1). Let w be (6 - -15)*12/36. Do m and w have the same value?
False
Let h = 3 + -2.9. Let t = 184 - 148. Let n be -3*(208/t + -6). Which is bigger: h or n?
n
Suppose 0 = -12*t + 1589 + 895. Is 204 at least t?
False
Let d(z) = 4*z**2 - z - 1. Let p be d(-1). Suppose 2*c - 8 = -0*c - p*u, -11 = -3*c - 5*u. Suppose -10*o - 15 = -2*h - 13*o, 3 = o. Are c and h equal?
False
Let j = -5 - -10. Suppose j = 3*v + 2*v. Let r = 593 + -593. Is r not equal to v?
True
Let s be 2 + (8/268)/((-8)/468). Is s greater than or equal to 1?
False
Let n(p) = -p - 19. Let c be n(-20). Is 5/33 less than c?
True
Let t = 254 - 1005/4. Suppose 0 = -3*h + 24 + 12. Suppose -y = -0*u - 3*u + h, 3*y + 16 = 4*u. Which is bigger: u or t?
u
Let b(q) = 2*q**3 - 8*q**2 - 2*q + 9. Let o(w) = w**2 - 1. Let g(x) = b(x) - 4*o(x). Let y be g(6). Are y and 6/23 nonequal?
True
Let w = -566.8 - -567. Which is smaller: w or 77?
w
Let k be (-4)/(-10) + (-6)/(-270)*-158. Suppose 2*v = -3*v + 2*z - 21, 0 = -4*v + 2*z - 18. Is k at least v?
False
Suppose 3*p + 1 = -8. Let y = p + 26. Is 21 equal to y?
False
Let l(z) = 9*z - 21. Let t be l(6). Do 30 and t have the same value?
False
Let u(o) = -3*o - 28. Let x be u(-9). Let v be 6*(x + -3 - 1496/(-357)). Which is smaller: v or 2?
v
Suppose 89 - 74 = 3*n. Suppose 2*c = 4*c + 5*h - 6, c = n*h - 12. Is -1 equal to c?
False
Suppose h + 335 = 5*m, -320 = h + 3*m - 5*m. Let w = -1544/5 - h. Is w at least 1?
True
Let s(w) = -2*w + 35. Let f be s(-14). Let c = 62 - f. Let t be (1 + 0)*4/22. Does c = t?
False
Suppose 5*a - 3*i - 45 = -200, -3*a + 4*i - 104 = 0. Which is smaller: -25 or a?
a
Let i(j) = 125*j + 491. Let b be i(-4). Which is greater: b or -86/9?
b
Let u be 7/(7/2) - -99. Let x = u - 6362/63. Which is smaller: 0 or x?
0
Let p be (-51)/(-1) + (-4 - -4). Let x = p - 64. Is x != -10?
True
Let u be (2/(-4))/((-218)/(-72) - 3). Which is bigger: u or -15?
-15
Let v = 352928/35 + -96438/7. Let j = v + 3674. Which is smaller: j or -18?
j
Suppose 7*t = 17*t - 380. Which is smaller: 221/6 or t?
221/6
Let k(d) = d**2 + 12*d - 2. Let j = -1 - 11. Let m be k(j). Let r be m/1 + 128/62. Is 1 smaller than r?
False
Let w be (-2)/7 + (-174)/(-21). Suppose 0 = 5*v - w + 13. Suppose g + g = -2. Is v at most g?
True
Suppose t - 5*t - k = 137, -2*k + 89 = -3*t. Let m = 29 + t. Let y be 0*(0 + 2/m). Which is greater: y or -2/65?
y
Let m = 82 + -78. Let g be (0 + (-64)/(-3))*m/48. Which is bigger: g or 2?
2
Let r = 11281/200 - 932/25. Let q(o) = 20*o**3 - 2*o**2 + 2*o - 1. Let p be q(1). Let u = r - p. Which is smaller: u or 1?
u
Suppose y + 4*y + 125 = 5*o, 0 = 2*o. Let a = -3 + 29. Let b = a + y. Which is smaller: 4 or b?
b
Let n be (((-24)/2)/(-2))/2. Suppose -n*y - y - 355 = -3*a, 2*a = 3*y + 265. Let t = -1193/14 - y. Which is smaller: t or 1?
t
Let b = -0.041 - -0.141. Which is smaller: b or -5?
-5
Suppose 4*d - v = -23, -4*v + 37 = -5*d - 0*v. Let f be (-22)/4 - (0 - d/10). Is f at most -6?
True
Let p = -64 + 64. Suppose -2*h = 3*y - 46, p*y = -4*h + y + 92. Are 23 and h unequal?
False
Let n = -104 - -77. Let s = n - -8. Is 3 less than or equal to s?
False
Suppose 4*i = i + 12. Suppose -4*m - 20 = -t - t, 0 = 3*m + i*t + 37. Let o = m - -9. Is o bigger than 3?
False
Let m = -30 - -33.6. Let r = -3.4 + m. Do -2/3 and r have the same value?
False
Let n = -0.69 - -60.69. Let u = n + -58.3. Which is smaller: u or 0.1?
0.1
Let j(n) = -2*n**3 - n**2 - n + 1. Let o be j(2). Let w = o + 20. Are w and -8/7 non-equal?
True
Let y = 13573/115 - 4872/23. Let c = y + 94. Is 0 at most c?
True
Let n = -121/36 + 4117/1332. Let h = -125/3 - -42. Which is bigger: n or h?
h
Let x = -559 + 253. Are x and -306 nonequal?
False
Let z(w) = 6*w - 5. Let s be z(2). Suppose 2*p = s*p - 275. Let o be ((-8)/5)/((-11)/p). Is -2 less than o?
True
Let b = 7485 + -7506. Suppose -i = 32 - 8. Which is smaller: b or i?
i
Let l be 18/(-4)*(-1 + 0 + 5). Let d be 10/12*(-2)/((-40)/l). Let v = 1.6 - -0.4. Is v at least as big as d?
True
Let r be (767/52)/(4/32). Is r != 116?
True
Let z = 272 + -94. Let g = 12534415/70504 - -27/10072. Let n = z - g. Which is greater: 1 or n?
1
Let s be (-4)/(-54)*(19 - 4). Let q(p) = -48*p**2 - 1. Let k be q(-1). Let g be k/(-28) - (-1)/4. Is s less than or equal to g?
True
Suppose 0 = -12*s - 1257 - 123. Which is bigger: s or -117?
s
Let q be 4/(-18)*-3 - 2002/(-39). Which is greater: 0 or q?
q
Let r be -2*(-2 - -3) + 3. Suppose -8 = -5*a + 7*a. Is r equal to a?
False
Let v be (-2)/6 - (-4)/(-6). Let p = -810 - -10544/13. Let i = -128/143 + p. Is i less than v?
False
Let a(z) = -z**2 + 3*z. Let t be a(4). Let p be (t/(-6))/((-11)/(33/(-2))). Is p at least -2/113?
True
Let f = 8 - 5. Suppose -f*p = -8*p. Is -4/9 not equal to p?
True
Let a(v) = v**2 - 20*v + 19. Let r be a(17). Let i = 67 - 100. Which is bigger: i or r?
r
Let x = -25 - -29. Suppose 4*t = 3*c - 1 - 1, 2*t = -x. Is c > -7/4?
False
Let j = 43/17 + -1049/119. Let p = 328/21 + j. Let b = p - 8. Is 1 <= b?
True
Let l = -14 - -13.73. Let y = 3.27 + l. Is -2 bigger than y?
False
Let x be 45/2*(-30)/255. Which is bigger: x or 1?
1
Let r = 79 - 78.3. Is r >= -3.8?
True
Let n(x) be the third derivative of -x**4/8 - 3*x**3 + 14*x**2. Let g be n(-6). Is g smaller than 10/9?
True
Suppose q + 48 = -q. Suppose -3*g + 5763 = 5829. Which is greater: g or q?
g
Suppose -2*u + 4*u = -6. Let b(w) = 5 - w**2 + w - 3 - 3*w. Let r be b(u). Is -2/7 greater than r?
True
Let k be (-63)/135*(1 + -340). Let v = -155 + k. Are v and 3 non-equal?
True
Let m(w) = -w**2 - 15*w - 13. Let s be m(-14). Let g be (24/(-18))/(-1*s). Which is smaller: 1/3 or g?
1/3
Let t = -5747/63813 - -26/239. Which is bigger: 1 or t?
1
Suppose -7*k + 14 + 7 = 0. Suppose 26 + 16 = k*z. Is z at least as big as 12?
True
Suppose 0 = -5*h + 5 + 5. Let s be (h/(-4))/(1/(-2)). Suppose -34 = 40*r - 154. Which is bigger: s or r?
r
Let h = -175 - -178. Which is bigger: -72 or h?
h
Suppose 0 = 5*t - 36 - 9. Let l = -73 - -82. Do l and t have the same value?
True
Let r = -0.4 + -2.4. Let w = r + 2.97. Is 0 smaller than w?
True
Let i = -568 + 518.6. Let y = -50 - i. Which is greater: -0.2 or y?
-0.2
Let k be (-3)/(-2) + -1 - 1200/750. Is k greater than or equal to 0.5?
False
Let m(k) = -k**2 + 7*k - 12. Let q be m(7). Let c be 70/(-21)*q/10. Let g(s) = -s**3 - 5*s**2 + 7*s + 5. Let v be g(-6). Which is greater: v or c?
c
Let n b