v - 3*v + 4*q + 43, 5*v = 2*q + 39. Suppose -5*p = 4*w - v, -p - w = -4*w + 10. Is -2 at least as big as p?
False
Suppose 7 + 20 = 3*b. Let z(h) = -h**3 + 9*h**2 + 5*h - 26. Let u be z(b). Is 19 at least as big as u?
True
Suppose -q - 2*p - 8 = -0, 3*p + 19 = 2*q. Suppose 0 = -z - 3*z - 5*n + 35, 0 = -q*n + 6. Suppose -20 = -z*s - 0*s. Is s > 20/7?
True
Let d = -0.611 - 156.389. Is -0.2 at most as big as d?
False
Let k be (-1*3)/((-12)/(-232840)). Let p be k/350 + (-2)/5. Let j = p + 167. Which is smaller: 0.2 or j?
0.2
Suppose -140*v = -145*v - 15. Which is bigger: v or -37/12?
v
Let s be (-1)/(-2 + 44/20). Let x = -2/3807 + -16918/3807. Which is bigger: x or s?
x
Let d(n) = 409*n + 6165. Let w be d(-15). Let k = -9 - -40. Which is bigger: k or w?
k
Let g be (-31374)/231 + (-4)/22. Which is smaller: g or -137?
-137
Let f = -258 - -285.8. Let y = -1.2 + f. Let s = y - 27. Which is bigger: 0.1 or s?
0.1
Let u = 0.332 - -158.668. Do u and 0.1 have the same value?
False
Let g be 10/12 - 8/(-48). Let u = -197/60 + 16/5. Is u smaller than g?
True
Let m = 3.5 + -3. Let q = -0.3 + m. Let w be (1*(-2)/(-3))/((-168)/(-252)). Is q != w?
True
Let s = -4.3 - -4.61. Let w = s - 0.21. Is -0.08 bigger than w?
False
Let c(f) = -3*f + 23. Let i be c(12). Let v = 12 + i. Is v at least 0?
False
Let l = 50 + -199/4. Let s be (-8)/(-28) + (-57)/(-21). Suppose 0*x = s*x. Do x and l have different values?
True
Let j = -119 + 119. Which is greater: 1/431 or j?
1/431
Let u(b) = -b + 4. Suppose 10*o - 7*o - 6 = 0. Suppose o*t = 6*t. Let p be u(t). Is p < -2/3?
False
Let b = 1277/2 - 749595/1174. Is b greater than or equal to -1?
True
Let w be ((0/3)/3)/(-3). Suppose 9*l - l = w. Which is smaller: 11/3 or l?
l
Suppose -2*o + 50 = -5*x + 3*o, -5*o - 14 = 3*x. Let g(s) = -s**2 - 9*s - 10. Let j be g(x). Let c be j/(-4) + (-2)/(-4). Is 1 equal to c?
True
Let l = -0.0434 + -15.9566. Which is greater: -0.01 or l?
-0.01
Suppose -4*f + 50 = -18. Suppose -45 = -9*m + 6*m. Is m >= f?
False
Let k = 65257/306 + -853/4. Are k and 0 non-equal?
True
Let g(m) = 31*m + 2. Let o be g(1). Let p = o - 17. Is p <= 17?
True
Let x be (-5 + 9)/(0/2 + 2). Suppose 0 = -4*a + 4*p - 384, x*p - 6 + 0 = 0. Is a smaller than -92?
True
Let j be 12/(-32)*3/63. Let x = j - 139/56. Is x <= -2?
True
Suppose 5*a - 3*q + 256 = 0, a + 65 = 6*q - 10*q. Let k = a - -96. Is k < 130/3?
True
Let o be 8/40 + 214/(-270). Do o and -1 have the same value?
False
Let f = -578/3 - -193. Which is smaller: f or 1?
f
Suppose 22 = -j + 25, 2*y + 2*j = 112. Which is smaller: y or 211/4?
211/4
Suppose 4*v - 2*s + 26 = 0, v + 0*s - 2*s = -14. Let d be (-323)/(-684) + v/18. Let n = 4 - 3. Which is bigger: d or n?
n
Let b be (9/(-6))/((-3)/52). Suppose 5*f - 28 = 3*r, -3*f - r = -2 - b. Suppose 3*p + f = -p. Is -3 less than p?
True
Let p = 1669112 + -4508271872/2701. Let q = p + 4864489/243090. Let y = q + -119/6. Which is smaller: 0 or y?
0
Let r be 50/20*(-56)/(-10). Let n be 4/r - 267/(-21). Suppose -n + 11 = 2*b. Which is greater: -2/9 or b?
-2/9
Let u = -3.9 + 4.14. Let d = u - 2.24. Is 0.1 at least d?
True
Let f(t) = 20*t + 56. Let d(n) = 7*n + 19. Let k(i) = -14*d(i) + 5*f(i). Let b be k(5). Does b = 26?
False
Let o be (-28)/9*24/28. Which is bigger: o or -7?
o
Suppose 7*v + 109 = 4. Which is greater: v or -16?
v
Let c = 131/210 - 1/42. Is 203/3 greater than or equal to c?
True
Suppose 3*j + 2 = -1. Let i be (-10)/(-10) - (-6 + 0). Let o be (-8 + i)*(j + 2). Is o at least 2/33?
False
Let u be (3 + 0)*(6 - 7). Suppose 48 = -0*j - 4*j. Let n be u - (80/j - -3). Which is bigger: n or -1?
n
Suppose -z + 1 = -0*z, 0 = 3*p + z - 4. Are p and 17/16 unequal?
True
Let k = 280 - 351. Is k smaller than -70?
True
Let g(b) = -58*b**2 + 30*b + 141. Let f be g(-4). Which is bigger: 2/7 or f?
2/7
Let r(t) = -t**3 - 12*t**2 - 12*t - 1. Let c be r(-11). Suppose 2 + c = -4*b - 3*h, 0 = -4*b - h - 4. Which is bigger: b or 1/47?
1/47
Suppose -3*a + 9 = 4*x, 2*x - 3*a + a = 8. Let v be (-3 + (x - 1))*18. Let f = -9 - v. Which is smaller: f or 7?
7
Suppose 3*t - 5*t = 0. Suppose t = 3*w + 3*n - 15, 2*w - n + 6 = n. Which is greater: 2/7 or w?
w
Let j = 269457/11 - 24517. Let y = -16812/803 - j. Which is smaller: 0 or y?
y
Suppose 5*r - 2909 = -4*t, -3*t + 908 = 4*r - 1420. Let n = r - 7601/13. Let p = 3.3 + -4.3. Which is smaller: p or n?
p
Let n = -7.0901 - 0.0099. Which is smaller: -2/5 or n?
n
Let c be 2/(98/1211) + 1. Is 26 not equal to c?
True
Let x = 105 - 57. Suppose 5*h - x - 17 = 0. Is h smaller than 15?
True
Suppose 4*m + 21 = t + 4, -5 = 2*t + 5*m. Suppose -49 = -t*r - 4*u, r - u = u + 7. Is 10 greater than r?
True
Suppose 0 = -190*m + 195*m + 4*p + 729, -3*p + 310 = -2*m. Which is smaller: -146 or m?
m
Let v = -1126 + 1127. Is v equal to 2/1037?
False
Let n(q) = -26*q**2 + 5*q + 7. Let i be n(-2). Is i smaller than -107?
False
Let g be 49/7 - (2 - 0). Let w(f) = -f**2 + 6*f - 4. Let k be w(g). Do 2 and k have the same value?
False
Suppose 5*z = 577 + 228. Let w(q) = 162*q**2 + 1 - 3*q - z*q**2 + 4*q. Let s be w(0). Is -8 equal to s?
False
Let f = -9695417/1061 + 9138. Which is smaller: f or 1?
f
Let s = -2.8 + 3. Let h = s + -0.3. Let l = 99 + -691/7. Which is greater: h or l?
l
Let f be 0 - 1*(-2087)/(-12). Let p = -174 - f. Let a be 2/(-4) - (-1)/2. Which is smaller: p or a?
p
Let u(y) = y**3 + 21*y**2 - 2*y - 38. Let t be u(-21). Let s be (2 - t)*(-10)/(-25). Let k(j) = j - 6. Let q be k(5). Which is bigger: s or q?
s
Let s be 65/(-26)*(-112)/10. Suppose 25*a - s*a - 12 = 0. Which is greater: a or -5?
a
Let c be (2/(-3))/(2/3). Let a be 4 + (-1908)/20 + -3. Let g = -18418/195 - a. Which is greater: g or c?
g
Suppose -3*t + 1 = -g, 0*g = -4*g + 2*t + 16. Suppose -g*q + 30 = -25. Suppose q + 24 = 5*i. Does i = 5?
False
Let p be 150/(-100)*(92 - (-1 - -3)). Is -133 smaller than p?
False
Let f = 1/176 - -791/176. Is 5 smaller than f?
False
Let j(r) = r**3 - 4*r**2 + 4*r + 1. Let f be j(3). Suppose 3*c = -f*c. Which is smaller: -1/7 or c?
-1/7
Let n be 9*(-7)/(-14) + (-1)/2. Which is smaller: n or 3?
3
Let p = -1.086 + 1.299. Which is smaller: p or 2/7?
p
Suppose -3*m = m - 2*j - 106, 0 = -3*m - 2*j + 83. Is 16 at most as big as m?
True
Let m = -90.66 + 90.8. Is m smaller than -10/13?
False
Let r = -22.12 - -1.02. Let b = 22 + r. Which is smaller: -1/7 or b?
-1/7
Let y = 4/67 + -163/1608. Let s be -16 + 19 - (1 - -1). Do s and y have different values?
True
Suppose k + 0*k - 1 = 0. Let u = -4 + 6. Let m = 5 - u. Which is bigger: k or m?
m
Let u be 52/(-10)*(-380)/304. Is 0.5 less than or equal to u?
True
Let i be 10*(-24)/(-16)*6/(-18). Which is bigger: i or -32/7?
-32/7
Let s be (2*-34 - -2)*1. Let a be (-1)/4 + s/(-216). Which is greater: a or 0?
a
Let j = -163082/4571 - 24/653. Which is bigger: -37 or j?
j
Suppose -56*t - 11*t = 88909. Is -1326 bigger than t?
True
Let w = 271 - 271. Which is bigger: w or -0.152?
w
Let m(u) be the first derivative of u**3/3 + 5*u**2 - 11*u + 1. Let k be (-4)/16 + (-43)/4. Let w be m(k). Which is greater: w or 1?
1
Let r = -173/28 - -66/7. Let f = 47/12 - r. Is f bigger than -0.2?
True
Let u be (-3 + 49/21)/((-98)/(-6)). Let r = 104/147 + u. Which is smaller: -48 or r?
-48
Suppose 0 = 5*i - 10, -3*d + 3*i = i - 2. Let h = d - 11. Let y = h + 10. Is -2 bigger than y?
False
Let q = -308 + 304. Which is greater: q or -2?
-2
Let b be 3276/(-3718) - (-10)/65. Let p(j) = j**2 + 5*j - 1. Let v be p(-5). Which is smaller: v or b?
v
Suppose j - 1 = -5. Let o be 84/j + 2 - 1. Let a be 48/5 - 8/o. Is a equal to 10?
True
Let j be 58/(-60)*-21 + 15/10. Is j bigger than 22?
False
Suppose -4*a + 320 = 380. Let y = 0.3 - 0. Let l = 0.2 - y. Is a > l?
False
Let w = -4/37 + -46/259. Is w less than or equal to 0?
True
Let t be 3155/8015 - 9/(-147)*-7. Is t greater than 0?
False
Let m = 0.18 + -1.18. Let n = m + 0. Which is greater: n or 28?
28
Let u = -79.2 - -77. Let s = 1.8 + u. Which is bigger: 9 or s?
9
Let o = 1812 + -85165/47. Let c be 0/(-2)*(-1 + 0). Is c at least as big as o?
True
Suppose 0 = 63*o - 60*o + 3. Let w be (-140)/55 + 2/1. Which is greater: o or w?
w
Let q = -17 + 17. Suppose 4*h - 1633 + 477 = q. Let v be h/(-68) + (-2)/(-8). Do -5 and v have the same value?
False
Let b be 18/(-20) - 13/(-26)