7. Let r = 1.03 + -0.03. Which is smaller: s or r?
s
Let d = -28 - -33. Suppose d*y = p - 12, -5*p + 16 = -6*y + 3*y. Suppose -3*f + 11 = -p*w + 67, -2*f - 30 = -5*w. Which is bigger: -21 or f?
f
Let p(h) = 13*h - 157. Let m be p(12). Which is smaller: -27/19 or m?
-27/19
Let x be (-1 + -7 + 6)*14/4. Is x bigger than 15?
False
Suppose 0 = -4*l + 3*l + 5*r + 136, -4*l + 484 = -5*r. Let g = -64 + l. Is g equal to 53?
False
Suppose 406 + 138 = -16*z. Is -33 bigger than z?
True
Suppose 0 = 9*u + 14 - 5. Let q = 138/35 + -2893/735. Which is smaller: u or q?
u
Let k be (616/110)/((-4)/10). Is k >= -14?
True
Suppose -2*n + 3*o - 1294 = 0, -4*o = 3*n - 0*n + 1941. Which is bigger: n or -648?
n
Let h be ((-117)/63)/(-13) + 24/(-70). Let n be (-2)/3*(-3)/(-6). Is h at least as big as n?
True
Let w = -442/3 + 1771/12. Let b = 1.38 - 0.28. Let u = b - 1. Which is smaller: w or u?
u
Let q = 4190/3 - 1365. Let b = q + -32. Do b and 26 have different values?
True
Suppose 209 = -3*r - 34. Which is smaller: r or 2?
r
Suppose -9*x - 23 - 22 = 0. Let l be (x - -2)*12/(-126). Is l at most 1?
True
Let c(u) = -u**2 - 6*u + 8. Let a be (-2)/6*48/(-8). Let l = a - 9. Let m be c(l). Which is smaller: 2 or m?
m
Let j = 12 + -14.9. Which is bigger: j or 0?
0
Let t = -3 - -6. Let u be t + (-3)/4 + -3. Let r be -4 - (-1)/(2/4). Is u bigger than r?
True
Let r be (-2 + 4)*(-417)/6. Let f = 146 + r. Which is bigger: f or 4?
f
Suppose 0 = -8*l + 3*l. Let i = 1289/3 + -430. Which is smaller: l or i?
i
Suppose 0*w = -4*h - 2*w + 30, 0 = 4*h + 4*w - 40. Suppose -h*o = 2*d + 2*d + 38, 3*o + 24 = -2*d. Let j = o - -4. Which is bigger: -5 or j?
-5
Let y(t) = -t**3 - 3*t**2 - 1. Suppose 0*z - 2*z - 6 = 0. Let v be y(z). Let q be 70/60 + (-2 - 1). Which is smaller: v or q?
q
Suppose 5*n = -33 + 238. Suppose -4*a = -3*u - 159, 10 - 5 = -5*u. Which is smaller: a or n?
a
Let n = -0.048 + -10.952. Let c = -3 - n. Is -2 at most as big as c?
True
Let b(r) = 25 - 29*r - 73 - 28*r**2 + 2*r - 2*r - r**3. Let d be b(-27). Is 7 less than d?
False
Let f(u) = u**2 - 10*u + 26. Let y be f(15). Which is greater: 100 or y?
y
Suppose 0 = 19*d - 21*d - 4*z - 6, 71 = -5*d + 4*z. Which is greater: -142/13 or d?
-142/13
Suppose 0 = 12*n - 420 - 72. Suppose 4*x - 215 = -4*s - 51, -4*s + 3*x = -164. Is n > s?
False
Let y(c) = c - 1. Let t be y(1). Let u = -475/451 + 32/41. Which is bigger: u or t?
t
Let t be -6 + 2*2/4. Let k be (-30)/(-44) - t/(-10). Are k and -4 non-equal?
True
Let a(m) = m**2 - 14*m + 17. Let k be a(14). Which is greater: 32 or k?
32
Let i = -77059/13548983 + -1/19439. Which is greater: -1 or i?
i
Let s = -46.2 - -46.3. Is s less than 90?
True
Let x(f) = -f - 3. Let u be x(-8). Suppose y - u*p - 3 = -1, 2*y = 5*p - 1. Is y != 0?
True
Let j(n) = -24*n - 78. Let y be j(-8). Is y < 114?
False
Let z be -2*(2 + (-5)/2). Suppose 4*x = -0*x - 3*b + 14, -33 = -5*x + 4*b. Suppose x*r - 23 = -4*p, p + 0*p + 4 = 2*r. Is z < p?
True
Let v be (1 - -1)/(18/207). Let k = v + -27. Is -8 > k?
False
Let z(s) = s**3 - s**2 - s - 1. Let n be z(0). Let i be 0 + n - (-8 + 8). Which is smaller: i or -4/45?
i
Let i = 6.8 - 3.9. Let u = i + -0.9. Which is bigger: -3 or u?
u
Let z = -41/84 - -5/84. Let j(d) = -3*d**2 + 7*d + 2. Let s(t) = -2*t**2 + 7*t + 3. Let w(c) = 3*j(c) - 4*s(c). Let f be w(-6). Is z not equal to f?
True
Let z(p) = -p**3 + 3*p**2 - 2*p + 1. Let a be z(0). Which is smaller: 60 or a?
a
Let x = -217 - -217.1. Are 8 and x equal?
False
Let a(v) = -13*v + 11*v + 6*v - 4. Let f be a(-5). Let c be (-1)/(-3) - 280/f. Is 12 equal to c?
True
Let x be (2/4)/(9/6). Let o be 5005/(-16093) + 4/11. Is o at most x?
True
Suppose -3*c - 5 = 2*c. Let d = -3749/24860 + 1/1243. Which is smaller: c or d?
c
Suppose -3 = -3*f + 6*f. Which is smaller: -6/25 or f?
f
Let v be 98/(-10) + (-5)/25. Let o be (0/v)/(-1*1). Suppose o = t + 4*t. Which is bigger: 2 or t?
2
Let m = -109.4 - -109.977. Is m != 2/7?
True
Suppose 2*v = r + 10, 2*r = -5*v + 53 - 19. Suppose 3*j + 14 = -l, j - 4*l = v*j + 14. Let y = -4 + 3. Is j smaller than y?
True
Let g = 41 + -68. Let c = -30 - g. Let z = -2 - -2.1. Which is smaller: c or z?
c
Let w be 1 + 0 - (2 - 0). Let c be 18 - (-572)/(-22) - (-3916)/490. Which is smaller: w or c?
w
Suppose 40 = w + 43, -2*w - 6 = v. Is 47 <= v?
False
Suppose 11*r = -96 - 2544. Is -240 <= r?
True
Let r = 1818/553 + -34/79. Which is smaller: r or 3?
r
Let j = -1152 - -1503. Is 353 smaller than j?
False
Let q = -2409 + 2410. Which is smaller: q or -25?
-25
Let w(o) = -o**2 + 6*o + 4. Let z be w(7). Let f be z/2*60/585. Is 0 less than or equal to f?
False
Let d = -0.033 - 23.867. Let m = 26 + d. Let c = 0.9 + m. Which is bigger: c or -1?
c
Let r(j) = -8*j - 1. Let u be r(-1). Let h = u - 5. Suppose -w - 2 = d - 1, h*d - 3*w = 8. Which is smaller: d or 1/9?
1/9
Let u = 3823/126 - -22/9. Which is greater: u or 33?
33
Let d = 0.0133 - 0.0133. Which is greater: 3/220 or d?
3/220
Let w be (30/(-45))/((-20)/(-54)). Is 0.1 at least as big as w?
True
Let d be 2/(-9) + 276/756. Let q be (-3)/((-28)/8 + 2). Let i be 10/q + -4 + -2 + 1. Are i and d non-equal?
True
Let w = 9 - 3. Which is smaller: 4 or w?
4
Let w = -80.6 - -51.5. Let q = 49.7 + -20.7. Let p = q + w. Does 3/20 = p?
False
Let o = -54 - -17. Let m = 181/5 + o. Let p(g) = g**3 - 6*g**2 - 2*g + 12. Let z be p(6). Is z at most as big as m?
False
Suppose 869*n - 863*n = 132. Which is bigger: n or 0.8?
n
Let b be (-46)/16 + 0 + 3. Let h be (56/(-35))/((-4)/10). Suppose 2*a - h = 3*v, 2*v + 3*v = 4*a - 8. Do b and v have the same value?
False
Let o be ((-8)/((-16)/4))/(12/1614). Is 270 at most as big as o?
False
Let c be ((-1)/(-18))/(1370/(-150) - -8). Which is smaller: c or 1?
c
Let q be (((-2)/3)/2)/(-1). Let d = 738 + -743. Which is smaller: q or d?
d
Let w(z) = 5*z + 31. Let c be w(-7). Let j be (-258)/(-18) + c*(-3)/18. Is j > 14?
True
Let o = 11 + -4. Suppose -12 = 2*x - 4*j, 7*j - 4*j - 14 = 4*x. Let y be (-143)/(-26) - 1/x. Are y and o nonequal?
True
Suppose -4*x + 15 = -5*t, -2*t - 3 = -9*x + 8*x. Which is smaller: t or 2?
t
Suppose 6*s - s = 50. Let i(k) = -4*k - 11*k**2 + s*k**2 - 1 + 2*k. Let f be i(-1). Is -4/5 at most as big as f?
True
Let c = 29 - 28. Let p be 2/(4 + -3)*c. Which is smaller: p or 5?
p
Let w = -8 - -13. Suppose -w*i - 5 = -5*x, 2*x - 4*i = 5*x - 38. Suppose -3*q - 3*p + 9 = 0, -q - 2*p = -4*q - x. Is 2/39 less than or equal to q?
False
Suppose 40*r - 328 + 4088 = 0. Is r != -95?
True
Let u = -128 + 128. Is u < 8?
True
Suppose -5*v - 56 = -6*v. Let r be (-19)/(-91) - 16/v. Suppose -4 = h - 5. Is r equal to h?
False
Let a(s) = -s**3 + 5*s**2 - 2*s - 3. Let g be a(4). Let f = -0.5724 + 0.4724. Which is smaller: g or f?
f
Let i be 3 - ((-200)/13)/(-5). Suppose -5 + 1 = -2*v. Let b be 0/(-2 + 2 + v). Is i greater than or equal to b?
False
Let b = 1.1 - -3.9. Let g = 6.1 + -0.1. Let x = b - g. Which is smaller: x or -0.9?
x
Let l = -569 - -29020/51. Let h = 6 + -7. Which is bigger: h or l?
l
Let n = -17.9 - -13.9. Let l(v) = v**3 + 9*v**2 + 8*v + 2. Let r be l(-8). Is r at least n?
True
Let j = -5/69 + 68/621. Which is smaller: j or 1/5?
j
Let g(q) = -9*q - 3. Let d be g(-1). Let t be (d/(-9))/((-6)/(-9)). Are t and -4 nonequal?
True
Let k = -18168/3157 - -34/287. Which is greater: k or -7?
k
Let z be (-10)/6 - (-2)/3. Suppose -2*t - 3*j + 23 = 0, -t + 3*j = -0*t - 7. Suppose 31*p - 36*p = t. Do p and z have different values?
True
Let p = 0.35 - 0.3. Let r = -719 - -721. Is r > p?
True
Let k be ((-4)/(-136))/(10/(-45)). Is -1 bigger than k?
False
Suppose 0 = -0*l + 5*l - 15. Suppose 0*f = -f + l. Suppose r - d + 22 = -3*r, 0 = -2*r + f*d - 6. Is r greater than or equal to -7?
True
Suppose -1 - 3 = r, r = -2*j - 6. Let c be 3*-1*(-3)/(-39). Are c and j non-equal?
True
Let y be 18/(-4)*(-1484)/42. Let l = y - 109. Is 51 > l?
True
Suppose z = 2*r - 69, -r - 142 = -5*r - 2*z. Let b = r + -139/4. Which is greater: -4/7 or b?
b
Let u be (0 - 0) + (-111)/(-666). Is -19 < u?
True
Suppose 2*i - 8 = 0, 5*i = 3*v + 25 - 5. Suppose 0 = -5*k - 22 + 52. Suppose -2*m + k*m = 4. Which is greater: v or m?
m
Let x(f) = -38*f - 338. Let n be x(-12). Which is smaller: 119 or n?
n
Let a = 4049/35 - 587/5. Suppose -2*q + t - 6 = 0, 3*t - t = -4*q - 4. Whi