 Are 0.696 and i nonequal?
True
Let h(v) = 33*v - 1. Suppose 0 = -18*c + 23*c - 10. Let p be h(c). Let u = -65 + p. Which is bigger: u or 2/29?
2/29
Let m = -0.018 + 25.018. Let x = 66 - m. Let c = x + -40.96. Which is greater: 0 or c?
c
Let a = -31901/13153 + -6/1879. Let z = 3 + -4. Which is smaller: z or a?
a
Let u = -47.22 - -47.02. Is -584 < u?
True
Let g be (-24)/10*1540/(-693)*(-1050)/4. Is g >= -1399?
False
Suppose 0 = 3*m, -2*f - 4*m - 56 = -8*m. Let j = 50 + f. Let k = j - 44. Is -23 not equal to k?
True
Let b = 370 - 370.1. Is 2180 greater than b?
True
Let l be 30/(-3)*164/(-10). Let a = l - 153. Which is bigger: 14 or a?
14
Let o = 21805 + -21806. Which is smaller: 136.2 or o?
o
Let b be 3/6 - (-14)/156*-15. Let v(t) = 3*t**2 + 42*t - 2. Let q be v(-14). Is q > b?
False
Let j be (6417/36 + (-1)/4)*(-1540)/(-3920). Which is bigger: 70 or j?
70
Let d = -221 - -137. Let v = d + 82. Is -14/11 less than or equal to v?
False
Let h(v) = 2*v**3 - 32*v**2 + 29*v - 2. Let y be h(15). Suppose 4*l - 16 = 5*l + 3*m, l + 16 = -4*m. Is l at least y?
True
Let k = -90 + 2772. Let g be (k/(-24) + -3)/((-7)/28). Which is bigger: g or 458?
g
Let a = 0.252 - 2.448. Let c = a + 0.096. Let z = 4 + -3. Which is smaller: z or c?
c
Let p = 2568 - 2567. Which is greater: p or 78/163?
p
Suppose 0 = c - 31*u + 29*u - 1, -3*c + 2*u = -3. Is -6/1907 greater than c?
False
Let q be 4/((-108)/(-33)) - 1. Let x = -4.4 - 72.6. Let y = x - -74. Do y and q have the same value?
False
Suppose -3*r = 5*p - 13556 - 5872, 53*p - 206080 = 4*r. Which is bigger: 3889 or p?
3889
Suppose o - 4*b = -34, 0 = -3*o - 0*b + 5*b - 67. Let v(i) = -5*i**2 + i + 8. Let h = -69 + 67. Let j be v(h). Is o greater than or equal to j?
True
Suppose -p + 19 = g - 32, -4*p + 199 = 3*g. Let q = p - 76. Let u be ((-140)/q)/((-4)/6). Which is smaller: -4 or u?
u
Let l be (-4)/(-174)*(-459)/102. Is l less than -5?
False
Suppose -1356 = -4*m + m. Suppose -82 = -6*a + m. Suppose 0 = -9*d - 91 - a. Which is smaller: d or -22?
-22
Let f = -11 + 10.56. Let b = -32.67 - -33.21. Let i = b + f. Do -1/11 and i have the same value?
False
Let d = 2/498613 - -920952/19015603981. Which is smaller: d or 1?
d
Let c be -9 - 16/(-73456) - -9. Which is bigger: 0 or c?
c
Let z(g) = -358*g + 6368. Let u be z(18). Let w be (-2)/(-8)*2*-149. Let p = w - u. Which is smaller: p or 0.1?
0.1
Let w be ((-3)/8)/((-6)/(-5 + 1 - -8)). Let u = 2.85 + 0.16. Let v = -2.8 + u. Which is bigger: v or w?
w
Suppose -5*p = -2*m - 7786, -4*p - m = -0*p - 6234. Are 1558 and p unequal?
False
Let l = -243881/14 - -17421. Is 5/7 smaller than l?
True
Suppose -36*n + 9229 = -5*a - 37*n, -5*n = 3*a + 5555. Do a and -1845 have different values?
False
Suppose 0 = 2*f + 2*u - 1160, f + 22*u - 559 = 18*u. Is f >= 588?
False
Let q = -25.85 + 26. Let g = -2.95 + 3. Let d = q + g. Which is greater: -0.06 or d?
d
Let a = 0.066 + 0.026. Let v = a - 0.055. Let l = -17 - -17. Is l less than v?
True
Suppose -4607 = -3*b - 4*b - 10*b. Which is greater: 269 or b?
b
Let o be 2/((-144)/(-1608))*(-120)/22. Is -123 != o?
True
Let g = 936799/4 - 232889. Which is greater: 1311 or g?
1311
Suppose -1008*j + 1038*j = 0. Which is bigger: -1/5696 or j?
j
Let z = -306 + 558. Suppose z = 39*y - 51*y. Is -22 greater than y?
False
Suppose 5*c - 25 = 0, n + 7*c = 2*c + 50. Let v be n/11 + -2 + (-5528)/19624. Suppose -3*j - 2*j = -r - 16, -5*j = -5*r - 20. Is r greater than or equal to v?
False
Let v = -4699 - -4698.951. Which is smaller: v or -4?
-4
Let a(p) = p**3 + 5*p**2 - 14*p + 2. Let i be a(-7). Suppose -f = i*c - 8, 5*c = c + f + 10. Suppose 5*m - 3*m = 2. Are m and c equal?
False
Suppose -10 = 2*c, -410 = 26*z - 31*z + c. Which is smaller: z or 86?
z
Suppose -2*m = -6, -2*q + 4*m + 243 = 7*m. Suppose -36 + q = r - i, 5*r + 3*i = 381. Which is greater: r or 79?
79
Let c = 3912 - 356. Suppose -23*o - c = 5*o. Which is smaller: -125 or o?
o
Let n be (-2)/((-94)/(-11))*(-12)/(-3). Is n <= -0.1?
True
Let y(h) = 0*h**3 - 37*h**2 + 13 - h**3 - 347*h + 313*h. Let d be y(-36). Which is smaller: d or -58?
d
Let c = -174 - -165.1. Let n = c + 9. Suppose r + 47 = -3*m, 111*r - 3*m + 11 = 110*r. Which is bigger: r or n?
n
Suppose -15 + 10 = 5*y - 0. Which is bigger: y or 19964?
19964
Let b = 175.496 - -1.304. Let r = b + -177. Is r greater than -0.036?
False
Let f be (21/12)/((-9)/12*(-132)/468). Which is bigger: 7 or f?
f
Let p be ((-3495)/5)/3 + (-4)/2. Let s = p + 236. Is 3 greater than s?
True
Suppose 2*f = 3*x - 8, 2*x - f + 2*f + 4 = 0. Is 34/25 smaller than x?
False
Let w = 1.91 + -40.91. Let y = -26 - -16. Let h be (4*5/y)/2. Which is greater: w or h?
h
Let u be (-7)/(-84)*-10 + 18260/(-120). Which is bigger: -617/4 or u?
u
Let z(b) = -b**3 + 25*b**2 - 42*b - 2. Let i be z(24). Is -430 smaller than i?
False
Let p = 0.504 + -0.024. Let q = -11.32 - p. Let x = q + 7.8. Which is smaller: x or 0.2?
x
Let l be 29 + -14 + -19 + 9. Is 18 at most as big as l?
False
Let i be 3 + (-1926)/(-9009) + (-4)/(-22). Let p = 46/13 - i. Is p less than -4/3?
False
Let q be (-7 - (-2 + 0)) + -7. Let w be (14/(-3))/(q/57). Which is bigger: w or 21?
w
Suppose -303 = 5*p - 4*n, 240 = -5*p - 16*n + 11*n. Let i = 37 + -90. Are i and p nonequal?
True
Let l be 1 - (0/(-8) + 2 + 0). Let k = -8 + 11. Let u be ((-4)/30)/(16/k). Which is bigger: u or l?
u
Suppose 0 = i - 3*d - 17, 2*i + 2*i - 32 = 3*d. Suppose 20 = 4*l - 4*o, -11 + 19 = 6*l + 5*o. Suppose l*j = -v + 7 - 5, -5*j = i*v. Is v equal to 1/15?
False
Let p = 27.85 + 57.162. Let m = 85 - p. Which is greater: m or 2?
2
Suppose -35*g + 14519 = -0*g + 58164. Is -1248 smaller than g?
True
Let i(a) be the third derivative of -a**4/12 + 13*a**3/6 + 6*a**2. Let d be i(6). Let s be 3/(2652/(-48) - (-2)/(-8)). Which is smaller: d or s?
s
Let n(k) = 3*k - 60. Let s be n(21). Suppose s*b - 170 = -7*b. Is b less than or equal to 16?
False
Let u(v) = v**2 - v - 4. Suppose 80 = t + t. Let d = 46 - t. Let i be u(d). Do i and 27 have the same value?
False
Let f be ((-6)/9)/(12/126). Let n(q) = 4*q**2 + 31*q + 21. Let k be n(f). Let j = 17/14 + -26/21. Is j < k?
True
Suppose 6*n - 387 = -393. Let q be 5/1 - n/((-9)/423). Which is bigger: -40 or q?
-40
Let f(c) = 7*c + 58. Let s be f(-7). Let y be -4 + (-247)/3 + -4 + s. Is -80 bigger than y?
True
Let c be (4/(-10))/(21/3). Let n(b) = 5*b**2 + 9*b + 8. Let t be n(-1). Let j be -3 - (-2 + t + -1 + -3). Which is bigger: j or c?
c
Suppose 8*y = 4*y + 2*v + 20270, -5*y - 5*v + 25315 = 0. Is 5064 smaller than y?
True
Let l(m) = 8*m - 279. Suppose 3*q - 5*q + 128 = 3*t, -3*t + 118 = 4*q. Let i be l(t). Which is bigger: i or 90?
90
Suppose 11*d - 18*d + 42 = 0. Let c = d - -3. Suppose 4*u = c*u - 110. Are u and 23 nonequal?
True
Let l = -27 - -23. Let z be 6/(-1)*(-24)/(-72). Let n be z/(-1) + l/14. Is n smaller than 3?
True
Let c = -2819 + 1530. Let r = c + 709. Let i be (r/40)/((-2)/4). Which is bigger: i or 28?
i
Let k be (1220/(-8))/(-5)*2. Let v be (-279*(-15)/270)/((-1)/(-4)). Which is smaller: v or k?
k
Suppose 7*p = 79 - 2. Let z(w) = -3*w**2 + 35*w - 6. Let q be z(p). Which is greater: q or 13?
q
Let b = -1.57983 - -1.57983. Let m = 42.9915 - 43. Is b smaller than m?
False
Let h be 50/40 + (-1)/((-200)/(-218)). Is 1 < h?
False
Let a = -45.7 - -5.7. Let o = -28 - a. Let b = o - 9.9. Does 1 = b?
False
Let t(g) = -7*g**2 - g**2 - g**3 + 4*g**2 + 2*g**2 + 3*g. Let l be t(4). Let b be (-21)/l - 1/(2/3). Is -3 greater than b?
False
Let v = 28 + -16. Suppose -10*b = -14*b + 20. Suppose a - 4*a - y = -9, 0 = -b*a - y + 13. Does v = a?
False
Suppose -2*g + g = 0, 3*g - 2 = -2*j. Let m be (14/80997*29)/(3/((-27)/2)). Which is bigger: j or m?
j
Let g = -128.277 + 127.7. Let b = -0.577 - g. Which is bigger: b or -21?
b
Let t = 309 - 319. Let c = t - -10. Is -17/16 greater than c?
False
Suppose 5*p = -40 + 35. Let b = -0.3 - -2.3. Let o = 20 - b. Which is smaller: p or o?
p
Let u = 104 + -88. Let c be u + 1 + 100/(-20). Let n be 6*(-2)/3 + 6/c. Which is smaller: -1 or n?
n
Suppose 26 = v + 4*i + 9, -3*v + 6 = -3*i. Let z be (24/(-20))/(2/v) - -15. Is z less than 6?
False
Let a = -472 - -570. Let o = a + 30. Is 129 != o?
True
Let t = -32 + -245. Let b = t + 1387/5. Which is bigger: -2/5 or b?
b
Let q = -11/28 + 1873/51