4*s + 123 = 0, 0 = -v + s - 42. Which is bigger: -44 or v?
-44
Suppose 5*m + 4*l + 61 = -139, 4*m - l + 160 = 0. Let w = -39 - m. Is 0 equal to w?
False
Let v(o) = o**3 + 3*o**2 - 7*o - 2. Suppose 0 = -3*s + 20 - 2. Let y(b) = b**3 + 4*b**2 - 6*b - 3. Let h(q) = s*y(q) - 5*v(q). Let g be h(-9). Does g = 1?
True
Let c = 1054 - 1054.075. Are c and -0.2 nonequal?
True
Let c(z) = -2*z**2 - 6*z. Let d be c(-4). Let m = 9 + d. Is m != -2/63?
True
Let k = -40 + 33. Let x be k/((-14)/(-6)) + 5. Suppose -7 = -2*q - 3. Do x and q have the same value?
True
Let j = -11.75 + 12. Let u = j + -12.25. Let o = -13 - u. Is 1.2 not equal to o?
True
Let r = 1.16 + -1. Let j = 0.09 - r. Let d = 0.27 + j. Do -4 and d have different values?
True
Let f be ((-3)/63)/((-18)/108). Which is greater: -7/12 or f?
f
Let d = 13 - 26. Let g = -6 + d. Let o = -15 - g. Which is smaller: 0.2 or o?
0.2
Let w be (3/(-7))/((-1)/2). Let a(v) = 2*v**2 - 11*v - 120. Let x be a(11). Which is smaller: x or w?
w
Let h be 1/2 - (-45)/(-42). Let x(c) = 0*c + 3 + c - 15. Let q be x(12). Is q greater than or equal to h?
True
Let u be ((-3)/51)/(23/16100). Is u smaller than -42?
False
Let s be (-90)/(-8) + (-69)/(-92). Is s at most 5?
False
Suppose 4*n - 102 = -2*o, 4*o - 7*n - 178 = -2*n. Let w = -21 - o. Which is greater: w or -67?
-67
Let g be 42/8*12/3. Let r be (-39)/(18/g - 1). Let p = -4097/15 + r. Are p and -1 unequal?
True
Let t = 453701/14068 - 2/3517. Is 33 at least as big as t?
True
Suppose 21*f - 5952 + 2403 = 0. Which is smaller: f or 172?
f
Let n be (6/4)/(9 + 423/(-48)). Which is smaller: 2 or n?
2
Suppose 3660*i - 33300 = 3642*i. Which is greater: 1851 or i?
1851
Let t be (0 - -2)/773304*-141293702. Let n = -1/27618 - t. Let o = n - 366. Which is smaller: -1 or o?
-1
Let z(l) = -l**3 + 5*l**2 + 7*l + 8. Let u be z(6). Let s be (u + -14)/((-3)/(-1)). Which is bigger: s or 2?
2
Suppose u - 4*u = 0. Let y = -225/299 + 35/23. Is u at least y?
False
Let m = 74 - 68.3. Let t = -0.3 - m. Is t greater than -1?
False
Let v(n) = -n**2 - 5*n - 2. Let r be v(-2). Suppose -r*t = -18 - 2. Suppose 0 = 2*f, -f + 17 = -i - t*f. Is -16 at least i?
True
Let t be (-1026)/(-120) + 6/24. Which is smaller: 10 or t?
t
Let a = -250 - -268. Which is greater: -0.5 or a?
a
Let x be (2/6)/(1/3). Let j(f) = -16*f**3 + 5*f**2 + 3*f - 2. Let y be j(-3). Let v = y - 4189/9. Which is greater: v or x?
x
Suppose 5 - 13 = -2*o. Suppose -p - o*m = 17, 2*p - 7 = 3*m + 14. Let w = 6.1 + -1.1. Is p equal to w?
False
Let v = 1.3 - 0.3. Let x = 8512 - 34109/4. Are x and v nonequal?
True
Let a(w) = w - 3. Let x be a(-4). Let u = -18 + 19. Let o be -2 + (2 - u)*-4. Which is smaller: x or o?
x
Let h = -222 + 667/3. Which is smaller: h or 46?
h
Let f be (5/3)/(2/6). Suppose 4*u + f*l = 11, 6 = -4*u + u + l. Let o be 3/2 - (-2)/(-4). Which is greater: u or o?
o
Let t = -42 - -42. Is t at least -3/28?
True
Let q be 226/120 - (-78)/(-585). Are 3 and q non-equal?
True
Suppose 6*l - 870 = 222. Which is smaller: l or 183?
l
Let j = 2 - 14. Let g be (-1)/4 - 27/j. Let k(q) = q**2 + 6*q + 9. Let t be k(-4). Is t greater than g?
False
Let k be 10 - 4 - (-8954)/(-1492). Which is smaller: k or -1?
-1
Let h = -78 - -94. Is h at least as big as -6?
True
Let t be (-1)/(-3) + -7*(-10)/(-385). Is 3 <= t?
False
Let j = -1212 + 3368. Is j equal to -1/3?
False
Suppose -10*n + 7 = -23. Suppose -4*c = -n + 7, q - 3*c = 2. Are q and -1/41 nonequal?
True
Let i(z) = -z**3 - 10*z**2 - 8*z + 11. Let p be i(-9). Suppose c + c - p = 0. Which is bigger: c or 2/13?
c
Let x = -1/8238 + 27503/354234. Is x smaller than 0?
False
Let v be (-272)/(-24) + (-2)/6. Suppose -v*n + 6*n + 20 = 0. Is 4 at least n?
True
Let k = 0.0538 + -62.0538. Which is greater: k or 2?
2
Let a = -9.4 + 10.1. Let n = a + -0.4. Are n and -1/9 equal?
False
Let s = 29 - 23.5. Let x = s + -1.5. Let a = -3 - x. Which is bigger: -0.1 or a?
-0.1
Let s be (6/(-5))/(2/(-5)). Suppose -5*v = -5*h - 50, 37 - s = 4*v - h. Suppose 15*m - 8*m = 56. Does v = m?
True
Let i(f) = f**2 + 13*f + 16. Let p be i(-12). Suppose 11*k - p = 9*k. Which is bigger: k or 13/8?
k
Let k = 50 + -47. Suppose 2*a = 4*d - 1 + 3, 4*d = a - k. Which is greater: -2/137 or a?
-2/137
Let w = -27 - 24. Let g = w - -50. Which is greater: g or 11?
11
Let r = 274499/3 - 89383. Let s = r + -2137. Which is greater: -20 or s?
-20
Suppose -16*r - 301 - 3123 = 0. Are r and -213 equal?
False
Suppose -3*k + 2*k + 5*s - 63 = 0, -3*s = -4*k - 184. Which is greater: 0 or k?
0
Let f = 822 + -821. Which is smaller: f or -1/238?
-1/238
Suppose -7*t + t = -t. Let l = -7 + 6. Which is smaller: t or l?
l
Let s = 11 + -79. Let m = s + 66. Suppose -o + 4*f - 7 = 0, 2*o = -3*f - 1 - 2. Which is greater: m or o?
m
Let z(p) = -p**3 - 23*p**2 + 27*p + 58. Let u be z(-24). Is 11 equal to u?
False
Let b = -24 + 7. Let a = 49 + -60. Let p = a - b. Is 4 <= p?
True
Let r(u) = u**3 + 2*u**2 - u - 2. Let i be r(-2). Let j be ((-13)/((-78)/(-12)))/(4/466). Let n = j - -1641/7. Is i >= n?
False
Suppose 0 = 4*y - 24 + 60. Let x be (3/y)/(1/(-9)). Suppose 0 = -5*m - p + 9, 2*p - 4 = -2*m + 6*m. Which is smaller: m or x?
m
Suppose -m - 2*m + 21 = 0. Let i be (m - 12)/(-4*1). Which is smaller: -2/7 or i?
-2/7
Suppose 4*f - 4*t - 992 = -f, -3*t - 989 = -5*f. Is f less than or equal to 195?
False
Suppose z = -5, l = 4*l - z - 68. Suppose -l*a = -19*a. Suppose a = -t - t. Is t != 5/6?
True
Let l(p) = 36*p - 674. Let b be l(20). Which is smaller: 52 or b?
b
Suppose 0 = -2*d + 140 - 140. Are -1/1012 and d equal?
False
Let v = -941495/8 + 117527. Let y = 159 + v. Are -2 and y non-equal?
True
Let l = 19 - 7. Let o be l/(-14)*(-28)/68. Let y = -2 - -2. Are o and y nonequal?
True
Let n = 3 + -4. Let l = n + 2. Let h = -74.6 + 75. Do l and h have different values?
True
Let k(i) = i**3 - 10*i**2 + 9*i - 12. Let f be k(9). Let r = f - -1. Let z(a) = -a**3 - 10*a**2 + 12*a + 17. Let m be z(r). Which is smaller: 8 or m?
m
Let n(o) = o - 2. Let q be n(2). Let t = -7 - q. Let z = t + 6. Which is bigger: -1/19 or z?
-1/19
Let k be (-4)/(-12)*1 + (-80)/60. Which is smaller: k or 1?
k
Suppose 6 = 5*k - 2*k - i, 4*k - 3*i = 8. Suppose -7*n = -4*n - 15. Suppose 5*y + 5*r + 32 = k*y, -n*y = -r + 44. Is y at least as big as -8?
False
Let w = 2681 - 1483. Let x = -13188/11 + w. Are x and 0 equal?
False
Suppose -5*i + 4*i + 2 = 0. Let w be (-53)/i - 4/2. Let f = w + 21. Which is smaller: -7 or f?
f
Let w(x) = -x**3 - 5*x**2 - 4*x + 2. Let m be w(-3). Let b be ((-2)/33)/(30/(-9) - m). Is -3 not equal to b?
True
Let u = -6 + 200. Suppose 18*f = 20*f - u. Is f smaller than 97?
False
Let m = -16 + 10. Let q be (5 - (3 + -54)) + -4. Let x = q + -56. Do x and m have different values?
True
Let m = 28 - 22. Suppose 4*h + m*r + 38 = 4*r, 0 = -2*r - 6. Let b be (9/6)/(4/h). Is b greater than -4?
True
Suppose -7*y + 11484 = -73*y. Is y < -174?
False
Let l = 1530773/12922 - 1540/13. Which is smaller: 0 or l?
0
Let j = 1 - 1.1. Let q = -7.1 + 18.1. Which is bigger: j or q?
q
Let j = 2212 + -584. Is j greater than 1628?
False
Suppose 0 = -2*f - 4*a + 44, 2*f - 3*f = -2*a - 6. Let s = f + -13. Let m be 20/15 - 2/s. Which is greater: -2 or m?
m
Let i = -5760 + 2844. Is i > -2916?
False
Let r = -18 + 24. Suppose 2*z - 4 = 5*l, -3*z - 19 = -l + r*l. Let s = -16 + 19. Are l and s equal?
False
Let j be ((-93)/4)/((-282)/(-752)). Which is smaller: j or -61?
j
Let n = 98.3 - 95.3. Let k = -569/7 + 81. Which is smaller: n or k?
k
Let b = -4260 + 4286. Let d = 0.1 - 0.2. Which is greater: d or b?
b
Let j be 2*((-9)/(-30))/((-3)/(-4)). Is -0.06 smaller than j?
True
Suppose 4*u - 196 = -4*l, -15*l + 14*l - 95 = -2*u. Which is greater: u or 95/2?
u
Let r be (1 + -7)/((-867)/(-2023)). Let m(i) = -4*i + 7. Let u = 8 + -3. Let b be m(u). Is b less than r?
False
Let c = -1761/2 - -3769/4. Is 62 not equal to c?
True
Let b(g) = 5*g + 12. Let v(a) = -14*a - 35. Let h(t) = 8*b(t) + 3*v(t). Suppose 5 = -5*c - 30. Let k be h(c). Which is bigger: 0.1 or k?
k
Let f be (6/4)/(20 + -2). Let s = 742 + -741. Which is smaller: f or s?
f
Let x be (-4 + (-66)/(-18))*1746/(-3). Is 195 > x?
True
Let f(a) = 19*a + 1. Let z be f(1). Suppose 0 = 5*w - 9*w - z. Let s be (-1)/((w - -3) + 1). Is 2 less than s?
False
Suppose 3*c - 6