
j
Let j = -796 - -798. Which is greater: j or -16.4?
j
Let b be 14 + -10 + 223222/429*6. Let i = -3126 + b. Let h(v) = -v**2 + v + 1. Let w be h(-1). Which is smaller: i or w?
w
Let g = 22 + -13. Let l = 10.05 + -0.05. Let f = g - l. Which is bigger: -0.8 or f?
-0.8
Let n = -4.93 - 0.07. Let x = 2.6 + 0.4. Let y = -1 + x. Which is bigger: n or y?
y
Suppose -4*d - 154 = -5*l, -3*l - 32 + 119 = 3*d. Does 41 = l?
False
Let x be (-18)/21 + 1 + -1. Suppose -3*u + 0*u + 6 = 0. Suppose l = 0, o + 2*l + u = 7*l. Which is greater: x or o?
x
Let t = -36/125 + -2157/1625. Do t and -1 have different values?
True
Let h = 288.9 - 291.9. Which is smaller: h or -21?
-21
Let z(h) = 4*h**2 - h + 1. Let y be z(1). Suppose 4*q + 2 = y*d - 6, 0 = 4*q + d - 7. Which is smaller: 7 or q?
q
Let f = 81 - 57. Suppose 21*h - 62 - 43 = 0. Suppose -4*v + f = 3*o, -2*v + 1 + h = 3*o. Which is smaller: 8 or v?
8
Let c = 11 - 11. Suppose -7 = -2*x - u, x + 3*u - 1 + 0 = c. Suppose -x = -0*w - 4*w. Is -3/11 less than or equal to w?
True
Let g(j) = -j**3 + 4*j**2 - 5*j + 2. Let l be g(3). Let v be ((-4 - l)/3)/(-2). Let r be 6/(-4)*4/(-11). Is r less than v?
False
Suppose -8 - 1 = -9*p. Let v = 11/13 - p. Let z(x) = x**2 - 8*x - 1. Let a be z(8). Is a at least v?
False
Let w be ((-6)/65)/(8/(-5)). Let z = 18 + -17. Is z at least as big as w?
True
Let w = -23 + 39. Let g = -16.1 + w. Is g smaller than 8?
True
Suppose 764 = 5*l - 4*n, l - 4*n = -n + 155. Which is smaller: l or 153?
l
Let m(z) = -10*z**2 + 4*z + 129. Let u be m(11). Is -1037 smaller than u?
False
Let s = 3721603/296 + -12573. Is s != 0?
True
Let r = -64.5 + 65. Is r > -33?
True
Suppose o + 2 = 3*w, -5*w - 2 + 8 = o. Let g(y) = -y + 14. Let j be g(11). Let s be j/40 - 1/5. Which is greater: s or o?
o
Let m = 3 + -3. Let u be ((-1)/(-3))/((-2)/12). Let b be ((-14)/30)/7*u. Which is bigger: m or b?
b
Let c = 0.88 + 47.12. Let i = c - 49. Which is smaller: i or -0.6?
i
Let w be 0/36 - (3/(-2))/(-3). Let g = -2 + 17. Let v = g + -13.7. Which is bigger: v or w?
v
Suppose -3*b + 0*z + 5*z = -37, -28 = -2*b + 4*z. Suppose 5*l = -b*f - 37, 3*l - 4*f = -0*f - 3. Let y = -2 + 1. Is y < l?
False
Let x = -700 + 842. Is 145 smaller than x?
False
Let b(p) = -10*p + 38. Let k be b(4). Which is bigger: -6 or k?
k
Let i = 529 + -3173/6. Which is smaller: 16 or i?
i
Let g = 15 + -15.7. Let r = 13.3 - g. Let i = r + -14.3. Is i less than 1?
True
Let b = -204 + 100. Which is bigger: -102 or b?
-102
Let z(b) = 21*b**2 - 2*b + 1. Let p be z(1). Suppose -4*q - p = q. Let w(s) = s**3 - 5*s**2 + 2*s + 4. Let h be w(4). Is h equal to q?
True
Let h = 0.3 - 0.3. Let u be (17 + -5)*1/(-2). Let k be (-2)/u*3/(-4). Are h and k equal?
False
Let l be (98/(-21) + 6)*(-9)/(-33054). Which is greater: -1 or l?
l
Let n = -1.2 + 1.4. Let k = -0.135 + 0.145. Which is smaller: n or k?
k
Let k = 3653 - 171685/47. Suppose -5*c = -1 - 4. Which is smaller: c or k?
k
Let f = 425 - 392. Which is bigger: -2/7 or f?
f
Let j = -0.01 + -21.99. Let t = 24 + j. Which is smaller: t or 12?
t
Suppose -5*d - b = -22 - 15, -5*b = -2*d + 31. Which is greater: d or 14?
14
Let l be (48/81)/((-7)/420). Is l at least as big as -37?
True
Let u be ((-1 - -2) + 12)*(8 - 3). Suppose u*s - 64*s - 1 = 0. Which is greater: s or 19/3?
19/3
Suppose 5*c + 5*s = -47 - 28, 26 = -2*c + 2*s. Is -8 at least as big as c?
True
Let c be (296/30)/((-404)/(-20) - 15). Which is greater: 3 or c?
3
Let j = -0.1262 - -0.0262. Is j greater than or equal to -25.8?
True
Let g = 58.93 + -59. Which is bigger: g or 5?
5
Let y = -1.462 + 1.362. Are y and 0.348 equal?
False
Let b = -803.4 + 803. Is b <= -4/25?
True
Let v(p) = -4*p**2 - 31*p - 32. Let m be v(-6). Which is greater: 17/2 or m?
m
Suppose 0 = 3*m - 7*p + 3*p - 51, -3*m + 42 = -p. Let t(n) = 4 - m - 6*n - 1 - n**3 - 6*n**2. Let o be t(-5). Which is smaller: -2 or o?
o
Suppose 4*n - 3*w - 8 = 4, 0 = 4*w + 16. Let d be 2/(-6) - 1015/1365. Is d less than n?
True
Let c = -6 + 7. Let u = -57.1 - -40.2. Let v = -0.9 - u. Which is smaller: v or c?
c
Suppose 3*q + 20 = 17. Let s(a) = -8*a**3 - a**2 - a. Let t be s(q). Let g be t/(-20) + (-1)/(-15). Is g greater than or equal to -8?
True
Suppose 0 = 4*k + k + 5*w - 35, 3*k = w + 9. Which is smaller: -160 or k?
-160
Suppose -9 = 5*m - 5*g + 36, -11 = m - 3*g. Suppose i = -5*k - 19, -i + 1 = -3*k - 12. Let q be (2*i)/((-1)/4). Is q >= m?
True
Let x = 90.161 - 0.161. Is 1 greater than x?
False
Let h be -3*(8/(-6) - -1). Let w(n) = n**3 + 11*n**2 - 61*n - 19. Let o be w(-15). Let m be ((-2)/o)/((-3)/9*3). Which is greater: h or m?
h
Suppose 2*c - 5*c + 69 = 0. Let v = c + 22. Suppose -4*u - 52 = -4*q, 5*q + u - 2*u - v = 0. Is 9 equal to q?
False
Let v = -1.3 + 1.2. Let n = -37.98 + 56.17. Let x = n + -0.19. Is x not equal to v?
True
Let g be 4*((-29)/(-15) - 2). Let y(x) = 34*x + 305. Let c be y(-9). Which is smaller: c or g?
c
Let k(o) = o**2 - 6*o + 5. Let l be k(0). Suppose 3*x - 20 = -4*n, 5*n + 6*x - 25 = 4*x. Suppose -2*p + n*p = 9. Which is greater: p or l?
l
Suppose 3*w - 6*w = 3, 4*s - 6 = -2*w. Let l be (s - (-142)/(-68)) + -3 + 3. Is -1 at most l?
True
Let w be (-2)/(-10) + 588/60. Let q = -10 + w. Suppose 4*a + 5 - 1 = q. Is a smaller than -1/15?
True
Suppose 5 = -r + 6. Let n be (0 + r)/1*4. Suppose -2*h + n = -4. Which is greater: h or 5?
5
Let a(w) be the third derivative of -1/120*w**6 + 0 - 5/12*w**4 + w**3 + 0*w - 5*w**2 + 11/60*w**5. Let h be a(10). Is h less than 4?
False
Let f be 2/(-6) - ((-686)/(-84) - 9). Let n = 7 + -6.89. Which is smaller: f or n?
n
Suppose -174 = -3*g + 4*m, 2*g - 2*m - 28 = 88. Suppose 5*l + i + g = 2*i, 0 = 2*l + 5*i + 7. Does -2 = l?
False
Let r = 409 + -405. Which is smaller: r or 11?
r
Let c = -2 - -6. Suppose -4*z + 4*o + 52 = -0*o, 0 = 4*o - c. Which is greater: z or 16?
16
Let q(n) = -29*n - 27. Let y be q(-15). Let t be 1207/y + (-2)/6. Is 4 less than t?
False
Let f = 14/1937 - 104509/255684. Let b = 3/44 + f. Is 1 bigger than b?
True
Suppose 3*r - 3*z - 24 = 0, -4*z + 4 = -5*r + 4*r. Suppose 2*w + 0*m + r = -4*m, -2*m = -3*w + 14. Which is smaller: 6/11 or w?
6/11
Let g = 5.81 + 3.19. Let s = 0.03 - -1.97. Let l = -2.1 + s. Which is bigger: l or g?
g
Let h(w) = -w + 7. Suppose 0 = -6*o + o + 35. Let l = o - 1. Let n be h(l). Which is smaller: 10/13 or n?
10/13
Let o = 0.43 + 0.07. Let a be -1 - 1/((-2)/(-40)). Let q be a/27*3 + 3. Is o > q?
False
Let c = -4 + 2. Let h = -1.8 - c. Let i be (-2 - -5) + (13 - 738/45). Which is bigger: h or i?
h
Let l be (36/(-30))/((-1)/5). Let p = -13 + l. Is p > -28/5?
False
Suppose 19*q - 20*q = 1. Which is smaller: -4/43 or q?
q
Let g = 6 - 9. Let q be 0/(-1) + (-6)/(9 + g). Which is smaller: q or 2/13?
q
Let u = -12/199 - -2607/13532. Let p be (-1 + 2)/34*4. Let b = u + p. Which is smaller: b or 0.7?
b
Let f be 1*((98/12)/(-7) + 1). Let b be 3 - -14*2/(-12). Is b at least f?
True
Let b be (4 + 102/(-28))*33/(-150). Let g = -271/5460 + b. Is 1 smaller than g?
False
Let s = 4 - 3.77. Let f = -185 + 187.23. Let g = s - f. Are g and -4 nonequal?
True
Suppose x + n + 2 = 0, 2*x = 2*n - 2 + 18. Suppose 5*r + x*t = -4, 2*t - 7 = -4*r + 3*t. Let i be ((-30)/(-12))/(15/12 + -1). Which is bigger: r or i?
i
Let b = 11 + -6. Suppose -204 = -4*x - 4*z, -b*x = -4*z - 247 + 19. Let f be 100/x - (-6)/(-8). Is f at most 1?
False
Let t = 10.98 + -11. Let i = -0.07 + t. Let h = 0.19 + i. Is 0.1 at most h?
True
Let k(n) = n. Let c be k(4). Let p = -4323/4 + 1084. Which is smaller: p or c?
p
Let q(a) = -a + 3. Let b be q(5). Let u = b + 0. Let f be ((-9)/(-6))/((42/16)/(-1)). Is f less than or equal to u?
False
Let s = 4.1 - 1.1. Do 27 and s have different values?
True
Let i be (0 - (-25)/(-85))*6/(-5). Let p = 6 + -1. Suppose 3*g - 2*r - r - 12 = 0, p*g + 12 = -3*r. Which is smaller: g or i?
g
Let s(i) = 2*i**3 + 29*i**2 + 7*i - 19. Let f be s(-14). Which is smaller: f or 77?
77
Let s(d) = -2*d**3 - 58*d**2 + 3*d + 78. Let i be s(-29). Is i equal to -32?
False
Suppose -3*o - 37 - 482 = 0. Is -2/7 < o?
False
Let q = 7 + -9. Let g(z) = z**3 + 4*z**2 - 4*z + 2. Let j be g(-5). Let f be 2/3 - (-11)/j. Which is smaller: q or f?
f
Let u be -2*(-1)/(2/(-20)). Let m = 580 - 600. Are u and m nonequal?
False
Let p be (154/(-8))/((-615)/(-576) -