er: f or 563?
f
Let r = -64 + 64. Let f be 1/21 + r + 0. Let o = -10 - -10. Is f bigger than o?
True
Suppose 0 = p + 6 - 7. Let i = 3713/52 - 1432/13. Let n = i - -39. Is p > n?
True
Suppose 6*q - 9*q = -33. Suppose -6*u + 52 + 14 = 0. Is q at most u?
True
Let j(q) = -q**3 - 11*q**2 + 21. Let m be j(-11). Suppose m*t - 14 = 7*t. Is -2/263 greater than t?
False
Let v(y) = 2*y + 9. Let o be v(-7). Let g = -613 - -609. Is o >= g?
False
Let s = 100 + -100. Which is bigger: -9/139 or s?
s
Suppose 3*n - 12 = 0, n + 18 = -4*f + 170. Let g = f + -36. Is -2/53 != g?
True
Let z(x) = 8*x**3 - 4*x**2 - 1. Let d be z(-3). Let r = 1525/6 + d. Let s = -5/6 + r. Do -17 and s have the same value?
False
Suppose -4 = -2*t + 2*z, 11*t = 14*t - z - 4. Is t greater than -1/323?
True
Suppose 3*a + 4419 = 4086. Which is smaller: a or -108?
a
Suppose 4*d + 12 = 8*d. Suppose 19 = -d*a - j - 3*j, 4*a = -j - 8. Is -8/13 at most a?
False
Let f = -296 + 262. Is f at most -36?
False
Let b = 565 - 553. Suppose -6*w = -4*w - 18. Which is smaller: w or b?
w
Suppose 8 = b + b. Suppose 5*k = 3*r + 1, -2*r - 3*k = -6*k. Suppose -9 - 9 = -r*h. Is h > b?
True
Let b be 425/(-315) + (-16)/(-28). Let a(z) = -z**3 + 8*z**2 - 2. Let t be a(8). Which is smaller: b or t?
t
Let s = 34.7 + 147.3. Is 0 less than or equal to s?
True
Let w = -9 + -123. Are -131 and w nonequal?
True
Let a = 3633 + -50653/14. Let k = 15 - a. Which is smaller: k or 0?
0
Let r(w) = 2*w + 19. Let o be r(-6). Let t be 3/2 + 26/4. Is t bigger than o?
True
Let i(d) = d**2 - 17*d + 19. Let c be i(16). Suppose 5*l = 4*s + 251, -c*s + l + 292 = -8*s. Is s at least -60?
True
Let p be (28/42)/(2/(-17)). Let o = p + 4. Let a = -4 - -2. Which is greater: a or o?
o
Suppose -5*z = 3*w + 26 - 1, -3*w = 3*z + 9. Let n(v) = -282*v - 1979. Let i be n(-7). Which is greater: z or i?
i
Let q = 1.93 + -2.07. Which is smaller: -1 or q?
-1
Let y = 2741 - 2689. Do 660/13 and y have different values?
True
Let s be -5 + 7 + -2 + 0. Which is smaller: -9/19 or s?
-9/19
Suppose 10 = 5*y, 5*r - 388 = -2*y - 39. Suppose 0 = 163*v - 168*v + 350. Is r greater than or equal to v?
False
Let w be (-2 + 3/2)/((-8)/(-32)). Which is smaller: w or -1?
w
Let o = -72 + 71. Which is smaller: o or 2/263?
o
Let h = -721 + 12256/17. Let v(b) = 2*b**2 + 4*b - 1. Let u be v(-3). Suppose -u*z - 2 = 3. Which is smaller: z or h?
z
Let d = -976 + 972.995. Let a = -0.005 - d. Which is smaller: a or -0.01?
-0.01
Let z = 52 + -53.3. Let h = z - 0.4. Which is smaller: h or 2?
h
Let b(o) = o**3 + 11*o**2 - 12*o - 4. Let w(z) = 4*z - 4. Let y be w(-2). Let i be b(y). Let s be (-4)/2 - (i - -2). Is s at most -2/13?
False
Let k = -122 + 120. Are -36/13 and k unequal?
True
Suppose 0*k - 10 = -5*p + 3*k, 3*k = 3*p. Suppose -9*y + 24 = -p*y. Are 4 and y non-equal?
True
Let h = 5.7 + -8.3. Let b = h - -2.5. Is -16 less than b?
True
Suppose 5*i + 14 = 34. Suppose i*d + 12 = -5*t - 9, 2*t + 6 = -4*d. Which is smaller: -2/51 or d?
-2/51
Let m be (8/(-6))/(12/54). Let f be (m/36)/(2/6). Suppose 1 = -8*l + 9. Is l != f?
True
Suppose 3 = 3*c, 0*c - 63 = -3*h + 3*c. Suppose 0 = w - h + 3. Does 19 = w?
True
Let k = -5 + -12. Let r = k - -17.1. Let d = -0.1 + r. Is d at least as big as 0.3?
False
Let p = 0.04 + 1.56. Let m = 50 + -50. Is p < m?
False
Let h be (-1 + 1434/12)/(-12). Which is smaller: -9 or h?
h
Let d = -3.6 - -0.1. Let i = d - 15.5. Let t = i + 18.9. Is 3 <= t?
False
Let w = -312.52 - -23.52. Is w less than or equal to -1?
True
Suppose 3*p - 145 = -0*s + 5*s, -4*p - 110 = 5*s. Let l be (-128)/(-13) - 4/s. Let g be -3 + 1/(-3)*-33. Which is smaller: l or g?
g
Let k(j) = -5*j + 109. Let b be k(7). Do b and 71 have the same value?
False
Suppose 7 = 5*g + 2. Suppose -2*t = g - 11. Suppose 3*v - t*v + 32 = 0. Is 16 smaller than v?
False
Let w be (-42)/(-8) - (-10)/(-40). Suppose 150 = w*b - 90. Are b and 49 equal?
False
Let x = -57 + 44. Which is smaller: x or -1/8?
x
Let g be -2 + (-9)/(-4)*14. Let k be 90/4*(56/(-6))/(-7). Let h = g - k. Is h at least as big as 1?
False
Suppose 4*l - 5*g - 2 - 10 = 0, -2*g - 15 = -5*l. Suppose -l*b = 11 + 4. Which is smaller: b or -1?
b
Let m(b) = -b**2 - 7*b + 17. Let n be m(-8). Let r = -23 - n. Which is greater: r or -33?
r
Let p(c) = 5*c**2 + 6*c + 1. Let m(t) = -14*t**2 - 18*t - 2. Let z(j) = -4*m(j) - 11*p(j). Let y be z(-7). Suppose y*d = 3*d - 1. Does d = -1?
True
Let t = 52 - 37. Let l be 15*((-50)/t + 2). Which is bigger: -19 or l?
-19
Let r = 161 - 108. Which is smaller: r or 57?
r
Let k = 0.34 - 0.84. Which is smaller: k or -4/33?
k
Let a = -27/197 + -5569/13987. Let x = -434/781 + a. Suppose -f = 4*c - 56 + 50, 3*c = -3*f. Is x != f?
True
Suppose -4*h - 72 = x, h - x + 80 = -3*h. Let m(r) be the second derivative of -r**4/12 - 19*r**3/6 - r. Let d be m(h). Is d greater than -7/9?
True
Suppose 5*r - 150 + 15 = -2*y, r = -y + 60. Suppose -y*w + 62*w = -21. Is 8 not equal to w?
True
Let l(v) = -v + 2*v - 3*v**2 + 4*v**2 + 2*v. Let w be l(-3). Is w not equal to 8?
True
Let u(j) = -j**2 - 9*j + 13. Let m be u(-10). Let h be 6/(3/(-12)*-6). Let w be (-3 + 6)*h/6. Are w and m equal?
False
Let x = -1804 + 239938/133. Is -1 at most x?
True
Let l = -12.09 + 12. Let m = 4.91 - l. Let o = m + -5. Which is bigger: o or -2/5?
o
Let o = 17323/45 - 385. Let l = -0.0363 - -22.1363. Let x = l + -22. Are o and x nonequal?
True
Let z(q) = -q + 4. Let k be z(5). Let x be ((-48)/(-9))/(k/(-3)). Let c be (12/x)/((-6)/4). Is c > -1?
True
Let l = -9 - -21. Suppose -4*f = -2*f - l. Let q be 4/(-6) + f/9. Is -2/39 less than q?
True
Let i(b) be the first derivative of -b**2/2 - 2*b - 4. Let p be i(-3). Let x(v) = v**2 + 3*v - 2. Let o be x(p). Which is smaller: -1 or o?
-1
Let k = 248 + -746/3. Let u(w) = -31*w**2 + w. Let r be u(-1). Is k at most as big as r?
False
Let j = 3.64 + -0.34. Let m = j - 4.7. Which is smaller: 2/7 or m?
m
Let k be (-2*(-10)/16)/((-13)/(-156)). Let m be 12/30 - ((-378)/k)/(-3). Is -28/3 >= m?
False
Let a(j) = -2*j**2 - 3*j + 8. Let w be a(4). Let g be (-9)/w*-3*2. Which is greater: g or -2?
g
Suppose -2*u + s = -30, 5*s - 4*s = 4*u - 62. Let m be (-30)/u*8/(-20). Does m = 0.2?
False
Let s = 21988/1233 + -38/137. Is s less than 19?
True
Let r be (0 - (-4 + -2)) + -7. Which is smaller: r or -3/34?
r
Let y be (-353*(-5)/(-10))/((-2)/(-4)). Which is smaller: 1 or y?
y
Let v(y) = -2*y**2 + 22*y + 24. Let c be v(12). Let d be 1/2 - 5/11. Is d not equal to c?
True
Suppose i + 5*t = 36, -1 = 2*i - 5*t + 2. Let y be i + -10 + 238/(-242). Which is smaller: y or 0?
0
Suppose 5*f - 25 = 0, 3*w - 2*f + 12 = 2. Suppose -5*c = -w*d - d - 25, 2*c - 10 = -d. Is d at least 2/17?
False
Let h = -58.1 + 58. Let b = 76 + -20. Which is smaller: h or b?
h
Let o be (-1 - 0)*(-29 + 12)/(-17). Is o at most as big as -9/377?
True
Let w = -3 - -23. Suppose -4 - w = 4*z. Do z and -8 have the same value?
False
Let k = 372 - 372. Let b be (-1)/(-2) + (-36)/200. Which is greater: k or b?
b
Let a = -31 - -88. Let d = 57 - a. Let s(n) = n - 3. Let c be s(4). Which is greater: c or d?
c
Suppose 0*z = 3*z. Let g = 141 + -141.2. Which is bigger: g or z?
z
Suppose 0*u - 4*u + 208 = 0. Let v = 57 - u. Which is smaller: 11/2 or v?
v
Suppose -i - 193 = -5*z + 2*i, -z + i + 37 = 0. Are 39 and z equal?
False
Let a(x) be the first derivative of -x**4/4 + 3*x**3 + x**2 + 6*x - 3. Let s be a(9). Let f be (3425/274)/((-1)/(-2)). Is s smaller than f?
True
Let p be (-2)/7*19/2318. Which is bigger: p or -1?
p
Suppose 0 = 5*u + 5*n - 50, -4*n + 3 = 2*u - 23. Let w be u - 3 - (-75)/(-19). Is w bigger than 1?
False
Let l be (-4)/(-34) - (-68375)/(-6800). Is -9 bigger than l?
True
Let t = 20 - -66. Let x = -85 + t. Which is smaller: x or 14?
x
Suppose -2*v = -3*i + 7 + 5, -2*i + 8 = -4*v. Let x be (-301)/(-420) + (-1)/(-5)*-4. Which is greater: v or x?
v
Let h = 18 + -40. Let v = h - -21. Is -53 at least v?
False
Let c(p) = p**3 - 46*p**2 + p - 123. Let l be c(0). Are -866/7 and l non-equal?
True
Let x = 4.11 + -0.11. Suppose 2*s + 2 = 8. Which is smaller: x or s?
s
Suppose -45*y + 43*y - 56 = 0. Let g be y/42 + ((-44)/(-9))/(-2). Is g > -4?
True
Let p be (-3)/10 + 1/(-10)*-2973. Which is smaller: 300 or p?
p
Let q(t) = -6*t - 29. Let d(l) = 2*l + 10. Let k(s) = -8*d(s) - 3*q(