bigger: -12 or o?
o
Let h = -15/28 + 73/84. Is h at least 0.2?
True
Suppose o - 36 = -2*o. Suppose 2*h = -4*u + 18, -2*h + 5*u - 6*u = -o. Let c(i) = -i**2 + 6*i - 4. Let p be c(h). Which is smaller: p or 3?
p
Let x(z) = 3*z + 3. Let u be x(6). Let g = -13997/4 - -3519. Is g equal to u?
False
Let j = 160 + -126. Let b = j - -71. Which is smaller: b or 1?
1
Suppose -f = -2*d + 4 - 3, 0 = -4*d + 5*f - 7. Which is greater: d or 12/23?
d
Let y = -678/5 - -136. Suppose j - 4*b = -16, 2*j - 3*j = 3*b - 12. Which is bigger: j or y?
y
Let h(d) = d. Let k be h(2). Let v be (-62)/(-155) + 3114/40. Let a = v + -77. Is k greater than or equal to a?
True
Let s = 540 - 526. Is s smaller than 0?
False
Let c = 23.74 - 4.25. Let t = 20 - c. Which is bigger: t or -1/2?
t
Let n be (-14)/(-140) + 1718/(-380). Which is smaller: -5 or n?
-5
Let f(m) = -122*m + 1099. Let v be f(9). Which is smaller: 14/235 or v?
14/235
Let d be (-20)/(-3222)*66/55. Are d and 0 equal?
False
Let p be (4/14 + (-50)/(-70))*1. Which is bigger: p or 2/51?
p
Suppose 10*a = 9*a. Is a bigger than -12/79?
True
Let t(n) = n**2 - 11*n - 9. Let g be t(12). Let c be (1/(-2))/(g/(-6)). Let m be (2/8)/(c/(-4)). Do m and -1 have the same value?
True
Let k = 68.83 - 70. Let h = -0.38 + k. Let u = 1.6 + h. Is u greater than or equal to 0?
True
Suppose -8*v = -v - 119. Let j(k) = 9*k - 270. Let s be j(30). Which is greater: s or v?
v
Suppose 2*u = 6*u + 8. Suppose 77*s = 51*s + 26. Which is bigger: u or s?
s
Let r = 1307/2 + -8955/14. Which is smaller: 14 or r?
r
Let i be ((-4)/6)/((-2)/39). Let j = i - 10. Suppose 6*r = 5*r + 3. Does r = j?
True
Let v(i) = 5*i**3 + 12*i**2 + 9*i + 6. Let o(x) = -4*x**3 - 11*x**2 - 9*x - 6. Let u(q) = -4*o(q) - 3*v(q). Let l be u(-7). Which is smaller: l or -9?
-9
Suppose -51 = -3*b - 5*g + 3*g, 2*g = b - 9. Suppose 2*u = -b + 13. Which is bigger: u or -3/20?
-3/20
Let m = -240.1 + 240. Which is smaller: -0.11 or m?
-0.11
Suppose -5*i + 4*y = -9 - 3, 0 = -4*i - 3*y - 9. Suppose i*p = -3*p + 3. Is p < 3/19?
False
Let s = 724 + -5066/7. Is s <= -147?
False
Let c be (-1)/(-2) + 5/10. Let h be ((-1 - -2) + -1)/c. Is 6/11 smaller than h?
False
Let q = 6289/4485 - 2/897. Which is bigger: q or 0?
q
Let g = -20.348 + -0.652. Let s = -1.1 + 1. Which is bigger: g or s?
s
Let w be (336/9)/(2/6). Suppose 5*z + 3*q - 2*q - w = 0, -2*q = 5*z - 109. Is z > 24?
False
Let y be 30*(8/(-5) + 1). Which is bigger: y or -52/3?
-52/3
Let o = -151 - -66. Which is smaller: o or -83?
o
Let v be 2/5*(-5)/(-3). Let u = 20.2 - 2.2. Let d = u + -16. Which is greater: v or d?
d
Let s be ((-2)/4)/((9/6)/(-3)). Is s smaller than 13/19?
False
Let c = -1.9 + 0.9. Let d = -6545 + 137414/21. Let z = 1/7 + d. Is z at least c?
False
Let w = -2 - -1.54. Let d = w + 5.46. Is d >= 0.2?
True
Let k = 241/3 - 2660/33. Which is bigger: k or -0.12?
-0.12
Let j(s) = s**2 + 10*s + 8. Let f be j(-9). Let v(y) = 4*y + 1. Let q be v(1). Suppose 20 = -5*l, -40 = q*t - 0*l + 5*l. Is f less than or equal to t?
False
Let p be 807/(-207) + 5 - (-8)/(-12). Which is bigger: 0.1 or p?
p
Let h = 232 - 98. Which is bigger: h or 133?
h
Let y be (-21)/(-7)*4/(-6). Let m be y/8 - 14*3/(-8). Is m bigger than 7?
False
Let q be (-11 - -4)/21 - 2/3. Which is greater: q or -15/121?
-15/121
Let o = 61781351/15 - 4113943. Let j = 4812 - o. Which is smaller: -1 or j?
j
Let o be -10*((-1)/2 + -1). Let f = o + -19. Is f bigger than -9?
True
Let q = -265851 - -4516783/17. Suppose 796 = -5*b - 3*r, -b - 2*r = -6*b - 786. Let y = q - b. Is y less than 1?
True
Let o be (4938/1097)/(18/(-24)) - -6. Which is bigger: o or 1?
1
Let g be 7/((-42)/(-8)) - 2/6. Let l be (-5)/g + 6/(-2) + 2. Which is greater: -9 or l?
l
Suppose 0 = -5*x + 27 - 12. Suppose x*w + 3*v = w + 14, -v - 12 = -w. Which is bigger: w or 9?
w
Let q = 204059/1332 - -645/148. Let w = 158 - q. Suppose 2*x - 13 = 4*x + 5*d, 3*x - 6 = d. Which is smaller: x or w?
w
Let w = 624 - 654. Do w and -123/4 have different values?
True
Let j(v) = 3*v**2 + 4*v + 2. Let u be j(-2). Suppose -l - 75 = -u*l. Is l at least 13?
True
Let m = -661 + 333. Which is smaller: m or -4?
m
Suppose -2*u + 3*u = -2. Let n = u - -5. Let f(a) = 2*a**2 - 4*a + 3. Let r be f(2). Is r greater than or equal to n?
True
Let n = 1/2113 - -2108/10565. Is 33 at least as big as n?
True
Let y = 257 - 261. Let g = -18 + 27. Let h = g + y. Do 4 and h have the same value?
False
Let j = -283 - -625. Let o be (4 - 0)*9/j. Let z = -119 - -118. Which is bigger: o or z?
o
Let q = 26378/7 + -3775. Which is smaller: q or -7?
-7
Let j be 7945/(-21) - 2/(-6). Let h be 4/(-14) + 393/j*4. Which is smaller: h or -5?
-5
Suppose -4*b + 3 = -4*p - 5, 13 = -4*p - b. Let f be p/5 + 16/(-40). Is -1 at most as big as f?
True
Suppose -8 - 10 = -o. Suppose -2*j - o = j. Let a be 0 - (j/8)/1. Is a < -2?
False
Let o(z) = -2*z - 2. Let v = 36 - 34. Suppose -l + v = 3. Let c be o(l). Which is smaller: 2/25 or c?
c
Let n be -5*(-5 + -2 + 6). Let r(b) = -b**3 + 4*b**2 + 8*b - 15. Let y be r(n). Which is bigger: y or -1/94?
y
Let g = -1679 - -13435/8. Suppose 0 = -4*b - 4. Is g < b?
False
Let x = -44295/59 + 751. Is x < -1?
False
Let h be 285/(-756) - 7/(-28). Which is greater: -1 or h?
h
Let s = -508.97 - -515. Let w = 0.07 + s. Do -0.1 and w have the same value?
False
Let k(x) = -5*x - 10. Let q(d) = -9*d - 19. Let h(i) = 11*k(i) - 6*q(i). Let n be h(10). Is -6 smaller than n?
False
Suppose -2*o - 2*o = a + 72, a + 3*o + 75 = 0. Let y be (-1)/(a/(-352)) - -4. Which is smaller: y or 1?
y
Let v(p) = -2*p**3 - 14*p**2 - p + 5. Let s be v(-7). Let b be -16*(s/(-8) + 2). Let l = 6 - 13. Are b and l equal?
False
Let t = 18.4 - 18.3. Does 9/29 = t?
False
Let s be 5558/56 - (-1)/(-4). Is 99 != s?
False
Let l be 2*(-2 - 5) - 1. Let h(q) = -q**3 - 16*q**2 - 15*q - 17. Let y be h(l). Is -16 equal to y?
False
Let b(a) = -3*a - 73. Let n be b(18). Is n not equal to -128?
True
Let l = -49 + 58. Suppose 0 = -8*b - 1 + l. Let r be (-26)/(-30) - 4/6. Do b and r have the same value?
False
Suppose -2*d + 26 = 5*t - t, -56 = -4*d - 4*t. Let z = -9 + d. Let n be (-970)/(-291) + -1*4. Which is bigger: z or n?
z
Let b = 1 + 8. Let d = 8 - 7. Suppose -b = a - d. Is -7 less than or equal to a?
False
Let x = -90 + 100. Suppose x*v = 7*v - 3. Is v less than 15?
True
Suppose 2*g - 5*q - 195 = 0, -6*q = 2*g - q - 205. Is g at most as big as 102?
True
Let g(h) = -8*h - 5. Let k be g(-2). Suppose y + 3 = 2*l, -l + 4*y + y = -15. Which is greater: l or k?
k
Let o(f) = -f**2 - 17*f - 24. Let u be o(-16). Let n = -37/4 - u. Is 0 >= n?
True
Let d = -285.22 - -281. Let l = d + 0.22. Is -6 not equal to l?
True
Let l = 1285 + -1286. Is l at most as big as -21?
False
Let q = -1058 + 7408/7. Let j = 2 + -2. Is j not equal to q?
True
Let m be ((-4)/3)/(((-20)/(-15))/(-1)). Let z be (0 - -1)*m + -3*1. Which is smaller: z or -3/4?
z
Suppose -3*o = -3*x + 1956, 16*o - 20*o = 5*x - 3287. Which is greater: x or 654?
x
Let h = 761 + -762. Is -24/257 less than or equal to h?
False
Let l(h) = -h**3 + 5*h**2 - 4*h + 2. Let a be l(4). Suppose -39*j = -15*j - 50160. Let b be (-490)/j + a/11. Is -1 <= b?
True
Let m(n) = 2*n**2 - 12*n + 14. Let g be m(6). Let y be (g/28)/((-4)/58). Is y not equal to -6?
True
Suppose -m + 3*g = m - 18, -5*m - 5*g = 5. Suppose -4*k + 3*k + 6 = 0. Suppose 0 = m*w - k*w - 12. Is -4 at least w?
True
Let s = 1087/3906 + -1/1953. Suppose -2*n + 2 = 2*k, -1168*k + 1165*k = -5*n + 13. Is k > s?
False
Let p(r) = -28*r + 1. Let q be p(1). Let i be ((-3)/q)/((-2)/(-6)). Which is bigger: -1 or i?
i
Let p = 0.08 - -0.72. Let b = 0.0051 - 0.1051. Is p < b?
False
Let q = -3 + 4. Let b be (-4)/111*18/12. Are q and b equal?
False
Let k(i) = -i**3 - 6*i**2 - 7*i - 4. Let n be k(-5). Let v be 4/n*(-3)/(-26). Let b be 1 + -2 - (-5 - (-1 + -2)). Which is greater: b or v?
b
Let d = -9/112 + 2117/19376. Is d at least 1?
False
Suppose -16*z - 443 = 1253. Are z and -533/5 unequal?
True
Suppose 4*v + 0*v - 3*f - 83 = 0, -2*v + 4*f = -44. Let z = v - 31. Is z smaller than -1?
True
Let f = -1 - -3. Let n = 9 - f. Let k = n - 3. Which is smaller: 3 or k?
3
Let b = 0.58 + -0.38. Let w(q) = q**3 + 9*q**2 + 5*q + 1. Let o be w(-4). Let v = o - 429/7. Which is smaller: b or v?
v
Suppose 764 = p - 5*p. 