e different values?
True
Let f = -2297 + 2352. Which is smaller: f or 435/8?
435/8
Let i = 305 + -305.052. Is i less than -1?
False
Let v = 97 + -125. Which is bigger: -13 or v?
-13
Let r(b) = -b**2 - b + 4. Let f be r(0). Suppose -3*t = -4*p - 2 - 2, -f*t - 3*p + 22 = 0. Suppose 0 = -t*h + h - 3. Is h at least as big as 0.2?
False
Let r(k) = -k - 3. Let f be r(-5). Suppose -h - 11 = j, -f*h + 3*j + 1 - 13 = 0. Suppose 3*w + 24 = -2*y, 2*w - y = 2*y - 16. Which is smaller: w or h?
h
Let y(k) = 14*k - 503. Let p be y(36). Is p at most as big as -1/129?
False
Let s be (1 + 3/(-6))*-8. Let u = -10 - s. Let r be u*(-2 + 2/6). Which is smaller: 0 or r?
0
Suppose 4*b = -20, -3*v - 3*b - 12 = -0*b. Let u(x) = x**3 + 6*x**2 + 8*x + 8. Let a be u(-5). Let j = v - a. Which is greater: j or 9?
9
Let t be 1/2*-4 - 1*-380. Let s = -5666/15 + t. Which is smaller: s or 1?
s
Suppose -4*k + c = 9 - 25, -5*k + 3*c = -27. Suppose 5*o - w = -20, -2*w = -4*o - 14 - 2. Let n = o + 7. Are k and n unequal?
False
Let d(y) = y**2 - 8*y + 19. Let q(n) = -2*n**2 + 16*n - 37. Let m(h) = -5*d(h) - 3*q(h). Let c be m(3). Which is bigger: -1/6 or c?
c
Suppose 11*l = 15*l + 8. Let z be (-15)/(-20)*5/9*-3. Is z smaller than l?
False
Let n(k) = -4 + k + 6 - 2*k**3 + k**3 + 0*k**3. Let f be n(2). Let b(d) = d**2 + 4*d - 2. Let s be b(f). Is s smaller than -2?
False
Let o(h) = h**2 - 4*h + 2. Let v be o(3). Let x(i) = -2*i**2 + 2*i. Let l be x(-2). Let w = 13 + l. Do v and w have different values?
True
Let z(r) = 5*r**2 - 3*r. Let a be z(-5). Let i be 68/a - 6/21. Let m = -86 + 85. Is m at least i?
False
Let r = -2/263 + 6852/1841. Let o = r - 111/28. Which is greater: o or 35?
35
Let f(t) be the second derivative of t**3/3 + 35*t**2/2 - 5*t. Let x be f(-16). Is x at most 5/2?
False
Let l be 72/(-14)*252/(-24). Let u = l + -82. Is 0 bigger than u?
True
Let l = -42 + 47. Suppose z - 6 = -2*o, o = -2*z + l*o + 4. Is 5 smaller than z?
False
Let w(o) = -o**3 - 13*o**2 - 13*o - 9. Let x be w(-5). Is -145 greater than x?
False
Let b be (((-11394)/12)/3)/(4/(-1)). Let d = b + -79. Do d and 1 have different values?
True
Suppose 24*i - 29*i = -30. Suppose -219 - 129 = i*r. Which is bigger: r or -59?
r
Suppose -19*m + 651 = -12*m. Which is smaller: m or 94?
m
Let j be (0 - -1)*(-99 + 98). Is -32/17 equal to j?
False
Let c = -127 + 130. Suppose -f - 3*m = 1, 0 = -c*f - 4*m - 6 + 3. Which is smaller: 3/74 or f?
f
Let t = -69722/35 - -1992. Let o(w) = w**3 - w**2 - 2*w - 1. Let s be o(2). Let u = 1 + s. Which is smaller: u or t?
t
Suppose -31 - 9 = -5*i. Let g be (-4)/((-120)/(-9))*i/(-222). Which is smaller: g or 0?
0
Let z be (192/480)/(-2 - (-11)/5). Which is smaller: -204 or z?
-204
Suppose 4*b - 2*d = -0*b + 14, b + 4*d - 26 = 0. Suppose r = -b + 31. Is 26 >= r?
True
Let z = -1207 - -928. Which is smaller: -278 or z?
z
Let a be -2 + 2*460 + (-23 - -25). Is a less than or equal to 919?
False
Suppose 0*x - x = 2. Let a be 21/(-15) - x/5. Are -1/8 and a nonequal?
True
Suppose 0 = -7*h + 421 + 258. Suppose 5*i + 262 - h = 0. Which is smaller: i or -34?
-34
Let a = 60.3 - 8.3. Let y = -53 + a. Are 14 and y unequal?
True
Let q = -572 + 572. Which is bigger: q or -1/183?
q
Suppose l + 4*y = -24, 5*l + 2*y = -2*y - 40. Let r(c) = 2*c + 8. Let z be r(l). Suppose 4*f + 0*f = z. Is -5/6 greater than or equal to f?
False
Let q be (-154)/(-52) + ((-95)/(-2))/(-19). Which is bigger: 0 or q?
q
Let z = -17 - -16.7. Let d = z + -0.4. Let f = d + 0.8. Which is smaller: 3 or f?
f
Let z be (-68)/(-6) - 4/(-6). Let v be 4552/(-16)*z/27. Let l = v - -126. Which is smaller: l or -1?
-1
Let s be 20/190 - (894/(-171) - 0). Is s bigger than 6?
False
Let g = -18 + 32. Let u(o) = o**3 - 6*o**2 + 3*o - 5. Let m be u(6). Is g <= m?
False
Suppose 3*c + 2703 = -2*a, -2*a - 4378 + 1674 = 2*c. Which is smaller: -1354 or a?
-1354
Let h(b) = 34*b + 26. Let c be h(-4). Are -111 and c nonequal?
True
Let i(y) = 19*y**2 + y. Let l be i(1). Let g = l - 20. Is g greater than or equal to -6/59?
True
Let r = -3 + 3. Let u = 24 - 22. Suppose 3*w + 2*w = -u*i + 19, -3 = -3*w + 3*i. Which is smaller: r or w?
r
Suppose h + 13 = 3*n, -4*n - 1 + 16 = h. Suppose 0 = -3*i + 3*f + 105, 3*i - 175 = 4*f - 71. Let s = -107/3 + i. Is s > h?
True
Let w(o) = o**3 - 13*o**2 + 2*o - 37. Let a be w(13). Which is smaller: -14 or a?
-14
Let r be -6 - 32*(-6)/36. Which is smaller: r or -2/5?
r
Let m = -15 + 1. Suppose 9*a + 30 = -96. Is a >= m?
True
Suppose 4*v - 100 = -256. Let a = -54 - v. Which is greater: a or -17?
a
Let b be (86/(-6))/(6/9). Let g = b + 21. Let l = -194 - -194. Do l and g have the same value?
False
Let y = -0.85 - -0.15. Is -7 < y?
True
Let r = -163.5 + 159.4. Which is smaller: r or 0.13?
r
Suppose -y = 4*f + 4*y + 79, -29 = 2*f - y. Let i be 4*(-4)/f*(-1 + 1). Which is greater: i or -3/16?
i
Suppose -2*o = -3*r + 7 + 42, 5*o + 4*r + 157 = 0. Let u = o + 39. Let f be ((-6)/u)/((-2)/20). Is f at least 23/4?
True
Let u be 4/14 - (-23)/(-7) - -3. Suppose u = -p + 9*p + 24. Which is greater: -3/2 or p?
-3/2
Suppose -5*v = -5*q - 2740, -8*v = -7*v + 4*q - 548. Are 548 and v nonequal?
False
Let g = 29 - 20. Let a(v) = v**2 - 8*v - 3. Let s be a(g). Suppose 48 - 8 = 5*n. Which is greater: s or n?
n
Suppose 2*d + 3*b = -5, -d + 2*b - 3*b - 5 = 0. Let i be -2*(4 - (-55)/d). Let t be (-14)/(-10) + -5 + i. Which is smaller: t or -1/4?
t
Let q = -200 + 139. Let i = -121/2 - q. Is -10 equal to i?
False
Suppose 4*g + 3*i = -10, 15 = -5*g - 2*i - 3*i. Let o = -2092/273861 - 2/3381. Which is bigger: g or o?
o
Let m = 11 + -21. Let u(p) = p**2 - 12*p + 14. Let f be u(2). Let w = m - f. Is w < -6?
False
Let c(f) = -4*f + 15. Let s = -16 - -16. Let g be c(s). Is 15 at most g?
True
Let v be 6*2/(-8)*(-2)/12. Is -3/13 greater than v?
False
Let s = -1919 - -1897. Let r = 43/78 + -2/39. Is s > r?
False
Let m be ((-2)/(-18))/((-1)/(1 + -10)). Which is bigger: m or 34/55?
m
Let t(z) = -12*z - 64 - 7*z + 22*z. Let v be t(21). Are 1/12 and v nonequal?
True
Suppose 3 = 3*g + 4*w - 0, -3*w = -9. Let x be (-1)/(g + 8/3). Suppose -x*t - 2 = 58. Is t at least as big as -0.1?
False
Suppose 6 = -w + 3*w. Suppose -w*n - 50 = 2*n. Let a be (-24)/60 + 4/n. Which is greater: a or -1?
a
Let y be 15/6*(3 + -1). Suppose 2*j = y - 1. Let u = -64/33 + 36/11. Which is bigger: j or u?
j
Let w = 20 - 14. Let c be ((-11)/(-2))/((-3)/(-6)). Let f = c + -5. Is w equal to f?
True
Let p be (-32)/12*33/(-4). Suppose 0 = 2*x - p - 8. Let k be x/(-20) - (-6)/8. Are k and -1/7 nonequal?
True
Let c be (-311)/105 + ((-6)/3 - -5). Let j = -120 - -119. Which is smaller: c or j?
j
Suppose 32*v = -0*v - 416. Suppose -22 = g + g. Is g less than or equal to v?
False
Suppose 0*j - 2 = 2*j. Let r be -2 + (1 - j) + 1. Let f be 7 - (-75)/120*(-113)/10. Which is bigger: f or r?
r
Let i = 0.4 + -0.3. Let u = 216 + -224. Which is greater: u or i?
i
Let f = 135 + -85. Let n = -22 + f. Are n and 29 unequal?
True
Suppose 3*u - 7*u = 28. Let y be (u - -2) + 126/24. Which is smaller: 2/5 or y?
y
Let u be -2 - -3 - (-1 + 3). Let n be (3 + -2)/(u - 4). Let l = 16/3 - 106/21. Which is smaller: n or l?
n
Let c(t) = -3*t**2 - 8 - 3*t - t**3 + 0*t**2 + 8*t**2 - 2. Let m be c(4). Does 0 = m?
False
Let o = 692.99 + -693. Is 0.65 <= o?
False
Let b(x) = -x**3 + 10*x**2 + 35*x - 86. Let l be b(12). Which is bigger: 41 or l?
l
Suppose 0 = -11*h + 7*h + 80. Let y = -36 + 22. Let w = h + y. Are w and 6 unequal?
False
Let p be ((-2)/(-4))/(3/24). Suppose p*l = 7*l. Suppose l*b = 4*b. Is b at least as big as -4/5?
True
Let y = 0.624 + -0.681. Let r = -13 - -37/3. Which is bigger: y or r?
y
Let n = -2607 + 1707. Let h = n - -17085/19. Which is bigger: -2 or h?
h
Let c(f) = f**2 - 15*f + 24. Let m(o) = 6*o**2 + 3*o - 4. Let z be m(-2). Let n be c(z). Which is greater: 35/4 or n?
n
Suppose 2*m + 5*v = -15, -3*m + 9 = -5*v + 2*v. Is 1/579 != m?
True
Let n be ((-8)/10)/((-177)/(-15)). Let l = 156/253 - 1598/1771. Which is smaller: l or n?
l
Let p be (-13)/(-65) + ((-1407)/(-5))/(-7). Which is bigger: p or -31?
-31
Let m = 3300 - 1379375/418. Let z = 1/22 + m. Suppose -h = 2*h. Is h < z?
True
Let u be (-14728)/(-44) + (-2 - 0). Suppose 0*d + 4*d = 1332. Let g = u - d. Is g smaller than -1?
False
Let f = -0.09 + -13.91. 