
Let f = -1 - -2. Let h = -2/11623 - -23416/987955. Which is greater: f or h?
f
Let o(n) = 26*n - 11. Let t be o(-1). Is -40 at most as big as t?
True
Let c = -22 - -32. Let t = 10.2 - c. Which is smaller: t or 3/4?
t
Let b = -99/4 + 25. Let k(i) = 5*i - 23. Let d be k(-17). Let q be d/(-63)*1/3. Which is bigger: q or b?
q
Suppose 52 - 40 = 3*r. Suppose -r*s - 19 = -63. Let h(a) = a**2 - 5*a - 3. Let d be h(7). Is s less than or equal to d?
True
Suppose 2*r + 2*z = -6, -5*r + 9 + 6 = -z. Suppose r*g + 6 = -g. Let f = 190 + -191. Is f != g?
True
Let d(s) = s + 4. Let f be d(-4). Let l = 34 + -16. Suppose f*v + 3*v = l. Which is greater: v or 5?
v
Let p(f) = 12*f**3 + f - 2. Let t be p(1). Suppose 5*h + 9 + t = 0, r + 3*h + 9 = 0. Suppose 0 = 2*u + u + r*k - 27, 3*u = -5*k + 35. Which is smaller: 6 or u?
u
Let k = -200 + 295. Which is bigger: k or 0?
k
Let k(a) = -a**3 + 12*a**2 - 8*a + 12. Let p be k(12). Let q be (3668/p)/(485/(-73)). Let j = q + 8/291. Which is bigger: 8 or j?
8
Let x = 163.062 - 163. Is x < 1/10?
True
Let i = 16.9013 + 0.0987. Is -0.8 > i?
False
Suppose -5*i - 27 = -47. Suppose 0 = 5*z - i*q + 110, -2*q - 10 = -4*q. Are z and 2 non-equal?
True
Let b = -170 - -170.12. Let d = -11/28 + -1/140. Is d bigger than b?
False
Suppose 5*c + 10 = 0, -3*u - 21*c + 26*c + 10 = 0. Which is smaller: u or 3/173?
u
Let w = 24/47 - 239/376. Which is smaller: w or 1?
w
Let x = 923/21 - 205/7. Let c = x + -15. Do c and 0 have the same value?
False
Let p = 335.95 - 335. Which is smaller: 4 or p?
p
Suppose c + 3*r = 25, c - 4*r + 60 = 5*c. Suppose -5*m = -4*j - 1, 4*m - 5*j + 11 = c. Let s = -1 + 4. Is s greater than m?
True
Let i(w) = -w - 286 + 576 - 293. Let t be (-40)/12 - 1/(-3). Let k be i(t). Is -8/7 greater than or equal to k?
False
Let q(j) = -4*j - 26*j**2 + 24*j**2 + 1 + 3. Suppose 0*x = -3*x + 6. Let z be q(x). Which is greater: -14 or z?
z
Let z = -600 + 601. Let n = 323 - 4202/13. Which is smaller: n or z?
n
Suppose 3*b - 10 = 2*b - u, 5*b - 2*u = 36. Suppose -202*z - 4*l = -199*z - 37, 5*l - 55 = -5*z. Is z less than or equal to b?
True
Suppose 0 = -k + l - 3 - 95, 4*l = -20. Let s = k - -106. Let f(d) = -d**2 - 9*d - 10. Let v be f(-7). Which is bigger: s or v?
v
Let m be -2*(-1)/(-16)*-1. Let x(f) = f**2 + 2*f + 1. Let v(l) = l**3 - 3*l**2 + 2. Let k be v(2). Let b be x(k). Which is bigger: m or b?
b
Let o be (2/(-15))/((-4265)/25). Let g = 10334/125391 - o. Which is bigger: 0 or g?
g
Let x be 171/(-228) - 23/(-28). Let f = -1 - -1. Are f and x unequal?
True
Let c(m) = m**2 + 15*m + 15. Suppose -96 = 9*b + 21. Let i be c(b). Is -9 > i?
True
Suppose -j - 5*o + 46 = 0, 2*j + 5*o = 110 - 43. Which is greater: 224/11 or j?
j
Let y be 35/(-7)*(-2)/10. Let z be 6/y*14/(-4). Is z smaller than -21?
False
Let z = 30 + -81. Let m = z + 405/8. Which is smaller: m or 1?
m
Let p be ((-51)/(-6) - -5)*4/(-6). Which is smaller: -10 or p?
-10
Let a(x) = x**2 + x - 10. Let t be a(3). Let j be (-1 - (-1)/t) + 24/(-48). Which is bigger: j or 4/37?
4/37
Let f = -3871 - -2671. Is f at most as big as -1200?
True
Let q be (-7*1)/((-5)/10). Let c = q + -5. Is c at least 8?
True
Let j be ((-616)/10)/((-3)/(-60)*-8). Is j less than or equal to 153?
False
Suppose -5*x + 2 = 3*o - 23, 4*x = -o + 13. Suppose c - 3*l + 11 + 4 = 0, 2*c - 10 = -x*l. Which is smaller: c or 1?
c
Suppose 2*z + 0*z = 0. Let n = 323850/7 - 45976. Let r = n - 289. Which is bigger: r or z?
z
Let p be (3 - 5 - 3) + 42/7. Is p != 6?
True
Let b = -9.548 + 14.567. Let o = -0.019 + b. Is o != -0.03?
True
Let r be (34/935)/((-6)/5 + -2). Suppose 3*k - 11 = -2*p - 0*k, 5*p = -k + 8. Is r greater than or equal to p?
False
Let a be (6 - 7)/(1/(-12)). Suppose 4*j - a = j. Suppose 0 = -j*f + 2*u - 36, 17 - 3 = -2*f + 2*u. Is f at least as big as -11?
True
Let z = -17 + 25. Let w = 30 - -17. Let r = -143/3 + w. Is r bigger than z?
False
Let x = 8 + -13. Let v = -1/78 - 2333/546. Is x <= v?
True
Let a be 2/(-5) + 17/5. Suppose 4 + 2 = -a*d. Let u = -4 + 3. Which is smaller: u or d?
d
Let x(r) = -r + 28. Let t be x(29). Which is smaller: 14/143 or t?
t
Let n be -3*2 + (-120)/6. Which is smaller: n or -25?
n
Let l(t) = t + 2. Let a be l(-3). Let x be 1 - (a - 3 - -6). Let p be -1 - (1 + (-3 - x)). Is p >= -2/25?
True
Suppose -4*k = 4*y - 40, 4*y + 3*k - 30 = 10. Is y != -10?
True
Let g be 6/8*(-2)/159. Let u be ((-91)/(-39) + -2)*0. Which is smaller: g or u?
g
Suppose 0 = 4*a - 20, 0 = -r - 4*r - 3*a + 175. Let w(f) = f**2 + 7*f + 36. Let l be w(-3). Let q = l - r. Which is smaller: -42/5 or q?
-42/5
Let t = 15 + -15.1. Which is bigger: -139 or t?
t
Let i be ((-3)/54*2)/((-12)/54). Which is bigger: 290 or i?
290
Let f = 33 - 18. Let u = 26 - f. Which is smaller: 9 or u?
9
Let m(u) = u**2 - 9*u - 6. Let o be m(10). Suppose -4*z = -2*z - 2*p - 8, 0 = -o*z + p + 7. Suppose -3*l - 2*b = 17 + z, 2*l = 5*b - 31. Is -8 greater than l?
False
Suppose -4*n = -5 - 15. Suppose g = 4*g + 12. Let b = 8 + g. Is n greater than b?
True
Let f = -136 - -136.2. Let c = 6 + -6.03. Which is greater: c or f?
f
Let x = 0.015 + 40.985. Let f = x + -40.95. Is f greater than 2/11?
False
Let z = -128/5 - -21391/835. Is z smaller than -1?
False
Let m = -1518.54 + 1518. Are m and -1/22 unequal?
True
Let b = 1128 - 856. Is b at least as big as 270?
True
Let z be (30/40)/(1/12). Let p be 65/(-30) + 6/z. Do p and -1 have the same value?
False
Suppose -2*u - 372 = -372. Which is greater: -3/79 or u?
u
Suppose m - b = -3, 5*m - b = b. Suppose 22 = -3*i + 4*q, 0 = -7*i + m*i + 4*q - 26. Which is smaller: -11/4 or i?
-11/4
Suppose 5*i + 11 = 171. Let f be (-44)/14 - (-14)/98. Let a be f - (-1 + (-68)/i). Which is smaller: a or 0?
0
Let h be (6736/(-4028))/(2031/6). Let j = h - -2/677. Let o = j - -6052/5035. Which is smaller: o or 2?
o
Let d = 0.033 - 5.133. Let v = -5.2 - d. Is -2 at least v?
False
Let s(a) = 7*a - 232. Let x be s(33). Is -5/91 >= x?
True
Let h(b) = -b - 18. Suppose -45 = -2*y + 7*y. Let l be h(y). Are l and -9 nonequal?
False
Let r(h) = 2*h - 13. Let f be r(8). Suppose 2*w - 5*p = 7, 0 = -7*w + f*w + p + 23. Let u be 2/10*(-45)/(-2). Do u and w have the same value?
False
Let a = -10 - -7. Let o = -35 - -41. Let l be ((-4)/(-6))/(3 + (-14)/o). Are l and a nonequal?
True
Let a be (1/(-2))/((-2)/12). Suppose -a*h - 5*q - 4 = -11, -5*q = 5*h - 5. Let k be 5*h*(-20)/(-50). Is 2 at least as big as k?
True
Let y(p) = 5*p**2 - 8*p + 19. Let x be y(3). Suppose 2*i - x = 14. Is i != 2/3?
True
Let c = -2 + 2. Suppose -2*f = -2*h, -2*f + 4*h - 10 + 2 = 0. Let z be -8*(-2)/(-420)*6/f. Which is bigger: z or c?
c
Let h = -0.0468 + 20.0468. Does h = 0.01?
False
Let y = -0.17 - -0.27. Which is smaller: 2.22 or y?
y
Let g be 13/(-330) - (-9)/(-180)*-2. Is 1 less than or equal to g?
False
Let i be (-148)/(-342) + (-2)/9. Suppose -2*s - 3*s - s = 0. Which is bigger: s or i?
i
Suppose -6 = -6*y + 6. Suppose -d - 2*t = -24, 3*d - y*t + 126 = 7*d. Is 34 bigger than d?
False
Let d = -1298/63 + 170/9. Is d less than or equal to 0.2?
True
Suppose 7*t = 3*t - 0*t. Suppose j - 4*x = 20, -3*x = j + x + 20. Let o be (2 - j)*3/21. Which is bigger: o or t?
o
Let g = -1 + 1. Let q = g - 1. Let t = 2.081 - 0.081. Which is greater: t or q?
t
Let x(d) = d**3 + 2*d**2 + d - 1. Let n be x(3). Let a(j) = j**2 - 13*j - 43. Let s be a(18). Are s and n unequal?
False
Suppose -5*s = 0, z + 4*s - 2 = 1. Which is bigger: z or 0.3?
z
Suppose -5*g + 4*m - 20 = 0, 3*g + 5*m + 19 = 7. Let y = 22 + -8. Let q = 10 - y. Is g at most q?
True
Let v be (-168)/9*(-9)/6. Suppose 2*b = -5*b + v. Is b != 6?
True
Let r = -1.61 + 0.01. Let p = r - 1.4. Is -3/5 >= p?
True
Let b(f) = -f**3 - 14*f**2 + 33*f + 17. Let q be b(-16). Is -0.02 at least as big as q?
False
Suppose -2*s = 2*s. Suppose 0 = -26*c + 33*c - 42. Let r be (-5)/(-20)*16/c. Is r at least as big as s?
True
Let r(t) = -11*t + 47. Suppose -2*h + 3*h = 8. Let u be r(h). Is -42 at most as big as u?
True
Let i = 364 - 359. Is -2/11 != i?
True
Let z = -216.9 + 216.4. Which is bigger: 14/17 or z?
14/17
Suppose -4*i - 49 = 51. Is -183/7 at least as big as i?
False
Let x be ((-665)/(-57))/(1/3). Suppose -4*r + 3*r + 35 = 0. Is x != r?
False
Let p = 0.11346 - 0.21346. Let r = 100/3 - 1499/45. Is r less than p?
False
Le