aller: -216 or a?
a
Suppose -12*o - 700 = -2*o. Let i be (-1338)/(-21) + (-20)/o. Suppose g + i = 5*g. Does g = 76/5?
False
Let r(l) = -l + 8. Let k(v) = v - 9. Let j(s) = -4*k(s) - 5*r(s). Let m = 203 + -203. Let z be j(m). Is z at least -6?
True
Let f(r) = r - 2. Let k be f(5). Let o be 1/(-6) - (-29)/k. Let j(a) = -a + 13. Let i be j(4). Which is smaller: o or i?
i
Let q = -31517 - -31515. Is q not equal to -28/9?
True
Suppose -14*f + 1738 = 30. Let l = 107 - f. Let v be (-7)/35 + 342/l + 1. Which is smaller: v or -19?
v
Suppose -25577 - 20533 = -53*m. Which is smaller: m or 871?
m
Let g(s) = s + 1. Let k(h) = 5*h - 5. Let o(v) = 4*g(v) - k(v). Let n be o(7). Let c(r) = r**2 + 17*r + 20. Let m be c(-16). Which is smaller: n or m?
n
Let z(u) = 46*u + 599. Let l be z(-13). Is l less than or equal to -1/2358?
False
Let i = -17 + 65/4. Let v be (-37 - 3)*1/(-2). Is i bigger than v?
False
Suppose 11*h = 3*h - 3*v - 227, 3*h - v + 83 = 0. Suppose -3*a - 63 = -3*u, -a + 39 = -3*a + 3*u. Which is greater: a or h?
a
Let s = -499 + 1642. Which is bigger: -2 or s?
s
Let h(a) = -9*a - 144. Let x be h(-16). Which is smaller: x or -6/175?
-6/175
Let p be ((-81)/(-54))/((-2)/(-4)). Suppose -129 = -y + 8*m - 5*m, -5*y + 681 = -p*m. Which is smaller: 139 or y?
y
Let h be 105912/16*(-2)/(-1)*48/72. Is 8828 > h?
True
Let z(k) = -71*k. Let x be z(0). Which is bigger: x or -4/685?
x
Let m(t) be the second derivative of t**5/20 + 13*t**4/12 + 4*t**3/3 + 5*t**2/2 + 4*t + 2. Let a be m(-6). Which is smaller: a or 210?
a
Let c = 181 - 182. Let p be (-35)/7 - (-1)/c. Is p greater than 4?
False
Let c = -21041 + 21433. Is c > 1954/5?
True
Let p(s) = -2*s**2 + 12*s - 16. Let l be p(4). Is -14/25 greater than l?
False
Suppose 261 = 11*s + 371. Let j be -114*((-4)/s + (-256)/240). Is j less than or equal to 78?
True
Let i be 10/(20/(-151))*4/(-14). Which is smaller: 23 or i?
i
Let f(j) = j**2 + 2*j - 3. Let u be f(6). Suppose 6*o = -14*o + 920. Are o and u non-equal?
True
Let r be (2/8)/(-9*(-14)/329364). Let x = -655 + r. Which is greater: 5/18 or x?
5/18
Let l = -925 + 513. Let j = l - -431. Which is smaller: j or 33?
j
Let t = -1964 - 176. Which is greater: -2139 or t?
-2139
Let p = 5729 - 45823/8. Let r be ((-3)/9)/(5/6). Which is smaller: r or p?
r
Let o = 247.49 - 54.49. Is -1 less than or equal to o?
True
Let i = 2915 - 2475. Which is greater: i or 877/2?
i
Let x be (102/(-14) - -9 - 2)*419. Which is greater: x or -119?
-119
Let w be ((-2)/4)/(-2*(-1189)/(-8)). Let l be (247252/(-35670) - -3) + 3. Let i = l - w. Is i equal to -2?
False
Suppose -2*h + 6*h + 3*k - 2482 = 0, -2*h + 1234 = -2*k. Suppose -5*b = 2*d - h, 6*b = 2*b + 2*d + 506. Which is greater: 124 or b?
b
Let d(u) = -u**2 + 11*u + 4. Let m be d(6). Let r = m + -39. Let i be r/2*24/135. Which is greater: i or 0?
0
Let w be ((-8)/(-28))/((-8898)/1113 - -8). Is w not equal to 75?
True
Suppose 165 = 2*c + 599. Let y = c - -382. Let f = -657/4 + y. Which is smaller: 0.3 or f?
0.3
Let k(p) = 9*p**3 - 8*p + 653. Let n be k(0). Is 653 greater than n?
False
Let w = -22.45 - -0.45. Suppose 9*v = 6*v + c - 21, 5*v + 2*c + 35 = 0. Let z be (0*1/v)/(-3). Which is smaller: w or z?
w
Suppose 41*w + 314 = y + 36*w, -2*w - 660 = -2*y. Suppose -338*b + y*b = 0. Is b less than -64?
False
Suppose -625*b + 100009 = -612*b. Let v be b/111475 - 4/50. Is 1 at least as big as v?
True
Let r(i) be the first derivative of -3*i**2/2 - 5*i + 22. Let l be r(-1). Which is smaller: l or 0.57?
l
Suppose 304*b = 310*b + 12. Let q be (-38)/(-19) + 186/201*b. Is q at most as big as -1?
False
Let g = 91249.9915 - 91217. Let r = 0.0085 + g. Is r at most as big as 2?
False
Let b = -10 + 16. Let h = -651 - -658. Let m = h - b. Do m and 3 have the same value?
False
Suppose 5*o + 311 = 276. Let s(v) be the first derivative of v**2/2 + v + 1. Let u be s(o). Is -6 less than or equal to u?
True
Let r be -1 - -3 - 0 - -8. Suppose -3*j - 18 = -5*w + 2*w, -5*j + 3*w - 26 = 0. Let f be ((-13)/j - 1)*4. Which is bigger: f or r?
r
Let t = 109 - 91. Let d be 15*(3 - t/5). Let g = d - -9. Is -4/13 <= g?
True
Let h be (24/156 - 19/39)*-45. Suppose -h*y = -10*y - 5. Let u = -271 + 9488/35. Which is greater: u or y?
y
Let p = -78.59 + 61.59. Which is greater: p or -109?
p
Let i = 110 - 58. Let p = 285 + -568. Let d = p - -334. Which is smaller: i or d?
d
Let f be (-1504)/(-4194) + (-56)/1890*15. Which is greater: 1 or f?
1
Suppose 144 + 270 = 9*c. Suppose -2*q - 32 = -5*k - 9, -k + c = -5*q. Is q greater than -9?
False
Let c = 25830 + -25810. Is 1042/53 at least as big as c?
False
Let z be (2*3/(-2))/((-2364)/(-1200) + -2). Which is smaller: z or 494/5?
494/5
Suppose -10 = -6*r - 82. Let u(c) = -c**2 - 8*c + 52. Let s be u(r). Suppose -3 = -3*q - s*j, q + 3*j - 4 = -3. Which is smaller: q or -1/2?
-1/2
Let x = -1599.3 + 1599. Are x and -1.628 non-equal?
True
Suppose -3*u = -5*u - 2*p - 4, 5*u + 3*p = 0. Suppose 8 + 5 = m + 5*l, -u*l + 6 = 0. Suppose -2*q = v - 1, -q = -2*v - 1 + m. Which is greater: 1/2 or v?
v
Let p(f) = f + 10. Let l be p(-6). Suppose -l*w + 2*u = 5*u + 4, u + 2 = -w. Let g be w/(-4)*(-52)/(-3). Is -10 < g?
True
Let d(c) = c**2 + 9*c + 10. Let w be d(-1). Suppose 0 = -2*q - r - w, -5*q - 3*r - 3 = -r. Is q != 2/87?
True
Suppose -q = -151*x + 154*x - 81407, -2*x = -3*q - 54242. Is 27132 smaller than x?
True
Let t = -351761/589 - -11607/19. Let j = -31159/2294 + t. Is j less than 0?
False
Let k be (54/(-12) + 5)/(67*7). Let v = -5861/1407 - k. Which is smaller: -4 or v?
v
Let z(t) = 5*t + 41. Let s be z(-7). Let h = 111 + -73. Suppose h = 4*w - 5*b, 5*w - s*b = -2*b + 52. Is 1/4 smaller than w?
True
Let u = 180 + -147. Suppose -11*g + 8*g = u. Which is smaller: -1 or g?
g
Let j = -30073 + 32712. Does j = 2637?
False
Let d = 0.41 - 0.24. Let x = 304 + -507. Let b = 202 + x. Which is bigger: d or b?
d
Let r = -37 - -38. Let x = 6/5 + r. Are 8 and x equal?
False
Let d(b) = 8*b - 3*b**2 - b**3 + 3*b**2 + 9 - 9*b**2 + 6*b**2. Let o be d(-4). Is o less than or equal to -15?
False
Let o(k) = k**3 + 20*k**2 - 43*k + 26. Let h(q) = -q**2 + 16*q - 50. Let c be h(14). Let a be o(c). Which is smaller: 48/11 or a?
a
Let x = 5739 + -6568. Are x and -831 equal?
False
Let r = -25 - -28. Suppose -2*k - 5*s + 7 = -14, -2*s = -k - r. Suppose -k*o = 2*w - 5*o, 5*w + 4*o = -9. Are -13/6 and w equal?
False
Let o = -1.2 - 2.8. Suppose -2 = 2*i + 2*v, -23*v + 28 = -4*i - 19*v. Is o at least as big as i?
True
Let u be (-156 + 155)*1*-249. Which is greater: u or 43?
u
Let a be (-91 - -88)*(-34972)/(-12). Which is greater: a or -8745?
a
Suppose -951 = 5*p + 4*x, 0 = -p + 3*x + 11 - 224. Which is bigger: p or -204?
p
Let l be ((-180348)/182)/6 + 2/13. Do l and -174 have different values?
True
Let m = 22.61 + -22.81. Is m smaller than 617?
True
Let g(o) = -5*o - 71. Let q be g(-14). Let x be 13 + (q - (2 - 7)). Let w be (3 + x/(-5))/((-21)/(-280)). Is w > -6?
True
Suppose -4*r - r = 0. Suppose -40*n + 34*n + 36 = r. Let b be -2 + n - ((-8)/(-9) - -3). Which is greater: -1 or b?
b
Let j(g) = -1. Let s(w) = w. Let m(b) = 5*j(b) + s(b). Suppose v + 10*v + 7*v = 0. Let n be m(v). Do n and 3 have the same value?
False
Suppose -2*s + 263 = -s. Let v = 1188/47 + 22205/94. Which is bigger: v or s?
s
Let l be (4/16 + (-20)/16)*92. Let z = 83 + l. Which is bigger: -13 or z?
z
Suppose -4 + 0 = 4*k. Suppose -4*j - 1 = -3*j. Let c be (-3 + 4)*0/j. Is k less than c?
True
Let u(m) = 75*m**2 + 3*m + 4. Let i be u(-1). Let c be (-2)/(-3)*(-1026)/i. Which is greater: -14 or c?
c
Suppose -14*n + 9477 = 13*n. Which is greater: 349 or n?
n
Suppose 3*n + 40 = 4*d, 3*d = -0*n + 2*n + 31. Suppose -4*b = -3*j - 13 - d, b = -1. Let f be 2 + ((-2)/(-6) - j/(-3)). Is f at most 4/9?
True
Let f = 20492 + -20497.0044. Let t = f + 0.0044. Let m = -2 - -12. Is t at least m?
False
Let a(v) = -v**3 + 8*v**2 + 7*v + 5. Let q be a(7). Let r = 106 - q. Suppose 4*i = 1 - 5. Which is smaller: r or i?
i
Let i = -122 - -119. Let k be (-2067)/(-33) - (-6 - -10). Let m = -61 + k. Which is smaller: i or m?
i
Suppose -74*m - 270 = -83*m. Suppose 20*v = m - 50. Let k be 37/33 + 0 - 1. Are v and k unequal?
True
Suppose -40 - 16 = -28*t. Let y = -65 - -57.9. Let a = y + 7.43. Is a at least t?
False
Suppose -2 + 0