 z(-5). Suppose 3*c - 2*x = -5*x + 30, -3*c + 2*x = -30. Let w(o) = o**3 - 10*o**2 - o + 9. Let g be w(c). Which is smaller: k or g?
k
Let v = -1.11 + 0.11. Which is greater: 50 or v?
50
Suppose 5*k = -3*c - 12, -2*c + 2*k - 5*k = 7. Which is smaller: 2 or c?
c
Let f = -1.3 + 0.4. Let d = -4.1 + f. Let r = d + 4.95. Which is smaller: -1/2 or r?
-1/2
Suppose 4*d - 3*d = 0. Suppose -2*c + d = 2. Is -1/10 greater than c?
True
Let g(k) = k**3 - 6*k**2 + 3. Let v be g(6). Let f be (v/6)/(2/(-4)). Is f greater than 2/11?
False
Let p = 4 - 1. Let j be (-2)/(-3)*p/(-6). Let x = 16 - 17. Which is smaller: x or j?
x
Let i(o) = -o**3 - 3*o**2 - o + 1. Let m be i(-2). Suppose r = -5*j + 20, -5 = 2*r - 2*j + 3. Does r = m?
False
Let c(n) = -n + 15. Let k be c(8). Let t be (3 - 3) + (-2)/k. Which is smaller: 0.1 or t?
t
Suppose -2*j + 3 - 2 = 5*b, j = -3*b. Let w be b + (-14)/(-8) - 1. Which is smaller: w or 1?
w
Suppose -614 - 56 = -10*f. Is 68 less than f?
False
Let p be (-222)/(-27) - 14/63. Are 9 and p non-equal?
True
Suppose -3*z + 8*z - 100 = 0. Suppose -2*r = -0*r + z. Let i be (-12)/(-10)*r/(-3). Is i >= 4?
True
Let p = 19/2 + -11. Is p less than or equal to 0?
True
Let m = 125 + -124. Which is bigger: m or 2/195?
m
Suppose -2*y - 4*c = 2*y - 16, -3*c = 4*y - 13. Which is smaller: y or -1/22?
-1/22
Let c be (2/3)/(2/3). Let k be -3 + 6 - 3*c. Which is greater: -1/2 or k?
k
Let p(z) = -z**3 - 8*z**2 + 2*z - 7. Let b be p(-8). Is -23 != b?
False
Suppose 2*m + 5*m = 7. Let s be 54/10 + 1/1. Let p = s - 6. Which is smaller: p or m?
p
Suppose i + 0*i + 100 = 3*q, 130 = 4*q - 2*i. Let j = q - 139/4. Let u be (-1)/(-1)*(1 - 0). Does u = j?
False
Let m(y) = y - 1. Let d be m(1). Let i = -2 + 4. Suppose i*o = -3*l - d + 12, 18 = 3*l + 4*o. Are 1 and l non-equal?
True
Let f be 2/(-161)*(-2)/((-12)/(-14)). Is f at least as big as -1?
True
Let o be 2/(-4)*4 - 13. Which is smaller: o or -14?
o
Suppose -2 = -z - 8. Let j(h) = -3*h + 17. Let r be j(8). Which is smaller: r or z?
r
Let l = -11 + 45/4. Let j be ((-1)/4)/(1/(-4)). Are j and l unequal?
True
Suppose -2*b = -6*b. Let f be 2 - (-2 + (-138)/(-33)). Is f smaller than b?
True
Let s be (-8)/(-6) - (1 + 1). Suppose 38*c = 42*c. Which is smaller: s or c?
s
Suppose 2*c = 18 - 6. Suppose 3*d + 1 = z - 5, -3*d - 4*z - c = 0. Is d less than -1?
True
Suppose 5*q - 45 = -0*q. Let m(b) be the first derivative of -b**4/4 + 3*b**3 + b**2 - 11*b + 24. Let t be m(q). Is t < 8?
True
Let s = 16.4 - 18. Let c = -0.28 + -0.12. Let i = s + c. Which is greater: i or 0?
0
Suppose 2*f + s = -35, 0 = -f + 2*s - 3*s - 17. Is f greater than -18?
False
Let n = -28/5 + 134/15. Do n and 3 have the same value?
False
Let g be -2 - 0/(-1) - -4. Suppose c = g*c + 4. Is -0.2 less than c?
False
Let c be ((-1)/(-2))/(60/(-28) + 2). Suppose q - 12 = 4*q. Which is smaller: q or c?
q
Let v = 0.96 - 1. Let g = v + 3.04. Let x = -1 + g. Is x > -2/11?
True
Let q = 34 - 40. Is 0.2 smaller than q?
False
Let i be (-4)/4*4 + 4. Which is greater: i or 1/4?
1/4
Let n(u) = u + 13. Let z be n(-10). Let a = z + 2. Which is smaller: 4 or a?
4
Let b(d) = -d**2 - 5*d + 7. Let q(v) = v**2 - 8*v + 1. Let l be q(7). Let c be b(l). Let z(i) = -i**3 - 9*i**2 - 9*i - 8. Let t be z(-8). Is t > c?
False
Let h = -71.33 - -71. Let z = h - 2.27. Which is smaller: -1 or z?
z
Let x be (6/(-25))/(3/(-10)). Which is smaller: 0 or x?
0
Let c be 441/(-45) + (-8)/(-10). Is c greater than -3?
False
Let x = -8.2 - -4. Let a = -4 - x. Let o = a - 0.1. Is 1/2 less than o?
False
Let f(y) = -2*y**2 - y. Let s be f(2). Which is smaller: s or -0.1?
s
Let n = 629/500 - 1/125. Which is greater: n or 2?
2
Let m be 14/(-10) + 7 + -6. Which is smaller: m or 0?
m
Let i(f) = -2*f**2 + 0*f**2 + 2*f + f**2 - 6*f. Let l be i(-4). Which is bigger: l or -0.3?
l
Let y = -12 - -17. Let m be 4/(-20)*1*y. Let l = -2029/9 + 225. Is m bigger than l?
False
Let m be (-180)/(-164)*-2 + 2. Let i = m - -137/492. Which is smaller: -1 or i?
-1
Let b = 3380 + -307577/91. Is b < 0?
False
Let v = -3 - -3.05. Let a = -0.05 + v. Which is smaller: -4/7 or a?
-4/7
Suppose 0*q = 2*q - b - 3, -b - 1 = -q. Is q at most as big as -1?
False
Suppose 0 = 3*v + 19 - 4. Is -5 at least as big as v?
True
Let x(f) = -13*f**2 + 2*f - 2. Let y be x(1). Is y equal to -13?
True
Let y(w) = 31 - 31 - w**2 + 7*w. Let b be y(8). Is b equal to 0?
False
Let c be 0/(-1 - -4) + 4. Suppose -3*w - o = 1, -c = -4*o + 4. Let f(p) = -p**2 - 8*p - 1. Let b be f(-8). Is w not equal to b?
False
Let n = -1 + 2.6. Let y = 1.5 - n. Which is smaller: y or 0?
y
Suppose 3*p + 9 + 63 = 0. Suppose -3 = -3*q, -2*t - 2*q - 49 = -5*q. Is p > t?
False
Let m(g) = g**3 - 3*g**2 + 4*g - 3. Let k be m(2). Suppose 2*h - 8 = 0, -4*r - 6*h = -h - 36. Let u be r/(-6)*(-12)/20. Is u <= k?
True
Let m be (-43)/(-4) + 3/12. Suppose 5*h + 1 = -4*x, 2*x = h - 0*x - m. Suppose w = 2*c + h - 2, -3*w = 5*c + 8. Is 4/11 at most as big as w?
False
Let h(c) = c**3 + 7*c**2 + 7*c + 7. Let y be h(-6). Suppose 0 = -4*t - y - 7. Let i be ((-1)/2)/((-1)/t). Is 0.3 greater than or equal to i?
True
Let l = 64 - 63.86. Which is smaller: 2/5 or l?
l
Let r = 1.9 - 1.8. Let v = 0.05 + -0.15. Let q = v + r. Are q and 2 nonequal?
True
Suppose 3*l - 8*l + 75 = 0. Suppose -3*x = 2*k + 18, 7*x - 2*x = -3*k - 25. Let q be 3/k - 7/l. Which is greater: q or 0?
0
Suppose -2*r + 4 + 2 = 0. Suppose -2*q + 1 = 5*m, 3*q + 5 = -4*m + r. Let l be (m/(-3))/(2/6). Which is bigger: -2 or l?
l
Let r = -14/5 + 47/15. Suppose o - 7*j - 6 = -3*j, 0 = -o + 2*j + 2. Which is smaller: o or r?
o
Let r = 3 + -2.8. Let b = r + -0.1. Let y be 2/(-3)*(-15)/(-20). Are b and y equal?
False
Suppose 8*p + 16 = 4*p. Which is greater: p or -5?
p
Let k be (-9)/(-6)*(-8)/12. Which is smaller: -0.05 or k?
k
Let n be (2 - 1)/((-3)/(-24)). Suppose 3*d - 1 - 11 = -2*q, 2*d = n. Is -3 at least q?
False
Let c = 2 + -2. Suppose 5*l - 362 - 758 = 0. Let p be (-3)/(-7) - 40/l. Is p bigger than c?
True
Let r be (3*1)/((-3)/4). Let v = -7 - r. Let s be v + (-1 - -3*1). Which is smaller: -2 or s?
-2
Let a = 16 + -207/13. Is a at least 1?
False
Let f = -0.189 - -1.929. Let n = f + 0.26. Is n at least as big as -0.03?
True
Suppose -4*b + 2*w - 6 = 0, 4*b - 3*w - 2 + 11 = 0. Is -1/27 greater than b?
False
Let i be ((-22)/8)/((-8)/32). Let v be 1*(i/(-7) - -2). Let f be 6/10 + 4/10. Do f and v have the same value?
False
Let y = -19 + -17. Suppose -16 = -b + 5*b. Let t be (-3)/y + (-1)/b. Which is greater: 1 or t?
1
Let f be -4*((-1)/1 + -3). Is f less than or equal to 16?
True
Let c(y) = -y**3 + 3*y**2 + 3*y - 10. Let x be c(3). Is 3/10 at most as big as x?
False
Let m(c) = -c**3 + 4*c**2 - 4*c + 3. Let s be m(3). Let u be 12/30 - (s - 0). Which is greater: u or 0?
u
Suppose -l = 4*l. Which is smaller: l or 3/11?
l
Let c be 85/5 + (-4 - -2). Is 14 at most as big as c?
True
Suppose -2*j = 63 - 59. Which is smaller: j or 1?
j
Let q be (-2)/(-3) + 363/(-882). Let l = 3/98 + q. Let a = 0 - 0.1. Which is smaller: a or l?
a
Suppose -16*w = -4*w + 36. Which is greater: -13/4 or w?
w
Suppose 4 = z, 6*w + 2*z - 64 = 2*w. Let f = 13 - w. Which is smaller: -2 or f?
-2
Let z = -0.1 + 0.4. Let x = 0.7 + -0.4. Let v = z - x. Is 0.1 <= v?
False
Let w = 18503 - 2071865/112. Let t be 490/(-16)*3/(-30). Let m = t - w. Does m = 0?
False
Suppose -15 = 5*h + 3*z, 2*h - 6*h - 5*z + 1 = 0. Which is bigger: -3 or h?
-3
Let z = -0.2629 + 122.3529. Let v = z + -123. Let q = -0.09 + v. Which is greater: 0.3 or q?
0.3
Let z = 6/65 + -119/585. Is 1 smaller than z?
False
Let p = -2.1 - -0.1. Let i be (6/105)/((-4)/(-20)). Is p greater than i?
False
Let n = -6.1 + 0.1. Let m = n + 5.2. Which is smaller: m or 1?
m
Suppose 168 = 27*v + v. Suppose -2*p = -4*b - 2, -2*p + 4 = -b - 4. Are v and p equal?
False
Let j = 7719041/52 + -148434. Let s = j + -37/4. Does s = -1?
False
Suppose 0 = -z - 4*z + 100. Let i be 8/z + 26/10. Suppose 2*m + 2*m + i = 3*r, -5*r = m + 18. Is -5/3 greater than m?
True
Let b = -21 - -23. Suppose 2*r = 5*u - 25, -6*r + b*r - 15 = -3*u. Which is bigger: r or 1/12?
1/12
Suppose -5*n + 977 = -293. Let b be -2 - 4/(8/n). Let t = -1160/9 - b. Which is smaller: 0 or t?
0
Suppose z + 1 + 3 = 4*q, 8 = -2*z. Which is greater: -2/21 or q?
q
Let r be (-4)/(-