rue
Let r(w) = 7*w - w**2 + 10 + 4 - 8 - 2*w. Let m be r(6). Suppose -5*y = 15, 2*l + y - 3*y - 8 = m. Are 3 and l equal?
False
Let b = -1504/91 - -226/13. Which is bigger: -9/7 or b?
b
Let r = -2486 + 7457/3. Which is bigger: r or -3?
r
Let u = -42.1 + 423.1. Is u > -2/5?
True
Let c(w) = 42*w - 141. Let b be c(3). Which is smaller: b or -16?
-16
Let k = -12 - -26. Let s = -14697 + 43672/3. Let o = s - -140. Which is bigger: k or o?
k
Let f = -18 + 21. Suppose -f*l + l + 8 = -2*w, -2*l - 4 = 2*w. Suppose 3*i - 6 = 6*i. Which is greater: i or l?
l
Let j be ((-306)/(-112))/((-15)/(-12)). Let f = -168 - -1160/7. Let m = f + j. Is m > 1?
False
Let b be (60/21 - 3)/(15/10). Is 0 less than or equal to b?
False
Let b be (-51)/(-10) + (-24)/(-48). Is -13/2 bigger than b?
False
Let o = 137 + -111. Is 0.2 != o?
True
Let o(p) = 3*p**2 + p - 80. Let n be o(0). Which is smaller: -159/2 or n?
n
Let u = -0.79 - -1.52. Let f = -0.63 + u. Let s = 0.1 + 0. Is f >= s?
True
Let v = -87 + 91.1. Let q = 4 - v. Let o be 4 - 2 - -1 - 6. Is q at most o?
False
Let l be (-4)/(-6) - (-44428)/(-52206). Let w = -2/791 - l. Let c = w - -7/22. Which is smaller: c or 0?
0
Let k = -16072 + 401798/25. Suppose 5*x - x = 0. Is x greater than k?
True
Let d be (-3)/(-15) + (-3432)/35. Let q = -98 - d. Suppose 2*w - 15 = v - 6*v, 5*v = -5*w + 30. Are q and v non-equal?
True
Let p = 7 - 5. Suppose 4*f + 2 = 2*f - 2*l, p*f + l = 0. Let q(k) = -k + 11. Let y be q(8). Which is bigger: f or y?
y
Let u = 0.28 + 8.72. Let h = 8/35 + 2/35. Which is bigger: h or u?
u
Let n = 18.6 + -4.7. Let u = n - 1.9. Let i = u - 12. Is 1/2 at most i?
False
Suppose 45 - 219 = 6*h. Is h greater than -3?
False
Let b = 15 + 200. Is 1 bigger than b?
False
Let f(h) = -h - 7. Let x be f(-3). Let j be 1*(-2 + x/(-2)). Which is smaller: 2/11 or j?
j
Suppose 0 = 7*q - 5*q - 4. Let n be (-18)/60*4/q. Which is smaller: n or -2/9?
n
Suppose 0*f = -2*f - 54. Suppose 3*i - 4*c + 89 = 0, -i + 5*i - c = -110. Is f less than or equal to i?
True
Let u = -122.71 - -122. Let v = u - 66.29. Is v smaller than -0.1?
True
Let t(c) = -c**3 - 17*c**2 - 24*c - 9. Let z be t(-16). Let r = 598/5 - z. Let a = 57 + -55. Is a greater than or equal to r?
True
Let c(i) = -3*i**2 - 4*i + 4. Let z be c(-2). Which is smaller: -2/35 or z?
-2/35
Let f be 4/5 - (-4)/20. Let l be ((-20)/25)/(f/5). Which is greater: l or -11?
l
Let g = -0.206 + 0.146. Is 4 >= g?
True
Let y be 3/(-3) + (-325)/(-150). Which is greater: 2 or y?
2
Let s be (-3)/(-6)*(-7920)/9. Do -442 and s have different values?
True
Let r = -394 - -392. Let k be 48/(-70) + (-4)/(-10). Is k > r?
True
Suppose -4*d - 15 = 5*a, -2*d + 2*a - 9 = 5*a. Suppose d*g - g - 4*h - 29 = 0, 61 = -4*g - 5*h. Which is bigger: 3 or g?
3
Let z = 1 - 8. Let u = -12 + 40. Suppose -3*t - u = 4*j, 2*t = -4 - 4. Are j and z equal?
False
Let a be (-50)/660*(-167)/10. Let b = a - 13/12. Which is bigger: b or -0.1?
b
Let y(n) = n**2 + 9*n + 14. Let r be y(-8). Suppose 8 = -4*o, -2*m - 6 = -o + r. Which is smaller: m or -9?
-9
Let k = -365 - -693. Let i be 94/(-329) - (k/(-1050) + 0). Let o = 1 - 1. Are i and o non-equal?
True
Suppose -7*k = 7*k + 1008. Are k and -73 equal?
False
Let a = 1.37 + 5.33. Let p = -7 + a. Let l = -62 + 61. Which is smaller: l or p?
l
Let j be ((1 - -6)/(-1))/1. Suppose -2*n + 48 = 3*h + 54, 0 = 4*n - h - 16. Which is bigger: j or n?
n
Let o be 88/(-260)*68/48. Let q = o + 9/26. Let b = -2 + 1. Which is smaller: q or b?
b
Let l be 1/((-171)/39) + (-12)/114. Are l and -546 nonequal?
True
Let q = -3619/3 + 68683/57. Which is smaller: 0 or q?
q
Let z = 655/4 - 163. Let q(f) = f**3 - 14*f**2 + 14*f - 1. Let t be q(13). Suppose -t = -5*h - 2. Which is bigger: z or h?
h
Let m(b) = -13*b - 9. Let t be m(-1). Suppose -x = -4*g + 81, -3*g + 28 + 30 = 2*x. Let h = 68/3 - g. Is h greater than t?
False
Let g be (3 + -2)*0/(-1). Suppose -v = 5*i + 72, i + 4*v = -g - 3. Suppose -5*j = -2*d + 66, 48 = -3*j - 10*d + 7*d. Which is smaller: i or j?
i
Let f(z) = 73*z + 44. Let k be f(4). Let b = -1019/3 + k. Is b at most as big as -3?
True
Suppose j + 4*r = 300 - 44, 0 = -3*j - 2*r + 748. Suppose -3*x = 4*n - j, -x - x - 228 = -4*n. Let o = n + -42. Which is smaller: 16 or o?
16
Let n(f) = f**3 - f + 1. Let r be n(-3). Suppose 28 = w + 4*b, -2*w + 4*b + 35 = -45. Let v = -60 + w. Is r smaller than v?
False
Let c(r) = -2*r**2 - r + 165. Let v be c(-12). Is -447/4 > v?
False
Let d = -137 - -133. Is -4 < d?
False
Let o = -854 + 855. Let x be (-46)/205 - 6/(-30). Is o less than x?
False
Suppose 0 = 4*y + 24 - 112. Suppose 110 = -5*s - 5*u, -s = 3*u + 2*u + y. Let n = s - -22. Are 2/7 and n unequal?
True
Let q = 1/154 + 305/462. Let f = 84 + -505/6. Which is smaller: q or f?
f
Suppose 12 = -4*d, 0 = -r - 3*d - 6 - 1. Suppose k = -r*k. Let s = 476 + -3329/7. Is k > s?
False
Let b = -0.2 + 0.3. Suppose 16*x - 186 - 102 = 0. Suppose -x*r + 15*r = 33. Which is smaller: b or r?
r
Suppose -30 = 5*l + 20. Let o be 5 - ((-7)/(-2) - l/20). Are o and -2/7 unequal?
True
Let f(w) = -w**3 - 6*w**2 + w + 4. Let u be f(-6). Let q be ((-3)/u)/(7/14). Let k be (-2)/(1/(q/6)). Is k at least -3/5?
False
Let d(s) = 2*s**3 + 11*s**2 + 5*s + 10. Let p be d(-5). Suppose -p*q - 250 = -0*q. Is q > -25?
False
Let o(k) = -2*k**2 + 28*k - 19. Let l be 2/(-3) + (-123)/(-9). Let j be o(l). Is 8 > j?
True
Suppose 11 = g + 4*y, -3*g + 3*y = -2*y + 18. Let w be g + -9*1/(-3). Let l be 9/27*(-1 - w). Is -1 greater than l?
False
Let q be (-45)/4 - 3/(-12). Suppose 3*y = k + 10, 2 = -y - 0*k - k. Let b = y + -12. Which is smaller: q or b?
q
Let k(m) = m**2 - 2*m - 10. Let w be k(10). Suppose w = -t + 6*t. Is t <= -2/3?
False
Suppose -g - 9*g = -20. Suppose -3*m = -h - 39, g*m - 11 - 4 = -3*h. Are m and 37/3 non-equal?
True
Let x = -6.2 - -1.2. Let b = -4.4 - x. Let w = 0.7 - b. Which is smaller: w or 0?
0
Suppose k + 4*k = 5. Suppose -r + 15 = 2*d, 0 = -d + 46*r - 49*r + 20. Which is greater: d or k?
d
Let r = 26.5 - 43.4. Let a = r + 15. Is 1 at least a?
True
Suppose 4*o + 966 = -4*i - 414, 4*i + 698 = -2*o. Is o at most -340?
True
Let t = 193.85 - 189. Let n = t + -5. Let o = 0.05 + n. Which is smaller: o or 2?
o
Let x be (0/2)/2 + -2. Let o be (9/6)/((-3)/x). Let r be (-180)/(-532) - 2/7. Which is smaller: r or o?
r
Let v = 31 + -29. Suppose 2 = -3*z + 11. Suppose -v*a + 140 = z*a. Is a <= 29?
True
Suppose -6*q + 413 = 125. Let c be (-4)/(q/9)*-4. Suppose -2*x + 4*l = -8, 0*x = 2*x - c*l - 7. Which is smaller: 4 or x?
x
Suppose 3*v - 14 = -2*f, f - 17 = -3*v - v. Let p be 24/6 + (-52)/14. Which is greater: p or f?
f
Let q be ((-16)/(-80) - -1) + (-57)/60. Let j = 0.09 + 0.2. Which is bigger: q or j?
j
Let g(o) = -2*o**2 - 14*o - 11. Let m(s) = -3*s**2 - 27*s - 21. Let d(q) = 5*g(q) - 3*m(q). Let k be d(12). Let c = -19 - -19. Which is greater: k or c?
c
Let a be (13 + (-117)/26)/(2/4). Is 46 equal to a?
False
Let x = 18931/4 - 4777. Let u = -44 - x. Which is greater: u or -2?
u
Let j = -0.3398 + -0.0602. Which is smaller: -3 or j?
-3
Let d = -22 + 21. Let j = 5.08 + -5. Let m = -2.92 - j. Which is greater: m or d?
d
Let f be 54/(-45) - 212/(-10). Is 17 < f?
True
Suppose -41*n + 1720 = -37*n + 4*p, 0 = -2*p. Is 430 != n?
False
Let y be (4/2 + -2)/2. Let d be (-184)/37 + 75/15. Is d greater than y?
True
Let r be (-1449)/(-1235) - 27/(-45). Let h = r + -21/13. Is 0 less than h?
True
Suppose -5*p + 0*p + 90 = 0. Suppose 3*w + p = -21. Let j(i) = -i**3 - 10*i**2 - 7*i + 5. Let s be j(-9). Are w and s nonequal?
False
Let b(t) = -t**2 + t + 2. Let c(d) = -5*d**3 + 3*d - 2. Let i be c(1). Let x be b(i). Let r = x - -19. Do r and 3 have different values?
True
Let w be (4/(-40))/(0 + (-62)/(-4)). Which is bigger: -1 or w?
w
Let z = -6 + 6. Let u(r) = -r - 12. Suppose -4*c = 56 - 12. Let s be u(c). Is z at most s?
False
Suppose -3*j = z + 7 + 5, 2*j = -10. Let x be 564/140 + (-12)/z. Is x less than 1?
True
Let w(i) = 1. Let c(f) = -4*f + 32. Let t(k) = -c(k) + 24*w(k). Let g be t(4). Do g and 7 have different values?
True
Suppose -3 = 4*y + 37. Suppose 6*k + 165 = 93. Do k and y have the same value?
False
Suppose -108 = 5*o + 2*j, 2*j + 137 = -4*o + 51. Let v = o - 0. Are v and -23 nonequal?
True
Let t = -9 - -11. Let m be 21/(-7) - 0/t. Suppo