ose -5*x + c + 26 = 0. Let s = -12 + x. Is s at most 3/2?
True
Let i = 37 + -32. Suppose 4*v - 3*q - 3 = 0, 0 - i = 3*v + 5*q. Does v = 66?
False
Let f(h) = -4*h - 16. Let j(o) = o + 5. Let q(k) = -2*f(k) - 7*j(k). Let x be q(4). Are 1 and x equal?
True
Let m(d) = -d**2 - d - 9. Let q be m(-3). Let c = -15 - q. Suppose 0 = -3*l - a - 2, c = 2*l - 5*a - 27. Which is greater: 1/5 or l?
l
Let t = -938 + 219491/234. Which is greater: t or -1?
t
Let f = -1858/57 - 4/57. Let d = f - -472/15. Is d <= -2?
False
Suppose n + 0*n = -3*j - 808, -2*j - 2*n - 544 = 0. Is -268 smaller than j?
False
Suppose -49 = 3*v + 5*r, v + 3*r - 21 = 2*v. Let u(s) = s + 24. Let c be u(v). Which is smaller: c or 8?
c
Let r be 61 + (0 + 0)/(-5 - -2). Let x = -74 + r. Is -15 less than or equal to x?
True
Let g = 0.021 + 34.979. Let b = -35.02 + g. Which is smaller: b or 10?
b
Let h = -117 - -120. Which is smaller: h or -2?
-2
Suppose 0 = 3*t + 4*q - 696 + 48, 0 = q. Let f be t/10 - (-2)/5. Let d be ((-13)/4)/(11/f). Which is smaller: -6 or d?
d
Suppose 5*s - 170 = 10. Let j be (1589/49 - -2) + (-4)/(-7). Which is smaller: j or s?
j
Suppose 133 = -4*m + 3*c + 2*c, -c - 63 = 2*m. Let l be m/(-112) - (-24)/14. Suppose -4*j = -l*j. Which is greater: j or 1/8?
1/8
Let i = -27 + -36. Is -1 less than or equal to i?
False
Let n(h) = -2*h**2 - 52*h. Let v be n(-26). Is v smaller than 2/3415?
True
Let u = -46 - -42.4. Let j = u + 1.6. Let q be ((-15)/4)/(-5) - 1. Is j bigger than q?
False
Suppose -4*n - 43 = -p - 20, -n = 4*p - 7. Is 1 < n?
False
Let k = -7.94 - -8. Let y be 45/(-50)*(-1)/(-3). Does y = k?
False
Suppose -3*y - 3 = -3*i - 2*y, 5*i + 5 = 5*y. Suppose 3*d + i*d = -55. Let q be ((-4)/d)/(24 - 14). Which is bigger: q or -1?
q
Let x = -6 + 6. Let o = 5.4 + -5.43. Let w = -3.03 - o. Which is smaller: w or x?
w
Let t be (-2)/(-20)*(-47085)/(-172). Which is smaller: 28 or t?
t
Let r be (4 + -5)*10/(-2). Is r not equal to 13/3?
True
Let a = -15 - 24. Let g be (-16)/104 + 59/a. Let w(l) = -3*l + 1. Let c be w(1). Which is smaller: c or g?
c
Let q = 26783/1260 - 2/315. Which is smaller: q or 22?
q
Let n be (3/1 - -2) + 1. Suppose k = -n - 1. Let h = 4 - 11. Do k and h have the same value?
True
Let f = -6675/2 + 3271. Is -68 smaller than f?
True
Suppose 6 - 5 = p. Let a = 4.6 - 18.6. Which is smaller: a or p?
a
Let g = -9 - -8.96. Let d = 8 + -7.94. Let y = d - g. Which is bigger: y or -2?
y
Let n = 11.3 - -2.7. Let s = -20.6 - -32.6. Let u = n - s. Which is bigger: -0.6 or u?
u
Let p(m) = -m**3 + 3*m**2 - 4*m + 2. Suppose -8 = 2*w - 6*w. Let x be p(w). Let c be (-1 - -4)/(6/(-4)). Is c less than or equal to x?
True
Let n be 6/(0 - (-8)/28). Suppose -m = -2*i + 2*m - n, m = 5*i + 20. Let c be 1/(-3)*126/28. Which is smaller: i or c?
i
Let r be 9 + -3 + 54 - 6. Which is smaller: 53 or r?
53
Suppose 2*f = -5*o + 22 + 5, 3*o = -5*f + 20. Suppose -m = 4*d - 7, 5 = -4*m - 0*m - o*d. Let g(u) = u**3 + 6*u**2 + 5*u. Let r be g(m). Is r greater than 0?
False
Let m be (-3 - (-5 + 27/5)) + 4. Are m and 17/2 equal?
False
Suppose -3*u + 19 = -2*z, 0 = 4*u - z - 16 - 6. Is u greater than or equal to 8?
False
Suppose 0 = -2*r - 37 - 3. Suppose -2*h = -4*a - 76, -7*h + 90 = -5*a - 2*h. Is a less than or equal to r?
True
Let q = 1238 - 1255. Which is bigger: q or -19?
q
Let f be (-36 - -2) + (-1 - -4). Let t = -41 - f. Do -10 and t have the same value?
True
Suppose -2*u + 25 = 3. Is u less than or equal to 21/2?
False
Let i = 59.5 - 59.53. Is -7 smaller than i?
True
Let k be 2 + (-1)/3*-3. Suppose -7*q + k*q = 8. Let u be 124/(-44) - 2/11. Is u <= q?
True
Suppose -3*q - 186 = -0*q. Let z = -249/4 - q. Let i(t) = -t**2 + 5*t + 6. Let g be i(6). Is z > g?
False
Suppose -w = -36 + 31. Let r be 1/w - 6/5. Is -2/25 at most as big as r?
False
Suppose 2*a + 32 = -2*a. Let w = a - -11. Suppose 2*s + 1 = -w. Is -8/5 > s?
True
Suppose -4*u + 0*u + p + 69 = 0, -p = 2*u - 33. Suppose 3*v - 23 = 5*r, -5*r = -2*v + 5*v + u. Let a be (-1)/v + 4/7. Which is smaller: -1 or a?
-1
Let c(h) = 20*h - 47. Let l(q) = -7*q + 16. Let b(x) = 6*c(x) + 17*l(x). Let o be b(8). Let r be 2 + o/((-16)/(-12)). Is r less than or equal to 2/13?
False
Suppose 0 = -5*j + 3*j + 28. Let l = 28 - j. Let s be -1 + (0 - (-18)/l). Which is smaller: s or -0.4?
-0.4
Suppose -3*r = -9, r - 2*r = -3*v + 402. Let n be (2 - v)/(1/(-3)). Let s = -5589/14 + n. Which is smaller: 1 or s?
s
Suppose 0 = -15*n + 10*n + 115. Let h = n + 7. Which is smaller: 31 or h?
h
Suppose -z - 93 = -3*l - 5*z, 5*l + 5*z - 155 = 0. Do l and 286/9 have the same value?
False
Let y be 78/14 - (-48)/(-168). Which is greater: 6 or y?
6
Suppose -3*x - 10 = -8*x, -4*r + 4*x - 104 = 0. Let k = r - -39. Is 15 greater than k?
False
Let f(l) = -l**3 + 12*l**2 - 12*l - 12. Let i be f(6). Let x = 10/6329 - -12505954/94935. Let s = i - x. Which is greater: s or 0?
s
Suppose 0 = -3*l - 5*r - 552, 6*l - 2*r + 384 = 4*l. Is l equal to -188?
False
Suppose 0 = -3*v + 3*f - 3, -v = f + 9 - 6. Let i be -1 - -1 - (14 + -2). Let q be (v/7)/(i/(-28)). Which is smaller: -2/29 or q?
q
Let v = -134 - -26. Let o = 108.05 + v. Which is greater: o or 1/5?
1/5
Let i(m) = -7 + 25*m - 4 - 20*m + 1. Let d be i(3). Which is bigger: 2 or d?
d
Let n = 0.02 + 0.04. Let o(z) = -z**3 + 3*z**2 - z + 6. Let f be o(3). Suppose 2*w - 16 = -f*u, u + u - 24 = -4*w. Which is greater: u or n?
u
Let m = -0.4 - -0.4. Let f = -0.65 - 0.11. Let n = f + 0.8. Do m and n have different values?
True
Let t(x) = -3*x + 1. Let n be t(5). Let h be (-2)/n + 66/(-21). Let k be 12/(-48)*(-14)/(-1). Which is smaller: k or h?
k
Let q = -31.021 - -31. Let n = q - 0.079. Which is greater: n or -1/25?
-1/25
Let h(d) = 2*d**2 - 2*d + 1. Let y be h(0). Which is smaller: 28/3 or y?
y
Suppose 553*q - 551*q + 94 = 0. Which is smaller: q or -48?
-48
Let t(b) = -1 - 6*b + b**2 + 0 - 2*b**2. Let m be t(-5). Suppose 2*g + 6 = m. Is g < 1?
True
Let o = -5/1853 + 124286/50031. Which is smaller: o or 3?
o
Let c = 4.31 + -4.5. Let f = -0.22 - c. Is f bigger than 0.2?
False
Let o = -14 - -17. Suppose 4*y + w = o*w - 98, -y = 5*w + 41. Which is bigger: -27 or y?
y
Let d(w) = -w + 1. Let h(u) = -5*u + 2. Let r(c) = 20*d(c) - 5*h(c). Let g be r(-2). Which is greater: g or -6/25?
g
Suppose 3*a - 5*w - 35 = 0, -5*w + 6*w = 5. Let o be ((-25)/a)/(3/84). Do -33 and o have different values?
True
Let l be 12 + -7 - (-108)/(-7256)*336. Is 0.1 != l?
True
Let u = -1996 + 1994.1. Is -1/4 less than u?
False
Let p be ((-872)/(-72) - 13)*(-3)/2. Is 144 > p?
True
Let m be (4 + 0)*(165/(-2))/15. Let t be 4/m - (-544)/88. Which is greater: 2 or t?
t
Let b(u) = u**3 - 3*u**2 - 3*u - 7. Let c(m) = m**3 - 6*m**2 + 8*m + 5. Let t be c(4). Let y be b(t). Are y and 27 nonequal?
True
Let c(f) be the first derivative of -2*f**2 + 28*f + 14. Let n be c(7). Is -3 less than or equal to n?
True
Suppose 4*d - 42 = -2*p, 4*d - 3*p - 2*p = 7. Let f be -3 - (46/d - 6/24). Is -8 bigger than f?
True
Suppose 3*a = -5*l + 7, l - 2*a = -3*l + 10. Let o be l - 6 - -2 - -2. Let j be 5/(-7) - (2 - 3). Which is bigger: j or o?
j
Suppose 35*h - 29*h - 6 = 0. Which is greater: h or 12/11?
12/11
Let t = -6053 - -72679/12. Which is smaller: 5 or t?
t
Let u = -22 + 21. Let b be (-1 - u)/(-9 - -8). Which is smaller: b or 1/2?
b
Let f = -43 + 30. Let a = -17.6 - f. Let l = 0.6 + a. Is l smaller than 0?
True
Let q = 10.05 - 9.85. Is -13/6 >= q?
False
Let d(s) = 6*s - 19. Let i(o) = 5*o - 18. Let q(j) = 2*d(j) - 3*i(j). Let m be q(6). Suppose -4*p - 6 = 2. Is m bigger than p?
False
Let q(u) = -u**3 + 7*u**2 - 5*u - 14. Let p be q(6). Let d be -1 - 1 - 20/(-4). Suppose 5*b + d*g + 30 = 0, -19 = b - 0*g - 2*g. Is p less than b?
False
Let u = 2.0727 - 0.0727. Which is smaller: -14/45 or u?
-14/45
Suppose 2*g + 0*b - 2*b - 8 = 0, 5*b = 4*g - 15. Suppose 97*t = 102*t - 15. Is g smaller than t?
False
Suppose -5*w - 24 = w. Let g be -4 - (-1 + (w - -1)). Which is greater: g or -3/10?
g
Let w = 106 + -97. Let a = -10 + w. Which is bigger: a or 1/23?
1/23
Let c(z) = -z**2 - 6*z + 3*z**2 + 20 - 11*z - 3*z**2. Let u be c(-18). Is 5/8 less than u?
True
Let m = -977.5 - -978. Which is smaller: 3/73 or m?
3/73
Suppose -5*i - 92 - 8 = -3*v, 3*i = 5*v - 60. Let q = -115 + 84. Let j(a) = a**3 + 30*a**2 - 29*a