7/12)/(15/20). Let w be n/4 + (-18)/24. Is 3/5 at least w?
True
Let r be 122/244*1004/(-2). Which is bigger: r or -252?
r
Suppose 2*l - 7*l = -25. Suppose n + 2*z = -0*n + l, 4*n + 10 = 2*z. Let c = 37 - 31. Is n <= c?
True
Let p = -622 - -646. Which is smaller: 5 or p?
5
Let b(t) = t + 15. Let w be b(-8). Which is bigger: w or 0?
w
Let a be (189 - 185)/(2/(-24) - 0). Which is bigger: a or -52?
a
Suppose 0 = n - 4 + 2. Let m(z) = -13 + 0*z**n + 5*z**2 + 12 - z**3 - 3*z**2 + 3*z. Let g be m(2). Which is smaller: g or 6?
g
Let a(y) = -y + 10. Let l be a(7). Suppose -l*m + 0 = -3. Let v be (-1)/(m + 8/(-6)). Which is bigger: 1 or v?
v
Let u(q) = -17*q - 25. Let z be u(-1). Do -8 and z have the same value?
True
Let j = 10.7 - -45.3. Let c = 52 - j. Which is smaller: c or 0?
c
Let r be 5/6*64/80. Suppose 0*b - 12 = 6*b. Let l be b - 2/4 - -2. Is l bigger than r?
False
Let i = -1107.9 + 1108. Which is bigger: i or 77?
77
Let u be (10/3)/(30/450). Is 55 at most u?
False
Let p be (0/(-1))/(5 - (3 + 0)). Which is smaller: -1/1974 or p?
-1/1974
Suppose 0 = 11*d - 6*d + 1205. Let w = 481 + d. Let v be 3/(-4) + 84/w. Which is bigger: v or -3?
v
Let y = -12 + 17. Suppose 2*s + 0*s = -t - 8, 0 = y*t. Do s and 2 have different values?
True
Let q = 34 + 42. Let t be (q/40 - 2)*894. Let p = t - -89. Is p < -1?
False
Let p be (-70)/42 + 330/9. Which is smaller: p or 109/3?
p
Let h = -26.937 - 0.063. Let k = h - -28. Let y = -2 + k. Is 0.03 >= y?
True
Let l = 8/15 + 2/15. Let k be (-11)/(-33) + (-65)/(-3). Which is smaller: k or l?
l
Suppose 0 = 2*u + 2*q - 2 - 2, -8 = -u + q. Let d be (128/(-20))/(-8) - (-1)/u. Is -63 less than d?
True
Let f(w) = 2*w**2 - 17*w + 24. Suppose -56 = 14*a - 210. Let j be f(a). Is j at least as big as 80?
False
Suppose -2*z = -10, -5*x + 65*z - 69*z + 105 = 0. Which is smaller: 13 or x?
13
Let s be 10/(-1)*(3 + 2). Let y = s - 10. Let v be y/(-45) + (-2 - 0). Is -0.8 > v?
False
Let a = -2.14 - -2.048. Which is smaller: a or 1?
a
Let m = 1215 + -1224. Which is smaller: m or -181/19?
-181/19
Suppose -2 = -2*v + v. Let k be (-7)/v*(2 - (-102)/(-21)). Are 10 and k nonequal?
False
Let q be (-1065)/(-12) + (-26)/(-104). Are 90 and q nonequal?
True
Suppose -4*j = 255 + 9. Is -67 greater than j?
False
Let l(g) = -2*g**3 + 2*g**2 - 3*g + 2. Let f be l(1). Suppose -4 = -3*w + 2*z, 5*w - 3*z = -6*z - 6. Suppose n + 0*n = w. Which is greater: f or n?
n
Suppose -5*p + 1 = 3*j, 2*j + 2 = 2*p - 8. Let g = -6 - -10. Let i be g/(-14) + 165/63. Is p equal to i?
False
Let d = 218 - 218.11. Let u = 0.4 + -1.4. Which is bigger: d or u?
d
Let d be (18 - -14)*(-7)/2. Which is smaller: d or -225/2?
-225/2
Let o = 132 + -133. Is o <= -8/9?
True
Suppose -5*m + 0*m = -2*f + 7, m + 11 = 2*f. Let k be (-2)/f*(-16)/12. Which is smaller: k or -1?
-1
Let y be (7/(35/(-20)))/(6/21). Which is smaller: -37 or y?
-37
Let o(u) = u**2 + 8. Let w be o(-4). Which is bigger: w or 23?
w
Let o = -1575/4 + 266173/676. Which is smaller: 1 or o?
o
Let a be (10 + -9)*(-6)/912. Which is bigger: a or 0?
0
Let b = 13 + -10. Suppose -b*d - 8 + 11 = 0. Is -2/49 != d?
True
Let g = 1196 - 1199. Suppose r + 3*r = 0. Suppose -4*m - 3 - 13 = r. Do m and g have the same value?
False
Let a be (-3 + 4 + -2)/(8 + -7). Let p = 3.1 - -0.9. Let d = p - 3. Which is bigger: d or a?
d
Let a be 5/(-10)*(-3 - 1). Suppose a*r + k - 10 = 3*k, -k = 2. Are 5 and r non-equal?
True
Suppose -2 = p - 5. Suppose -7*a - p = -4*a - 3*v, 4*a = 5*v - 5. Suppose m = 4*m - 6. Which is greater: m or a?
m
Suppose -59 = -3*x + 136. Suppose 0 = x*s - 60*s + 165. Does s = -33?
True
Let w = 69.129 - 0.129. Let g = w - 69. Which is greater: -2/11 or g?
g
Let k be (1/10)/((-17226)/(-585255)). Let g = k - 61/18. Which is greater: 0 or g?
g
Let v be -15*15/9*5. Let d = v + 104. Is d greater than or equal to -21?
True
Let i(n) = n**3 - 2*n + 2. Let p be i(0). Suppose 10 = -5*q, -p*o - 3*q = 17 + 19. Let t(w) = w**3 - 3*w**2 - 4*w - 3. Let x be t(-2). Are x and o non-equal?
False
Let l(y) = y**3 + 5*y**2 + 3*y. Let s be l(-6). Let t = 595/11 + s. Does t = -1?
False
Let l be (-3985)/(-1012) + -14 + 10. Let s = l + -3/44. Let a = 20 + -20. Which is smaller: a or s?
s
Let u = 25 + -27. Let j = -5 + u. Let z = j + 5. Which is smaller: z or -14?
-14
Let c = -427 - -358. Which is smaller: -70 or c?
-70
Let y(t) = -t**3 + 8*t**2 - 5*t - 10. Let l be y(7). Suppose -q = -2*q + l*i + 16, 3*q - 48 = -3*i. Suppose -3*o = -4 + q. Are -3 and o unequal?
True
Let h(l) = -l + 1. Let k be h(7). Let p = -38/31 - 943/217. Which is smaller: p or k?
k
Let l = 0.19 - 0.2. Let v = -35 - -69. Let q = v - 34.2. Is q at most as big as l?
True
Suppose 13*d + 950 = 8*d. Let k = -4749/25 - d. Is k != 0?
True
Let w = -3.54 - -3.04. Which is smaller: 25 or w?
w
Let v be (-54)/(-70) - (0 + 2)/10. Suppose 0 = 2*x + a - 3*a, 2*x = 3*a. Is v bigger than x?
True
Let r = -893 + 1280. Is r not equal to 387?
False
Let a = -362.75 - -411. Let r = a + -48. Is r bigger than 0?
True
Suppose 0 = p + 4*p - 2*z + 4, z = -4*p + 2. Suppose p*i = 4*i - 12. Is 4 less than i?
False
Let h = -50.8 + 54.8. Which is smaller: 3/19 or h?
3/19
Let x be (-2)/135*(60 + -21). Let g = -4/5 - x. Which is smaller: -5 or g?
-5
Let a be (-17 - -8)*4/6. Let k = -12 + a. Does k = -20?
False
Let q(x) = x**2 + 9*x - 3. Let f be q(-10). Suppose 3*h - 2*o - f = 6*h, -4*h - 12 = 4*o. Let i(l) = -l**3 - l**2 + l - 1. Let d be i(0). Is d at most h?
True
Let f(b) = -4*b**3 + 12*b**2 - 5*b - 2. Let n(y) = 5*y**3 - 11*y**2 + 6*y + 2. Let r(a) = -6*f(a) - 5*n(a). Let d be r(-17). Which is smaller: d or 17/6?
d
Let a(s) = -s**3 + 21*s**2 - 2*s - 61. Let n be a(21). Is n > -102?
False
Let j = 12 - 10. Suppose 20 = 4*u, -6*o - 14 = -j*o + 2*u. Let i be o/(-10) - (-1070)/(-200). Which is bigger: i or -6?
i
Suppose 30*f = 47*f + 34. Is -66/23 greater than f?
False
Let o(x) = x**2 - 48*x - 5. Let q be o(54). Which is smaller: 318 or q?
318
Let v(k) be the first derivative of k**4/8 - 7*k**3/3 - 5*k**2/2 + 10. Let m(b) be the second derivative of v(b). Let j be m(5). Is j not equal to 0.3?
True
Let m = -1953/5 + 391. Suppose -2*c - 6 = -5*c. Let j be (2 - 0)/(-2) + c. Which is smaller: j or m?
m
Let z be 1415/4 + 9 + -3 + -4. Is z bigger than 356?
False
Suppose -2*g + 20 = -4*m, 0 = -m - 3*m + 16. Is g less than 19?
True
Let q be (-2)/6 + (-952)/42. Let w = -21 - q. Suppose -16 = -4*m + 4*r, -5*m + w*r + 13 = -1. Is 2 greater than or equal to m?
True
Let f(u) = 8 + 1 + 1 + 5*u + 1 - u**2. Let j be f(6). Suppose 4*h = j*a + 19, -3*a + 0 = h + 8. Is h smaller than 1/30?
False
Suppose -5*y = -4*s + 993, 5*s - 1063 = -y + 200. Suppose 3*l - s = 9*l. Is -44 greater than l?
False
Let s be (-20)/6*(-15)/1. Let l be 3 + s/(-18) + 136/(-126). Let u(j) = -j**2. Let r be u(-1). Which is smaller: l or r?
r
Let x(o) = 3*o + 18. Let i be x(8). Is 40 greater than i?
False
Let k = -4646 - -23374/5. Is k at most as big as -1/4?
False
Let m be (-602)/10 - (-13)/65. Is -49 at least as big as m?
True
Let d be (451/(-4))/((-870)/156). Let h = -101/5 + d. Which is greater: h or -1?
h
Let h = 37 - 25. Let s be 10/5 + (-21)/h. Which is smaller: s or -1?
-1
Let t = -50/583 + -34/53. Suppose 3*n - 4*c = -4, -5*n + n - 3*c = -3. Which is smaller: n or t?
t
Suppose 5*a = 4*z + 2 - 23, 2*a - 6 = -2*z. Suppose 2*c + 100 = -2*f, z*f - 2*f = 3*c + 140. Let d be 42/273 + c/(-26). Are d and 3 nonequal?
True
Suppose -3*p - p - 16 = 0, 3*t + 3*p - 6 = 0. Suppose 4*j + 18 = -t. Which is smaller: j or -2/7?
j
Let o(p) = 77*p - 76. Let v be o(1). Let s be (-13)/(-5) - 1*2. Is s < v?
True
Let r(d) be the first derivative of -d**2 + 8*d - 10. Let k be r(8). Which is smaller: -10 or k?
-10
Let n = 256 - 257. Are -3/521 and n equal?
False
Let t(q) = q + 13. Let o be t(-13). Suppose -2*m + o*f - 2*f - 10 = 0, 2*m - 4*f = 14. Which is bigger: -2/31 or m?
-2/31
Let x = 2.285 - -0.015. Let y = 2.2 - 3.5. Let j = x + y. Is j <= -6?
False
Let p = 0.468 - 61.468. Which is bigger: -0.05 or p?
-0.05
Let m(i) = -i**2 + 16*i - 8. Let a be m(8). Suppose a + 2368 = -8*l. Let y = l - -3027/10. Do y and -1 have the same value?
False
Let a be (-2106)/(-30) - -6 - 1/5. Suppose -3*d - a = -304. Does d = 75?
False
Let b be (-3)/4*(-30 - -406). Are b and -848/3 non-equ