 8/9 and j unequal?
True
Let v(q) = -q**3 + 12*q**2 - 20*q + 100. Let l be v(11). Is l smaller than -6/907?
False
Suppose -1112 = -19*f - 7059. Which is bigger: -312 or f?
-312
Let r = 64 - 63. Which is smaller: r or -1/243?
-1/243
Let l(v) be the third derivative of -v**6/120 + v**5/10 + 3*v**4/4 + v**3/3 - 18*v**2. Let p be l(8). Let t = 41 - 24. Is p greater than t?
True
Let a(b) = -2*b**3 - b**3 - 5 + 4*b**3 + 0*b**3 - 5*b**2. Let u be a(5). Do -36/7 and u have the same value?
False
Let q be ((-14)/(-10) - 1)*(-235)/94. Are q and -11/6 nonequal?
True
Let m = 969 - 969. Which is smaller: -1 or m?
-1
Let c be 52/24 + (-2)/12. Let x be 120/99 + c/(-3). Let y be 0/(-2 + -1) - -2. Is x at most as big as y?
True
Let a = -37 - -36. Let r = a + 19. Let o = -22 + r. Is o greater than -1?
False
Let s(o) = -o + 16. Suppose -6*l + 2*l = -56. Let m be s(l). Suppose -21 = -3*i - 3*a, 0*i + 2*a + 1 = 3*i. Which is bigger: m or i?
i
Let f = 21503/10 - 10556/5. Let t = -39 + f. Suppose -2 = h + 2*k, 3*k = h - 1 - 2. Is t at least h?
True
Suppose 4*f + 30 = -n, -3*f - n - 27 = 2*n. Let i = f + 13. Let l be (-7)/(-5) + i/(-15). Is 2 >= l?
True
Let w be 9/36 - (-162)/(-584). Let b(y) = 14*y + 29. Let n be b(-2). Which is smaller: w or n?
w
Suppose 5*y = -s + 976, -3*y + 5*s = s - 581. Let m be y/60 - 1/4. Let o be (m - 6) + 2 + -1. Which is smaller: o or -9/5?
o
Let n be 8/24*((-404)/(-16) - 2). Which is smaller: 3 or n?
3
Let v = 144.1 - 144. Which is smaller: -0.0897 or v?
-0.0897
Suppose -3*z + 8 = -0*g + g, 5*z - 25 = 0. Let o(n) = n + 4. Let d be o(g). Let x = d + 0. Which is bigger: x or 0?
0
Let p = 59 - 59. Suppose p = 11*z - 18*z - 14. Is -6 at most z?
True
Suppose 0*r = 6*r. Let j(t) = -t + 6. Let k be j(7). Let g be 0 - k/(98/(-4)). Which is bigger: r or g?
r
Let l = 43 - 39. Let v be 2 + (-6)/l + (-465)/(-30). Which is smaller: 19 or v?
v
Let j be ((-6)/987)/(4/(-7)). Is 1 greater than j?
True
Suppose g = -3*g + 7*g. Which is smaller: -16/25 or g?
-16/25
Let c = 181 + -2354/13. Is -1 equal to c?
False
Suppose -3*g - 22 = -5*b, -3*b = 4*g - 38 + 19. Which is greater: g or 17?
17
Let v be (-2)/8 - 105/(-308). Which is smaller: v or -38?
-38
Let c = -58 - -36. Let r = c - -23. Is r equal to 20?
False
Let j be ((-2244)/(-247))/3 + -3. Let n = -24274/11115 + j. Let r = -21/10 - n. Which is smaller: 1 or r?
r
Suppose -3 = p + 11. Let z be -4*(-4)/16*p. Suppose -b - b - 26 = 0. Which is greater: b or z?
b
Let a be 12/4*(926/738 - 1). Let b = a - 4/41. Is b < 2?
True
Let f = 19 + 36. Suppose -5*t = -4*n + f, 7*t + 20 = 4*t + 5*n. Let u be ((-2)/(-10))/((-6)/t). Which is smaller: 1 or u?
u
Let q = 77 + -59. Let y be 3/((-351)/q) + 176/(-546). Do y and -1 have different values?
True
Let b(y) be the third derivative of y**6/120 + y**5/6 + y**4/6 + 4*y**3/3 + 5*y**2. Let h be b(-10). Let c be h/(-132)*3/(-4). Is 1 less than c?
False
Let g = 2.23 + 20.17. Let i = -23 + g. Is i greater than 2?
False
Let u(t) = -2*t - 4. Let o be u(-6). Let c = 1038 + -1031. Is o < c?
False
Suppose 4*h - 2*d + 3 = 11, d + 2 = 0. Suppose 0 = 10*m - 70 + 250. Let i be 10/26*m/15. Is i > h?
False
Let m = -7.1 + 10.4. Let b = m + -4.6. Let r = 1.4 + b. Is -3 at least as big as r?
False
Let z = 27 + -29. Let q be (-8)/(-20) - z/(40/22). Which is greater: 0 or q?
q
Suppose -246 + 200 = -4*h + t, t = -2. Which is smaller: h or 13?
h
Let t be 1 - -5 - (48 + -44). Is t smaller than 9/13?
False
Let o(m) be the second derivative of m**5/20 - 5*m**4/12 + 5*m**3/6 - m**2 + 3*m. Let b be o(4). Let y be b/10 - 63/15. Which is smaller: -3 or y?
y
Let z(s) be the third derivative of s**6/120 - s**5/60 - s**4/24 + s**3/3 + s**2. Let b be z(3). Let f = b - 13. Which is bigger: 3 or f?
f
Let q(g) = 5*g - 60. Let t be q(12). Suppose 5*n + 440 = -t*n + o, -2*o + 184 = -2*n. Is 0.1 less than or equal to n?
False
Let t = -3 - -3.1. Let r = -0.066 + -0.034. Let i = r - 1. Does i = t?
False
Let u = 99 - -416. Which is smaller: 513 or u?
513
Let f = -2/15 - 8/15. Suppose 4*h - 2 = 6. Suppose -h*n = -3*n - 2. Is n less than f?
True
Let h be ((-153)/(-27) - 7)*(-15)/84. Is h at most -1?
False
Let a = 4 + -3. Let f(z) = 100*z + 2404. Let p be f(-24). Are p and a equal?
False
Let v be (1/4)/((9/(-3))/(-36)). Suppose -5*g = 4*c + 96, g - 67 = v*c + 6*g. Is -28 >= c?
True
Let h = 84023/357 - -116/119. Are h and 235 non-equal?
True
Let j(q) = q**3 + 7*q**2 + 6*q. Let n be j(-6). Let c = -196 - -946. Let z = c + -9755/13. Which is smaller: z or n?
z
Let q = -169 + 2865/17. Is q at most -1?
False
Let s = -1.43 - -1.33. Are s and 0.11 nonequal?
True
Let n = -1/3345 + 235267/6690. Is 35 less than or equal to n?
True
Suppose 0 = 4*w + 8, 4*x = -2*w - w + 54. Let a be x/6 + 1/(-2). Which is bigger: a or 0.07?
a
Let u be (-6)/21 - 264/(-42). Let c be ((-4)/u)/((-10)/15). Let k = 0.39 - -1.81. Is k equal to c?
False
Let a(q) = 4 - 18*q - 9 - q**2 + 6*q + 3. Let v be a(-14). Is v at most -30?
True
Let y = -2/7 + 13/21. Let c = 4.209 - 0.539. Let b = c + 0.33. Which is smaller: y or b?
y
Suppose -9*n - 116 = -17. Which is smaller: n or -25?
-25
Let r = 0.023 - 12.023. Which is bigger: 11 or r?
11
Let r = 1574 - 1575.3. Are -22/9 and r equal?
False
Suppose 203*j = 205*j + 352. Which is greater: j or -174?
-174
Let m be (12/(-16))/(1/4). Which is greater: m or -50/27?
-50/27
Suppose -c + 42*o - 45*o = 7, -4*c = 4*o - 4. Is c at least as big as -42?
True
Let d be ((-7)/(105/(-6)))/(9/630). Let i(s) = -s - 9. Let g be i(-10). Which is bigger: g or d?
d
Let p(w) = w + 5. Let k be p(0). Suppose 0 = -3*m - 5*h + 14 - 4, 21 = k*m + 4*h. Suppose -4 - 6 = m*d. Is -4 != d?
True
Let g(b) = b - 5. Let k be g(14). Let s be k*((-22)/(-6) - 3). Which is bigger: s or 5?
s
Suppose 0 = 29*s - 216 + 1028. Which is smaller: -26 or s?
s
Suppose -s - k + 6 = -0*s, 0 = -s + 5*k - 24. Let h be s*(66/(-4) - (-9)/6). Which is greater: -14 or h?
-14
Suppose -11*j + 4 = -7. Which is smaller: j or 2/473?
2/473
Let f = -116 - -117. Suppose -4*q - 15 + 7 = 0. Let v be (-1 + (-99)/(-102))*q. Is v at most as big as f?
True
Let x(y) = 15*y + 42. Let z be x(17). Let k be 54/z - (-106)/(-220). Is k less than -1?
False
Let b(m) = m**3 - 4*m**2 + 3*m - 4. Let p be b(4). Suppose -p*z + 64 = -12*z. Let w be -11 + -2 - 1 - 1. Is z greater than or equal to w?
False
Suppose -26 - 4 = -30*c. Which is smaller: 4/387 or c?
4/387
Let p(z) = -142*z**3 + z**2 + z. Let i be p(-1). Which is greater: 1/3 or i?
i
Let c(a) = a - 10. Let i be c(18). Let w be 39/54 - 1*4/i. Is w > 4?
False
Let b = 13.9 - 2.9. Let c = b - 12. Let l = -12 + 7. Which is greater: l or c?
c
Let p be 8/(-198) - (-2)/9. Let h(y) = y**2 + 130*y - 14. Let f be h(0). Which is smaller: p or f?
f
Let a = -14.8 - -16.8. Is a less than or equal to 12?
True
Let g be (-5)/4*-4*-1. Let o be g + (-3 + 4/2 - -4). Is -13/4 greater than o?
False
Let u = 43 + -43. Let s = -6.5 - -3. Is u equal to s?
False
Let n be (-2)/6*(-12)/14. Let t be (27/3)/3 - -2. Suppose v - t*v - 45 = -5*f, -5*v - 3*f = 10. Which is smaller: n or v?
v
Let l = -11 + 13. Let m be 79/l + 16/32. Is 42 > m?
True
Let l be (-2 + 4)*(-6)/(11376/8). Is 1 at least l?
True
Let d(s) = 20*s**2 - 1. Let u be d(1). Let a = u - 21. Which is greater: a or -1?
-1
Suppose -3*b + 8*b = -15. Let w(n) be the first derivative of -n**3/3 + 13*n**2/2 - 27*n + 5. Let x be w(11). Which is smaller: x or b?
x
Suppose 35*w + 510 = 20. Is w bigger than -106/7?
True
Suppose 4*q = 5*q - r, -2*q = -5*r + 15. Suppose 2*x + 3*t = 8, -q*x + x + 5*t = 6. Let u be -4 + 1 - (x + -10). Which is bigger: 5 or u?
u
Let c be 0 - 12/(-3) - 1*4. Suppose 3*q - 3 + 42 = c. Is -1/3 > q?
True
Let a be ((-676)/(-78))/(6/(-135)). Which is smaller: a or -196?
-196
Let l = -149.38 + 150. Which is greater: -0.1 or l?
l
Let k(g) = 3*g**2 + 10*g - 42. Let a be k(-7). Which is smaller: a or 67/2?
67/2
Let m = -1066 + 1067. Which is greater: m or 1647?
1647
Let t = 103 + -111. Is -8 at most t?
True
Let j be (-10)/(-4)*(-10)/(-975)*6. Let q = -32 + 36. Is j at least as big as q?
False
Suppose 0 = 5*m - 5*f + 10 - 0, -m = 5*f - 4. Which is bigger: m or -3/98?
-3/98
Let w = 97.847 - -0.023. Let b = w + -98. Is -3 at least as big as b?
False
Let x be (4/22)/((-14)/34321). Let s = x + 446. Is -0.06 