r not equal to w?
True
Let m(h) = h**2 - 50*h - 1057. Let i be m(66). Is i > -303?
True
Suppose 3*f - 3*q - 21712 = 299, 4*f + 2*q - 29324 = 0. Which is bigger: f or 7331?
f
Let z = -33998 + 2005798/59. Is -1 at most z?
False
Let t be 4122442/(-10836) + 40/10. Let i = 3/602 - t. Let k = 377 - i. Which is smaller: 0 or k?
0
Suppose -2*h - 14*h - 2656 = 0. Let m be (9 - -3)/((-28)/388). Let a = m - h. Is a < -3?
False
Let s = 1237 + -1233. Which is greater: s or 162/31?
162/31
Suppose 0 = -10*l + 12*l + 218. Let x be (-12)/(-6)*-2 + -105. Are x and l non-equal?
False
Suppose 4*r = -g + 18, 10*r = 8*r + 10. Suppose -k - 12 = -7*k. Is g less than k?
True
Let p = 1949 + -2374. Is -0.3 less than or equal to p?
False
Let x = 4581 + -46137/10. Is -32 != x?
True
Let w = 81 + -43. Suppose 0 = 5*j - 96 - 94. Is j less than or equal to w?
True
Let x = -14 + 21. Suppose -x*l + 89 = -114. Suppose -4*q - f + 9 = -0*f, -5*f = 4*q - l. Which is greater: 1/35 or q?
q
Let b(d) be the third derivative of -d**5/10 - 17*d**4/24 + 5*d**3/3 + 30*d**2 - d. Let a be b(-5). Which is bigger: a or -57?
a
Let u = 54136 - 54137. Let p = 4/79 - -98/1185. Which is smaller: p or u?
u
Let p = -381.56 + 1598.56. Do -10 and p have the same value?
False
Let b(w) = w**2 - w - 5. Suppose -3*z + 2 = -4*z. Let s be b(z). Let x be 5 - (s + -1 - 1). Which is smaller: x or 3?
3
Let l be (-2 - 414/4)*(-528 + 536). Which is smaller: -845 or l?
-845
Suppose -27*k = 29*k - 2016. Suppose 3*l - 151 = -5*t + 84, 0 = l - 5*t - 105. Let i = l - 49. Is i at most k?
True
Let q = -21 + 27. Let z(u) = 5*u - 25. Let p be z(q). Let o = 5 - p. Is o bigger than 3?
False
Let m = -4329/14 - -619/2. Is m <= -11/1338?
False
Let w(i) = i**3 - 32*i**2 - 5*i + 101. Let c be w(32). Let g be c/184 + (-219)/(-584). Which is bigger: 1 or g?
1
Let q(h) = 4*h + 3. Let i(t) = 1. Let w(v) = 12*i(v) - 3*q(v). Let k be w(-3). Let b be (-3 - k/(-12)) + 107/(-396). Are b and -1 nonequal?
True
Suppose -2*h = -10*h - 120. Let z be 10/h - (-1238)/30. Is z != 41?
True
Let i(h) = -h**2 + 10*h - 8. Let o be i(7). Let z(d) = -d**3 + 14*d**2 - 13*d + 1. Let q be z(o). Let u be (q/(-13) - 0)*2. Is -0.2 bigger than u?
False
Let d be (1 + 22 - 2) + 912/(-152). Is d != 8?
True
Suppose 3*w - 4*c = 396, 5*w + 0*c - 660 = 4*c. Let v be w/10252*(-2)/3. Do v and 1 have different values?
True
Let d(v) = -530 - 10*v + 62 + 20*v + 9*v + 21*v. Let o be d(12). Which is bigger: 20 or o?
20
Let s be 11608/(-34932) - (-16 + 28)/(-36). Which is bigger: s or 0?
s
Suppose 1869*f - 1879*f - 10 = 0. Suppose -4*o - 2*y = 34, -8 = 5*o - 4*o + y. Let c be (o/942)/(6/8). Is c less than or equal to f?
False
Let h(x) be the first derivative of x**3/3 + 3*x**2 + x - 18. Let u be h(-7). Let p be -11*(-4 - u)/4. Which is greater: 32 or p?
p
Let w(k) = 4*k**2 + 177*k + 51. Let v be w(-44). Let s(n) = -3*n**3 + 20*n**2 + 6*n + 6. Let a be s(v). Which is smaller: -1/5 or a?
a
Let q = -889 - -1246. Let b = q - 356.3. Which is greater: b or 11?
11
Suppose -981 = 3*v + 5*f, 0*v = -v + 2*f - 316. Let i be ((-34)/(-3) + -1)/((-660)/20565). Let m = i - v. Is m bigger than 1?
False
Let p = -80654 - -48311708/599. Which is bigger: 0 or p?
0
Let u = 320 + -320.185. Let k = -0.115 + u. Let h = -0.2 + -0.8. Is h != k?
True
Let r = -269 - -430. Let k = -160 + r. Is k at most as big as -2/89?
False
Let j = -132.817 - 0.183. Let m = 135 + j. Which is bigger: m or -0.1?
m
Suppose 2116 = 9*f - 3923. Let g = f + -669. Let m be 10/(-26)*24/(-20). Is m <= g?
True
Suppose 140*k = 129*k + 11. Let i = 42 - 40. Is k at most as big as i?
True
Let z be 137 + 104 - (14 + 13). Let i = -75 - -288. Are z and i nonequal?
True
Let a be 387/(-63) - -8 - (-2)/14. Suppose -a*x + 1 + 117 = 0. Is x less than or equal to 1?
False
Let b(y) = -4*y**2 + 436*y + 995. Let j be b(111). Suppose -2*m + 340 = 124. Which is greater: m or j?
m
Let k = -1050.303 + 1050. Which is bigger: k or 1?
1
Let r = -215 + 235. Suppose 52 = 16*v - r*v. Suppose -4*n - 25 - 7 = 0. Which is smaller: n or v?
v
Let m = 838.0559 + -0.0559. Which is smaller: m or 3?
3
Let k = 15 + -47. Let i = k + 66. Let g = i + -33.94. Is -0.5 greater than or equal to g?
False
Let b be 4 - (-100)/(-26) - (-11833)/(-76999). Which is greater: 0 or b?
b
Let q be 74/8*6*(-10)/(-15). Let d(n) = -n**3 + 39*n**2 - 71*n - 118. Let z be d(q). Is 2 not equal to z?
True
Suppose 2*q = -3*k - 97 + 39, -k = 4*q + 36. Let i = -227 + 204. Let w be 115/i + 0 + -11. Is k <= w?
True
Let w(x) = -x**3 + x**2 + 2*x. Let k(a) = -3*a**3 - 6*a**2 + 6*a + 26. Let p(u) = -k(u) + 2*w(u). Let h be p(-8). Let f = -873/7 - -125. Is h < f?
True
Suppose 7*j - 6901 = -5*b, -b + 1367 = -28*j + 25*j. Are b and 1377 non-equal?
True
Let u(l) = -83*l**2 + 108*l + 731. Let h be u(-8). Which is bigger: h or -5446?
h
Let b = 11199 + -66925/6. Let x = b + -45. Which is greater: x or 1?
1
Let n = 13856/90233 + 2/6941. Which is greater: n or 352?
352
Let f be 422/140 - (-16)/56. Let n = 667 + -665. Which is greater: f or n?
f
Let c = 12.986 - 0.286. Let j = 12.638 - c. Let s = j - 5.938. Which is smaller: s or -1?
s
Let p = 1419 - 1421. Which is smaller: p or -202?
-202
Let p = 96.62 + -105. Let y = p - -0.38. Let m be (-12)/(-20) + (-3)/5. Which is smaller: m or y?
y
Let f be 18/27 + 1 + 23128/21. Is 1103 equal to f?
True
Let x(l) = l**2 + 17*l. Let t be x(-17). Let q = -3 + t. Let i = -29 + 257/9. Which is greater: q or i?
i
Let q be (2/(-10))/((-2844)/260 - -11). Suppose 2*i = -i. Suppose -y - 3*y = 2*l + 26, i = 3*y + l + 17. Which is smaller: q or y?
y
Suppose 3*h + 2*h = 3*p + 3, 0 = p - 4. Suppose -12*d = h*d + 1515. Are -103 and d equal?
False
Let w = -188 + 296. Let d = 108.5 - w. Which is smaller: d or -2/15?
-2/15
Let l = -11 - -17. Suppose h - 2*b = l, 17 + 7 = -2*h - 5*b. Let i be h*(1/(-22))/((-5)/10). Do i and 0.22 have the same value?
False
Let z = -3/988 - 2049/988. Let m(n) = -n**3 - n**2. Let d be m(1). Is z greater than d?
False
Let q be (-30)/8 + ((-186)/(-24) - 8). Let s be 0 - (q/22 - 10/(-55)). Is s > -2/647?
True
Let o = 6 + 1. Suppose -152 = -4*f + 4*n, 61*n - 82 = -2*f + 60*n. Suppose 2*g = 4*a + f, -4*g + a + 50 = 3*a. Is o at least as big as g?
False
Let x(t) = -289*t**2 + t. Let d be x(-1). Let p be 4/7*(-203)/d. Which is greater: p or 0.03?
p
Suppose -57*c + 60*c = 2*k + 18, 2*k - 12 = -2*c. Which is greater: k or -17/19?
k
Let z(n) = n**3 + 9*n**2 + 18*n. Let g be z(-6). Suppose -t - 3*j = -7, -4*t - 2*j - 2 + 10 = g. Which is smaller: t or 2/31?
2/31
Let l = 390 - 369. Let o = 23 - l. Are 14.1 and o equal?
False
Let a be 2208/460 + 4/(-5). Let z be (-38)/(-14) - (-2)/7. Let y be z/(-12)*-6*a/9. Is y at most 8?
True
Let n = -2003.22 - -2003. Which is greater: n or -6.9?
n
Let q = 9 - 8.968. Let j = 87800 + -87800.1. Is j >= q?
False
Let a(r) = r**3 - 7*r**2 + 7*r + 53. Let v(o) = o**3 - 6*o**2 + 5*o + 52. Let l(i) = -4*a(i) + 5*v(i). Let b be l(0). Is b at least 47?
True
Suppose -2*o = -3*h - 57, 3*o + h + 0*h = 69. Suppose 19*q = o*q. Suppose 4*p - 18 + 14 = q. Is -21 < p?
True
Let m = -56066 - -56062. Suppose 2 = r - 1. Let q be (-339)/72 + 1/r. Which is smaller: q or m?
q
Suppose -3*b + 0*o + 154 = o, -2*o + 204 = 4*b. Let y = -727/14 + b. Suppose -3*t = 9, 2*t + 12 = -s - 2*t. Which is greater: y or s?
y
Let b(v) = -302*v + 4832. Let x be b(16). Is x at least -4/23?
True
Let s = 29 - 135. Let x = s - -115. Is -0.6 bigger than x?
False
Suppose 14*s - 18*s = 8. Let n(b) = -b**3 - 3*b - 3. Let u be n(s). Suppose 2*c = u - 15. Is c > 7?
False
Suppose 0 = -6*l + 5*l + 1. Let x be l + -2 + (43 - -5). Let v = -58 + 104. Which is bigger: v or x?
x
Let l be (-211)/(-260) + (-6)/8. Let b be (2 + (-7)/(70/15))*2. Which is smaller: b or l?
l
Let b(o) = -62*o + 187. Let p be b(3). Which is bigger: -1/5529 or p?
p
Let a = -2/165545 - 485291/938971240. Are a and 1 non-equal?
True
Suppose -5*v = -l - 67, 48*v - 147 = 3*l + 51*v. Which is smaller: l or -70?
-70
Suppose -w + 4*w = 3*t - 27, 3*t - w - 25 = 0. Suppose t*m + 36 = 7*m. Let y be m/(-45) - 129/105. Is 0.09 < y?
False
Suppose -3*b + 41*w = 40*w - 3, 4 = 4*b - 3*w. Which is bigger: -4/14813 or b?
b
Suppose 3*z + 19 = -4*a, -243*a + 27 = -245*a + z. Let y be ((-4)/6)/(8/12). Let v be (14*-1)/(-2)*y. Is v < a?