lues?
True
Let d = -2 - -8. Suppose 2*l + 3*l = -3*n + d, 4*l - 4 = -2*n. Are n and 0 non-equal?
True
Let i(c) = 4*c + 3. Let w be i(-1). Which is greater: 1/121 or w?
1/121
Let v = 24.1 + -24. Let t = -0.24 - -18.24. Let d = t + -5. Is d at most v?
False
Suppose -11*c = -14*c + 30. Let b be 4*25/(c/(-2)). Is -22 at least as big as b?
False
Let l be ((-9)/(-12))/(9/24). Suppose -v - 3*t + 0*t + 10 = 0, 0 = -2*v + t - 1. Suppose 2*m - 10 = -2*a, 2*m - 2*a - v = -7. Is m greater than l?
False
Let j be 1*-4 + (-7 - -11). Suppose j = b - 2*b + 13. Are b and 13 non-equal?
False
Let n be (4/(-10))/((-27)/5). Suppose l = -26*l. Do n and l have the same value?
False
Let n = -5.51 - -6. Let s = n - 0.3. Let b = 1.19 - s. Which is bigger: b or -0.2?
b
Let o = -216 - -180.9. Let u = 35 + o. Let n(a) = -a**3 + 8*a**2 + a - 9. Let i be n(8). Which is smaller: u or i?
i
Let k = -2.118 + -239.882. Is 4 > k?
True
Let j = 1258 - 1259. Let a be 1080/13 + 3/(-3). Let u = 82 - a. Which is smaller: j or u?
j
Let f = 25.9 + -27. Let v = -20.1 - f. Do v and -1 have different values?
True
Let u = 89709/5064865 - -3/15119. Let k = -4756/3685 + u. Are k and -1 unequal?
True
Suppose 8*u + 138 = 11*u. Let v be (2/(-16)*u)/((-1)/4). Is 23 <= v?
True
Let p = 2 - -8. Let d(m) = 3*m + 61. Let w(t) = t**3 - 5*t**2 - 14*t - 17. Let i be w(7). Let g be d(i). Is g < p?
False
Let o = -80 - -82. Let y be o/(-42) + 80/(-35) + 2. Which is bigger: -6 or y?
y
Suppose -2*q + 7*q - 3*c = 34, -2*c = -q + 11. Suppose 81 = q*z + 6. Let t be 3/(-1 - z/(-6)). Is t equal to 5/6?
False
Let q(t) = -t**2 - 6*t. Let f be q(-5). Suppose -3*j + 3 + 6 = -3*n, -5*n + 3*j - 5 = 0. Suppose -3*b - f = -n. Is b != -2/11?
True
Suppose -m - 4*s = -4*m + 14, -3*s = 3*m. Which is bigger: -213 or m?
m
Suppose 4*u + 0 = 4. Let l = -1467 + 11739/8. Do l and u have different values?
True
Let a = 111 - 84. Let h = -27.1 + a. Is h != 37?
True
Let x = 0.44 - -0.33. Let f = -0.23 - x. Is -22 smaller than f?
True
Let w(b) = 2*b - 4 - 3 - 1 - 10. Let n be w(14). Is 12 at least n?
True
Let j = -1/29 - 26/87. Let w be 4/64*16*(-38)/(-6). Is w less than j?
False
Let d = -1675 - -1652. Which is smaller: -20 or d?
d
Let m(g) = 10*g - 128. Let x be m(9). Is x not equal to -5?
True
Let o = -287 - -244. Which is smaller: -45 or o?
-45
Suppose 19*b - 21*b = -u, b = -3*u. Which is smaller: 24/181 or u?
u
Let t be (-13)/10 - (-4)/8. Let y(b) = -b**3 - 6*b**2 + 10*b + 13. Let w be y(-7). Let v be 2/(-8) + -2*1/w. Is v at least t?
True
Suppose -3*b - 2 = v, 3*v + 3*b + b = -1. Let s = 6157/3103 - 57/29. Is s <= v?
True
Suppose -4*b + 1036 = 4*j, 14*b - 2*j - 757 = 11*b. Suppose -3*k + 0*i - 4*i - b = 0, 0 = 3*k - 2*i + 237. Is -81 greater than k?
False
Let j = -306837/109 + 2815. Suppose -5*g = -25, 14 + 8 = 3*f + 5*g. Which is smaller: j or f?
f
Let k = -0.7 - 10.3. Let l = k - -11. Which is greater: 0.7 or l?
0.7
Let d = -247 + 224. Is -20 >= d?
True
Let n(t) = -t + 14. Let c be n(13). Let y be 178/(-58)*c + 3. Which is bigger: y or 0?
0
Suppose 4540 = -16*b + 11*b. Is -908 not equal to b?
False
Let o = -0.128 - -6.528. Let x = -5.2 + o. Which is greater: x or 3?
3
Let p be 35/7 - (5 - -1)*1. Is p > -34/21?
True
Let o be (-1)/4*40/15. Suppose -2*a - 68 = -66. Is o not equal to a?
True
Let x = -25 + 22. Let q(f) = f**2 - 5*f + 2. Let k be q(5). Which is smaller: x or k?
x
Let m = 926.05 - 945. Let r = m - -21. Let w = r - 0.05. Is w smaller than 3?
True
Let g = -1185 - -1186. Are 29/17 and g unequal?
True
Let r(x) = x**3 - 4*x**2 - 3*x - 7. Let y be r(5). Suppose 2*o - o + 17 = -y*c, -2*c + 5*o - 34 = 0. Let w be -2 - ((-15)/(-12))/(4/16). Does c = w?
True
Let s = 20 - 22. Let c(p) = -3*p - 6. Let a be c(4). Let r be a/99 + 76/(-66). Which is bigger: r or s?
r
Let d be 15/6 - 3013/46. Which is greater: d or 1/5?
1/5
Let s(q) = q + 4. Suppose -4*y = -8*y - 16. Let b be s(y). Let u be (-325)/273 - (-54)/63. Does b = u?
False
Let z = -1273.5 - -1285. Is -3/5 >= z?
False
Let z = 5/1326 + -1084/199563. Is z at most -1?
False
Let g be (8 + -7)/((-1 - 6)/28). Is g equal to 44?
False
Let y = 518 + -449. Is 9 at least as big as y?
False
Let q be (13 + (-117)/9)/(-1). Suppose 3*j = -2*h + 8, 0*h - 1 = -h. Let m = j + -3. Are q and m unequal?
True
Suppose -5*m = 3*f - 6*f - 68, 96 = -5*f + 4*m. Let k(u) = 3*u - 4. Let z be k(-4). Are z and f non-equal?
False
Let k be ((-3)/2)/(3/5). Let g = 2/5009 - 10040/55099. Which is smaller: g or k?
k
Let c = 197 - 195. Let w = 1 + -1. Suppose w = -2*y - c*y + 20. Which is bigger: y or 6?
6
Let s be 1 + 112/(-92) + 5 + -4. Which is smaller: 2 or s?
s
Let v = -21 - -10. Suppose -559*h - 276 = -536*h. Does v = h?
False
Let d be 135/(6/8 - 18/(-72)). Is d smaller than 135?
False
Let h = 13730/11 - 1249. Is -1 less than h?
True
Let j = -158 - -793/5. Let b(q) = -q**2 + 150*q + 8771. Let o be b(-45). Which is bigger: j or o?
j
Let u be 4/(-6) - 54796/57. Let n = u - -10590/11. Let z(l) = -l - 6. Let m be z(-6). Is n less than or equal to m?
False
Suppose 0*f + 4 = 4*v - f, f + 4 = 2*v. Suppose -7*u = -2*u - r + 18, 2*u + 16 = -4*r. Let g be (-1)/u + 65/(-100). Which is greater: g or v?
v
Let r be (8/30)/((-976)/(-200) - 5). Which is smaller: r or -0.2?
r
Let d be -12*(-1 + (-22)/(-8)). Let w be d/35*5/4. Let o = -0.91 - -1.31. Which is smaller: w or o?
w
Suppose -5*v + 33 - 8 = 0. Suppose -g + u = -5*g + 29, -32 = -v*g + 3*u. Let i(a) = -a**2 + 6*a - 7. Let s be i(g). Is s bigger than -12?
False
Let q = 599 + -516. Which is smaller: q or 79?
79
Let d = 25.979 - 26. Let t = d - 0.079. Which is smaller: t or -7/2?
-7/2
Let i = 1538 - 1549. Let k be -2*1 + 2 - 3. Let l be k/2*(-2)/(-6). Are l and i unequal?
True
Let g be (-9 - -3 - (-4 - -2))*6. Suppose 8 + 12 = 5*u, 4*u = -5*c - 99. Which is greater: g or c?
c
Let k be (-2)/(-12)*27/6. Let j = -32 - -40. Suppose 5*h - h - 17 = -3*z, h - j = -2*z. Which is greater: h or k?
h
Let x = -2210 - -734. Which is smaller: -1477 or x?
-1477
Let m be 2/(6/5)*9. Let c(k) = -37*k - 1097. Let d be c(-30). Is m equal to d?
False
Let k = -214.0481 + 0.1481. Let g = -204 - k. Let c = g + -1.9. Is c smaller than 0?
False
Let c(y) = y**2 + 10*y - 13. Let b be (3/(-6))/(3/66). Let n be c(b). Let j = 2 + n. Is j greater than or equal to -2/9?
True
Let d be 4/7 + 5/(-35). Let g be ((-9)/(-6))/((-1)/(-2)). Suppose 0 = -2*j + 4*o + 4, -g = -j - j + 3*o. Is d > j?
True
Let b be 430/4*6/15. Let s be 3/(-6) + -1 - b/(-26). Suppose 5*i = 4 + 1. Which is smaller: i or s?
s
Suppose 0 = -14*t + 12*t + 18. Suppose t*p + 32 = 122. Which is greater: 8 or p?
p
Let d = -52 + 108. Suppose 5*j + 2*p - d = 0, 2*j - 7 - 13 = -2*p. Which is smaller: j or 11?
11
Let m = -33 + 69. Let q be 4 - m/10 - (-364)/(-10). Are -35 and q unequal?
True
Let i be 3/45 - 29/(-15). Let s(q) = q**3 - 2*q**2 - q - 3. Let y be s(3). Are i and y unequal?
True
Let h = -29 + 50. Let x = -15 + h. Suppose -x*w - 5 = -w. Which is greater: w or -2/59?
-2/59
Let r be 1/((-24)/(-26) - 1) + 4. Let c = 87 + -98. Are c and r nonequal?
True
Let n be 26 + 0 + (28 - (-5 - -27)). Which is smaller: 164/5 or n?
n
Suppose 4 + 6 = 5*i. Let n be (8/(-6))/(i/9). Let k(b) = -b**3 + 10*b**2 - 20*b - 10. Let u be k(7). Is n >= u?
False
Let f be ((-4)/6)/(1/45). Let i = f + 28. Which is smaller: i or -21/8?
-21/8
Let v = -32 + 35. Suppose l - 4 = 0, 4*l = -v*y + 9 + 7. Which is bigger: 2/11 or y?
2/11
Let m = 0.17 + -0.07. Let s = 16.8 + -16. Which is bigger: m or s?
s
Let a = 1.82 + -74.82. Which is greater: a or -2/13?
-2/13
Let b be (-78)/10 + 20/25. Let n be -1 + 0 + (-9)/b. Let l(d) = -d**2 + 4*d + 6. Let m be l(5). Which is greater: n or m?
m
Let k(x) = x - 12. Let c be k(10). Let t be (c - 0)*(-8)/(-68). Is t > 1?
False
Suppose 0 = 3*i - 6, -3*a - i - 16 = 0. Let h be (-120)/(-36) + 2/a - 2. Let c be 10/(-16)*(-1)/(-5). Which is smaller: h or c?
c
Let l(b) = -b**3 + 32*b**2 - 86*b + 778. Let x be l(30). Let w = -0.03 + -1.17. Is w at least x?
True
Let w = 5.3 - -146.7. Which is smaller: w or -0.2?
-0.2
Let n be (-4)/18 - (-4172)/630. Is 7 smaller than n?
False
Let d = 13110/13 - 1008. Is d > -1?
True
Let g = -6664/2413 + -184/127. Which is smaller: g or -3?
g
Let a(f) = 38*f**2 + f + 1. Suppose 0 = -5*k - 2 - 3. Let l be a(k). Which