an or equal to m?
True
Let w = -142 - -283. Is 141 < w?
False
Let v = -371 + 969. Which is smaller: 599 or v?
v
Let r(u) = u + 77. Let v be r(37). Is 114 at most as big as v?
True
Suppose 0 = 3*d - 4*x - 46, 0 = 2*d + 5*x - 0*x. Let r be 2*(-18)/(-12)*18/d. Is r >= 5?
True
Let o(g) = g**2 + 4*g - 15. Let d be o(-7). Suppose 8*p = 26 + d. Is p bigger than 21/8?
True
Let k(c) = 1 + 1 - 2*c - 2 + 4. Let t be k(1). Which is greater: -0.2 or t?
t
Let x = -1089/2 - -20687/38. Suppose -2*g - g + 6 = 0. Let f = g - 4. Are f and x non-equal?
True
Suppose 2*f - 5*j + 21 = -0*j, -2*f - 4*j + 24 = 0. Suppose 3*m - 4 = -4*t, m = t - f + 1. Are t and -3/14 equal?
False
Let n = 86 - 67. Which is smaller: 16 or n?
16
Let t = -8/245 + -97/245. Is 46 smaller than t?
False
Let y = 314 - 876. Is -561 at least y?
True
Let a = -1 + 0. Suppose -2*p - 5*o + 371 = 0, 3*o = -4*p + 3*p + 186. Let g be (-10)/(-2) - p/39. Which is smaller: a or g?
a
Let l(s) = -s**3 - 7*s**2 + 2*s - 2. Let d be l(-7). Suppose 52 = -4*a - 5*f, 5*a = -3*f + 4*f - 94. Let b = d - a. Which is greater: 1 or b?
b
Let k be 1 + 4 + 2 + -3. Suppose 5*r + 1 = -k. Is r > 3/7?
False
Let l be (0 - 3)*2/3. Let y(s) = 12*s - 6. Let q be y(5). Let m = q + -62. Do m and l have the same value?
False
Let c = 12.205 + -12.3. Let w = 0.295 + c. Let b = 14 - 6. Which is smaller: b or w?
w
Let d be 120/(-9)*(-6)/212. Let s = -512/795 + d. Which is smaller: s or -1?
-1
Suppose 10 = 2*h - 2*j, -2*j - 12 = -2*h - h. Suppose i - 1 = -h. Let a = 740/77 - 66/7. Which is smaller: i or a?
i
Let w be 2*(-1)/4*-2*1. Which is bigger: -1/221 or w?
w
Let j = -2565/4 - -366823/572. Do 0 and j have the same value?
False
Let n be (-3)/12*1 - (-7272)/32. Is 1 at most as big as n?
True
Let h(b) = -b**3 - 8*b**2 - 4*b - 26. Let n be h(-8). Suppose n*t + 1 = -3*l + 10*t, -4*l = -4*t. Which is smaller: 3/8 or l?
3/8
Let r(z) = z**2 + 11*z - 12. Let q be r(-12). Suppose 2*a - 6 = q, -5*w + 2*a = 3*a - 28. Suppose 0 = 2*s + b - 17, -w*s + b + 4*b = -5. Is 6 bigger than s?
False
Let d(a) = 12*a - 27. Let v be d(5). Which is bigger: v or 35?
35
Let g be (0 + -72)*10/(-40)*6. Is 108 equal to g?
True
Let z = -4/843 + -454361/3372. Let y = z - -134. Let o(b) = b - 5. Let l be o(5). Is y != l?
True
Let o(c) be the second derivative of c**5/20 - 5*c**4/12 + c**3/3 - 7*c**2/2 - 24*c. Let d(x) = -x**2 - 5*x + 5. Let j be d(-5). Let i be o(j). Is 3 equal to i?
True
Suppose 1260 = 2*z + 1250. Are z and 0.5 nonequal?
True
Let l(a) = -a**2 - a + 1. Let f be l(-1). Let n = f + -5. Suppose 40*u - 42*u = 8. Is n less than or equal to u?
True
Suppose -206 = -3*q - 2*m, -8*q + 335 = -3*q - 5*m. Which is greater: q or 205/3?
205/3
Suppose 0*z + 9*z - 342 = 0. Let f = z + -38. Which is greater: f or -4?
f
Suppose -24 + 27 = 3*c. Let q = -28/31 + 638/775. Is q <= c?
True
Let f = -60189 + 6680902/111. Let a = -1/37 - f. Is a greater than 7?
False
Let a(p) = -3*p**2 - 12*p - 4. Let g be a(-7). Let o = 120 + g. Suppose -o = -2*h + 7. Is h >= 30?
True
Let s = -1152 + 1151.713. Is -2 <= s?
True
Let s = 757 + -501. Is s greater than or equal to 254?
True
Suppose 5*y + 0*y = -c + 46, 2*c + 2*y = 92. Which is bigger: c or 2?
c
Let l = -361/1074 + 1/358. Let f = 785/6 + -130. Which is smaller: l or f?
l
Suppose 3*m + 56 = s - 44, 4*m + 5*s = -108. Is m greater than or equal to -159/5?
False
Let m be 3*2*(-50)/(-60) - (-218)/(-2). Suppose w + 3*w + 412 = 0. Which is smaller: w or m?
m
Let h(l) = -5*l + 6. Let x be h(2). Let k be (x/(-10))/((-3)/6). Suppose -o - 16 = 4*n + 3*o, n + 4*o + 16 = 0. Which is smaller: k or n?
k
Let q(l) = 2*l**2 - 2*l. Let j be q(7). Suppose -j - 12 = 4*x. Does x = -24?
True
Let r be 46 + -39 + 212/(-1). Which is bigger: r or 0?
0
Let x(o) = -o - 11. Let y be x(-9). Let a be y + (-24)/(-6) + -3. Is a at least 2/165?
False
Let m be (-105 - -3)*(-4)/6. Let b be 26/117 + m/18. Suppose 3*g = b*g + 4. Is -4 less than or equal to g?
True
Suppose -k + 2 - 1 = -2*m, -2*k = 3*m + 33. Is k < -12?
False
Let a be (-51)/(-2771)*359/(-3). Let u be (-2)/(-10)*(-4)/(-326). Let l = u + a. Is l at least as big as 1?
False
Suppose l = 84*o - 85*o - 1, 4*l + 39 = 3*o. Is l less than or equal to -185?
False
Let y(k) = k + 21. Let r be y(0). Let n = r + -20. Let h be (5/(-5))/(n/(-5)). Is 7 smaller than h?
False
Suppose 4*h + 1 = -q, 0 = -5*h + 7*h - 2*q + 8. Which is greater: -2/2621 or h?
-2/2621
Let g = 17 - 17. Suppose s + p = -g*p - 29, -p = -3*s - 99. Let d = 29 + s. Which is greater: d or -2?
-2
Suppose -m + 6 = -2*u, 4*u + 7*m - 2*m = -40. Let s(l) = -l**3 - 4*l**2 + 5*l + 1. Let f be s(u). Let i be 1 + -4 - (3 + 46/(-7)). Is f less than or equal to i?
False
Let f = -12 - -15. Suppose -3*y = -0*y + f, -4*y - 72 = 2*m. Let z = m - -34. Is 16/7 greater than z?
True
Let x(z) = -z**2 + 13*z + 88. Let n be x(18). Is -40/77 not equal to n?
True
Suppose -4*i + 49 = 3*y, 4*y - 26 = -4*i + 42. Let v(p) = p - 17. Let f be v(y). Which is greater: f or -0.06?
f
Let a(q) = -q**2 - 18*q - 35. Let j be a(-16). Let y be -2*(-15)/24*(j + -3). Is -9 >= y?
False
Suppose 162*p = 135*p - 3618. Is -138 at most as big as p?
True
Let h(t) = 23*t**2 - 2*t - 14. Let i be h(-4). Let o = -1804/5 + i. Let z(b) = b**2 + 2*b - 2. Let g be z(-3). Which is bigger: o or g?
o
Let w be (-1 - 1)/(6/3). Let f be (-2)/((-20)/(-12) + w). Let s be (2/f)/(8/12). Which is smaller: 1/10 or s?
s
Let s be (-986)/87*6/(-4). Which is bigger: 15 or s?
s
Let o = 0.817 - 0.077. Let d = 0.84 - o. Which is greater: -3 or d?
d
Let t = -347216/147 + 2362. Let k = -0.5 - -0.5. Is t at least as big as k?
False
Suppose 0 = 3*l - 4 - 14. Let z be l/(-21) + (-4)/(-14). Let b = -560 + 6166/11. Which is bigger: b or z?
b
Let b = -6311977/5 - -271517141/215. Let q = -475 + b. Which is bigger: q or 0?
q
Let g(d) = -d**2 + 4*d - 5. Let j be g(4). Suppose -66 = -5*h - 81. Is h not equal to j?
True
Let t = 8 - -16. Let r be t/12 - (0 - 1). Let i be r - (2/(-1) - -2). Which is greater: 2 or i?
i
Let h = 0.04 + 0.06. Let l = 3316.07 + -3299. Let i = -17 + l. Which is smaller: h or i?
i
Let c = -51.7 + 250.7. Is 2/5 at least c?
False
Let u(v) = v**2 + 18*v + 46. Let d be u(-18). Is d > 49?
False
Let h be (17/(-102))/(4/14414). Suppose 462 = 2*g + 1664. Let i = g - h. Which is bigger: i or 1?
1
Let d = -0.0179 - 1.9821. Which is bigger: d or -3/8?
-3/8
Suppose 10 = 3*f + x, f + 4*x + 30 = 3*f. Let o be (f/(-3))/((-11)/(-33)). Suppose -27 + 9 = 3*a. Which is smaller: o or a?
a
Suppose 2*v - 2 = c + 17, 0 = 2*c + 2*v + 62. Is c at least -27?
True
Let f = -0.1 - -0.1. Let q(z) = -z**2 + 0 + 11 + 19*z - 7*z. Let g be q(13). Which is greater: g or f?
f
Suppose -3*y - 4*y = -21. Suppose y*z = 2*p + 2*p - 4, -4*p + 4 = 3*z. Is p > 0?
True
Let l = 303 - 163. Let q be (-2)/68*(-30 + 4792). Let k = l + q. Which is smaller: -1 or k?
-1
Suppose -156 = 2*n + 5*j + 5, -73 = n + j. Does n = -68?
True
Suppose -11 = -65*p + 64*p. Suppose 5*l - 27 + 7 = -5*g, 3*g = -2*l + p. Is l at most as big as 3/34?
False
Suppose 1296 = 36*m - 9*m. Is m smaller than 51?
True
Let m = 0.272 + 11.728. Is -7 bigger than m?
False
Let l = -279 + 275. Is 29 less than l?
False
Let u = 283 - 297. Which is smaller: -29/2 or u?
-29/2
Let q = 8926205 + -4605939715/516. Let p = q + 139/4. Which is smaller: p or -1?
-1
Let w = 0.23 + -0.1. Let f = -12.17 - -12.07. Does f = w?
False
Suppose 16*b - 11782 = 102*b. Is -140 at most b?
True
Suppose -4*f - f + 15 = 0. Suppose -3*y + 4*a - 2 = 3*a, 3*y + 4 = -a. Let i be ((-2)/2)/(y/3). Are f and i equal?
True
Let j(a) = -4*a**2 + 19*a + 8. Let n be j(6). Which is bigger: n or -14?
-14
Let f = 12.8 - 12.7. Is f not equal to -85?
True
Suppose -1 = 3*w - t, -w - 3 = -2*w - 3*t. Let m(f) = -2*f**2 - 2*f + 5. Let a be m(w). Is 7 at least as big as a?
True
Suppose q = 3*q. Let r = 27 - 30. Let d be ((-5)/(-20))/(r - 10/8). Is q equal to d?
False
Let o be 42/(-4)*-2*24/28. Suppose o = -2*b - g, 0*g + 20 = -5*g. Is b > -31/4?
True
Let x be 4330/8740 - 2/4. Which is greater: x or 1?
1
Let y = -25 - -5. Let x be 25/y + (-2)/(-8). Let c be (-1*(x - -1))/1. Which is smaller: c or 3/13?
c
Let r be 54/(33/6 + -4). Let w be (-24)/(-7) - (3 + r/(-14)). Suppose y = -0*y + 3. Is w at least as big as y?
True
Let g = -891 + 889. Which 