= -1.7 - -30.7. Let r = -20 + s. Let g = r + -10. Which is smaller: 4 or g?
g
Let z = -2 - -4. Let a(p) = 3*p**2 + 2*p**2 - 3*p**2 - 4*p - 4 - p**z. Let d be a(5). Which is greater: d or 2?
2
Suppose 11 = -2*s + 3*r, -5*s - 5*r = -0*s + 15. Which is smaller: 28 or s?
s
Let s be (-7636)/(-28773) + 2/(-9). Which is bigger: 1 or s?
1
Let m be (-4*1)/(6 + -8). Let g be 12/(-9)*m/12. Let j(t) = t**3 + 2*t**2 + t + 1. Let s be j(-2). Are s and g unequal?
True
Let o = -2440 - -2500. Is o equal to 0.6?
False
Let i = 39 - 7. Suppose 99 - 363 = -8*j. Is j at most as big as i?
False
Let z = 59.57 + -60. Let x = 0.33 + z. Which is smaller: x or 5?
x
Let f be 2/(((-12)/(-225))/(8/(-20))). Let s = f + 47/3. Are s and -2 unequal?
True
Suppose 0 = -5*w + 4 - 14. Are -38 and w nonequal?
True
Let k = -55113349/420 + 131222. Let z = k + 1/105. Which is smaller: 7 or z?
z
Suppose -12*z = -5 - 7. Suppose 0 = -4*y + 12 + 4. Suppose y*b + 4 = -0. Which is bigger: b or z?
z
Let l = 1996 - 1906. Is 90 less than l?
False
Suppose 3*y + 72 - 2 = 4*l, 5*l - 105 = -5*y. Suppose -7*p - l = 16. Is -0.2 > p?
True
Let o be -6 - 1/((3/(-3))/(-2)). Let z be 2/o*-4*1/18. Which is smaller: z or -1?
-1
Let w be 11 - 2922*(-1)/(-3). Do -965 and w have different values?
True
Let p(b) = -2*b**3 + 2*b**3 + 0*b**3 + 15*b**2 - b**3 + 16*b. Let c be p(16). Suppose 4*a + 4*h - 9 - 7 = 0, c = -3*a - 5*h + 8. Are a and 6 non-equal?
False
Let t = -84.55 - -26.55. Is t greater than -1.5?
False
Suppose 5*u + 252*h - 15 = 247*h, 3*u = -2*h + 6. Which is smaller: 28/125 or u?
u
Let z = -685/198 - -81/22. Which is greater: z or -4/5?
z
Let c be ((-2)/7 - 0)/(928/(-112)). Which is bigger: -2/27 or c?
c
Suppose 2*k + 1 = k. Let f(c) = c + 1. Let h be f(k). Suppose -5*w = -j + 7, 5 = -3*w + 5*w - 3*j. Is w at least as big as h?
False
Suppose -2*a + 65 + 103 = -4*z, 4*a = -2*z + 346. Suppose -2*o = p - o - 22, -a = -5*p + o. Which is greater: 19 or p?
19
Let i = 27 - 28. Is i less than or equal to -7/101?
True
Let n = 0.037 - -47.963. Let v = -50 + n. Let o = 1 - 2. Which is greater: v or o?
o
Let n be 5/(20/(-14))*(-45)/(-63). Suppose 4*f = 3*g + 4, -4*g - 4*f = f + 26. Which is smaller: n or g?
g
Let c be (-48)/(-18)*(0 + -3). Let a(w) = w**2 + 10*w + 17. Let k be a(c). Suppose 3*h - 4 = -k. Which is smaller: -1/9 or h?
-1/9
Suppose -4*h - 168 = 2*q, -3*h + 2*q = 3*q + 126. Is -376/9 at least h?
True
Let s = -0.052 - 0.048. Let b = s - 1.8. Which is smaller: b or -2/3?
b
Let a = -2/59 + 151/6195. Let d = -961/2 + 481. Which is smaller: d or a?
a
Suppose 0 = -4*s - 3*s. Are 11/36 and s unequal?
True
Suppose 3*h - 6 = 9. Let v(z) = -z**2 + 7*z - 5. Let f be v(h). Let x be (f + 0)/((-4)/(-4)). Are x and 1/3 unequal?
True
Suppose -3*v - 5*w + 2 = 0, v + w = 5*w - 5. Let n be (-3)/8 - ((-4335)/600)/(-17). Which is smaller: v or n?
v
Let k = -166 - -173. Which is smaller: k or 1.2?
1.2
Let o be 66/(-4)*(-28)/(-21). Let f be 2*(7/o + 2/(-11)). Which is greater: 2/43 or f?
2/43
Let z be -7 - (5 - -54)*1. Is -525/8 bigger than z?
True
Let z = -7 - -10. Suppose j - z*h - 5 = 0, -3*j + h + 20 + 19 = 0. Suppose -c - 5*r = -j, c + 0*r = r - 16. Is c less than -10?
True
Let a be (-6)/(-3) - (4875 + 11)/14. Which is smaller: -350 or a?
-350
Let w(y) = y**2 - 14*y - 23. Let t be w(-9). Which is bigger: t or 182?
t
Suppose -7*a = -4*a. Let b be (4/(-395))/((-8)/(-20)). Which is bigger: b or a?
a
Suppose 11*i = 17*i + 6. Is i less than or equal to 4/515?
True
Let z = 0.0053 - 0.2053. Does z = -0.25?
False
Let c be 8/24*3/(-35). Suppose -4*n = 12, 4*u + 6 = 5*u + 3*n. Let i be 9/u - (-12)/(-20). Do c and i have the same value?
False
Let i = 369.341 - -0.659. Is i less than or equal to 0.1?
False
Suppose 5*x = 2*x + 510. Let b = x - 3401/20. Let z = -7/60 + b. Is z > 1?
False
Let s = -11 + 11. Let l be 0 - s - (-5 + 3). Suppose 29 = -l*n + t + 4*t, -5*t = 5*n - 15. Which is bigger: n or -10/7?
-10/7
Let f = -78 - -78. Let c be 12/(-9) - (-3)/9. Let a be 1*(-2 + (2 - c)). Which is greater: f or a?
a
Let g(n) = -n**3 - n**2 - 8*n + 5. Let u be g(6). Let d = -7963/27 - u. Are 0 and d unequal?
True
Suppose 0*h + 2*h - 50 = -2*k, 2*k - 62 = -5*h. Suppose 8*b - 11*b = k. Which is greater: b or -4?
-4
Let q be -3 + (-616)/(-105) - 1. Which is smaller: q or 3?
q
Let j(y) = -1324*y**2 - 5. Let b be j(5). Let k be b/(-6)*2/39. Let t = k + -283. Which is smaller: t or 0?
t
Let h = -39 - -153. Let z be h/22 + 26/(-143). Which is smaller: 4 or z?
4
Let b(i) = 5*i**2 - 1. Let z be b(-1). Suppose 446 = -30*w + 476. Is z less than w?
False
Let x be (1*-8)/((-48)/360). Let k be x/(-35) + (-1 - 15/(-21)). Let b = 3 + -2.6. Do k and b have different values?
True
Let q = 748 - 755. Are q and -0.17 equal?
False
Suppose 0 = -13*f - 5369 + 1495. Is f smaller than -296?
True
Let b = 23 + -16. Let t be 10/(-4)*b/(14/4). Is 1/6 equal to t?
False
Suppose 27*g = 25*g + 2. Let h be 2/12*6/(-45). Which is greater: g or h?
g
Let y = 1 + -0.9. Let b be (-8)/(4*-28)*6. Is y at least b?
False
Let l = -3 - -2.4. Let g be 4 + 0 + -1 - 6. Let n be 1*0*g/6. Which is smaller: l or n?
l
Suppose 5*n + y + 1 = 0, 2*n - 18 = 4*n - 4*y. Let t be ((-39)/9 + 4)/(32 - 15). Is t >= n?
True
Let n = -0.2 - -0.15. Let g = 10.95 - n. Let l = 9501/4 + -2375. Which is greater: g or l?
g
Suppose -87*c - 19152 = -3*c. Which is smaller: c or -229?
-229
Let w = -417.917 - -418. Is w at most as big as 1/4?
True
Let t(b) = b**2 - 5*b + 5. Let k be (10/(-6))/((-21)/63). Let o be t(k). Suppose -5*m - 4*x = -0*m + 9, 5*m + 10 = -o*x. Which is greater: m or -2/93?
-2/93
Let d = -0.11 - 0.09. Let k be ((-1)/(-2))/(11/(-22)). Is d >= k?
True
Let n = -62 - -61. Let z be n*(1 - 2)*-1. Which is smaller: z or 5/11?
z
Let r = 21 - 21.4. Let l = 3.6 - r. Let c = 2 - 1. Which is smaller: c or l?
c
Let k be 70/49*(-49)/42. Which is greater: k or -66?
k
Let p be (-14115)/75 + 18/15 + -1. Is p at most -186?
True
Suppose -84 = 11*q + 17*q. Suppose 0*g + 36 = 2*g. Let c be 4/g - 10/45. Which is greater: c or q?
c
Let j be ((-1)/2)/(153/18 - 9). Is 15/4 != j?
True
Suppose -75 = -14*k + 275. Which is smaller: k or 19?
19
Let q be (-60)/(-1242)*42 - 2. Is q bigger than 1?
False
Let k be 1926/24 - 2/8. Suppose 5*w = 10*w - k. Suppose g - 5*b - w = 0, 3 = b - 2*b. Is g smaller than 11/6?
True
Let w be 1 + -1 + (-14)/(35/(-5)). Which is smaller: 45/13 or w?
w
Let y = -13 + 14. Let g = -0.9 + y. Which is bigger: g or -7?
g
Let l = -39 - -44. Suppose 0 = l*k + 5*x + 30, 2*k - 6*x - 4 = -4*x. Let c = -2565/1468 - 1/367. Are k and c non-equal?
True
Suppose 13 - 25 = -3*j. Suppose 5*u - 2*u + b - 3 = 0, j = 4*u - 4*b. Suppose 2*k + 7 + u = 0. Is 0.1 less than or equal to k?
False
Let u = 649111/3409 + -61/487. Let y = u + -190. Which is greater: y or -0.8?
y
Suppose 2*t + 0 + 2 = 0. Let m = -26 + 50. Let g = m + -26. Which is smaller: t or g?
g
Suppose -2*i - 621 = -o + 6*o, -5*o - 629 = -2*i. Which is smaller: -377/3 or o?
-377/3
Let f be 8 + -14 + 12 + -98. Which is greater: f or -91?
-91
Suppose -f = -2*b - b + 16, b + 32 = -5*f. Let g(j) = j**3 + 7*j**2 - 8. Let r be g(f). Let u = r + 11. Is u at least as big as 3?
True
Let k = -19 + 18. Let w be (2338/(-260))/7 + 3/(-30). Is w less than k?
True
Suppose 0 = h + 3 - 14. Let a(y) = 2*y**2 - 22*y - 8. Let o be a(h). Let n(v) = v**3 + v**2 + v - 1. Let t be n(-2). Is t < o?
False
Suppose -13*l + 25 = -1. Is 14/17 <= l?
True
Let x(h) = 10*h + 2. Let p(f) = 9*f**2 - 3 - 10*f**2 + 2. Let r be p(0). Let d be x(r). Are -9 and d equal?
False
Let v be 7483/406 + 3/(-4). Let o = -71/4 + v. Is o < 1?
True
Suppose 4*y - 5*k - 28 = -0*y, -5*y = -5*k - 30. Suppose 6 = 3*l - 2*a + 22, l + y*a - 8 = 0. Let d be (-33)/36 + 1/4. Is l greater than d?
False
Let c(z) = 2*z**2 - 17*z + 23. Let f be c(6). Let i = f + 9. Is 1 >= i?
False
Let t = 5055/11 - 4595017/9999. Which is bigger: -1 or t?
t
Let u = 8.9 + -8.9. Which is smaller: u or -5.3?
-5.3
Let m = 0.575 + -1.775. Which is bigger: 6 or m?
6
Let g be (54712/(-15729))/(-8) - 6/14. Which is smaller: 0 or g?
0
Let f(k) = -k**3 - 4*k**2 - 4*k - 4. Let y = 5 + -8. Let c be f(y). Let q be (-2 - -1) + 0 + 1. Which is smaller: q or c?
c
Let z = -0.4 + 2.4. Let q = 26.5 - -102.5. Let k = q - 129.04. Which is bigger: k or z?