 - d. Which is smaller: z or -4?
-4
Let z = -23 - -26. Suppose 5*a = z*x + 6, 2*x - 2 = -5*a + 3*x. Let m be (4/(-3))/(33/9). Is m at least as big as a?
False
Suppose -2*i + 2*g = -450, -3*g - 675 = -3*i + 2*g. Is 225 != i?
False
Let c = 1286440/3773 + -1857/343. Let i = c - 335. Suppose 6*t = 2*t - 4, 3 = 2*v - 3*t. Is v >= i?
False
Let c = 177 - 380. Let i = c - -1823/9. Is 1 < i?
False
Suppose 2*k - 16 = 6*k, k = -3*n - 46. Let m be (3/2 + -1)/(n/(-20)). Which is greater: -6 or m?
m
Suppose -2*i - 6 = 0, -5*i = -2*a - 3*i + 1218. Let r be 18*(a/153 - 4). Which is greater: -2 or r?
r
Let m = -409 + 412. Which is bigger: m or 9?
9
Let d(h) = 4*h. Let b be d(1). Suppose -b*n + 20 = 0, 0*z - 5*n - 11 = -4*z. Let m = z + -9. Is m less than 5/7?
True
Let a = 0 - -1. Suppose -3*o + 68 = -2*b + 282, 5*b - 517 = 3*o. Do b and a have different values?
True
Suppose -10*g = -25*g + 465. Are 31 and g equal?
True
Suppose 68*a + 10848 = 80*a. Is a != 905?
True
Let y(n) = n**2 + 13*n + 42. Let r be y(-7). Do 6/37 and r have the same value?
False
Let s = 22 + -15. Let m = -5 + s. Let f = -2.1 + m. Which is greater: f or -7?
f
Let r be (-1 - 11)*(6 + 565/(-94)). Is 1 >= r?
True
Let m be ((-198)/(-88))/(17/(-4)). Is m at most 0?
True
Let c = -421 + 1695/4. Let j(i) = -i**2 + 3*i + 3. Let s be j(3). Which is smaller: s or c?
c
Suppose d = 2*d. Let t = d + -1. Let b = -2/1585 - 1563/17435. Are t and b non-equal?
True
Let b(i) = 59*i - 9. Let w be b(5). Let u be w/4 - 12/8. Let h be (-1)/2 - u/(-100). Is -1 at least h?
False
Suppose 4*l + 5*w - 3 = 0, w - 5 = 3*l - 6*l. Let s = -403 + 2022/5. Which is greater: l or s?
l
Let j = -4.99 - 0.01. Let o = 27 + -34. Let k = j - o. Are k and 2 nonequal?
False
Let i be 246/(-24) - 3/(-12)*1. Let q be (-1 + 2)/i*2. Is -1 equal to q?
False
Suppose 6*h - 35 = h. Suppose -h = 2*s - 21. Is s > 6?
True
Let q = -47.5 + 47. Which is greater: q or -4?
q
Suppose a + 123 = 4*a. Which is smaller: -2/9 or a?
-2/9
Suppose 0 = -0*h + h + 2*h. Suppose r + 7*r = h. Which is greater: 2/3 or r?
2/3
Suppose 19 = 5*o - h - 45, 3*o + h - 32 = 0. Let x be (4/(-6))/((-8)/o). Let y be ((-12)/14)/(114/12 - 5). Is x at least y?
True
Let h(a) = -4*a + 8. Let r be h(-5). Let x = 15 - r. Is -11 less than x?
False
Let n = 5/3 + -17/12. Let o = -26 + 40. Is o not equal to n?
True
Let f(o) = o**2 - 5*o + 4. Let h be f(4). Let z(c) = 14*c - 12. Let d be z(1). Suppose -15 = d*q - 3*p, 3*q = 2*p - h - 10. Do 2/51 and q have the same value?
False
Suppose -2*a - 14 = 3*l + 2*a, 2*a + 2 = -l. Let y(t) = -t**2 - 10*t + 17. Let c be y(-10). Suppose 23*h = c*h - 60. Is l >= h?
True
Let y = 7 - 11. Let g = y + -6. Suppose 8*l - 4*l + 34 = 2*c, -4*c = 5*l + 62. Is g bigger than l?
False
Suppose 134*y = 162*y - 32312. Is y greater than 2/5?
True
Let x = 101 + 25. Do 2 and x have the same value?
False
Suppose 4*y = p + 45, -3*y - p - p = -20. Let l be (12/10)/(4/y). Suppose l*r + 3 = -0*r. Is 2/43 < r?
False
Let g = -6.2 - -0.2. Let r = 14.2 + 2.8. Let o = r + -16.9. Which is smaller: o or g?
g
Let b be ((-5)/(-20)*0)/(-3). Let m be -2 + -1 - (-17)/4. Which is bigger: m or b?
m
Let q be ((-6)/10)/(546/(-455)). Let a = 8 + -5. Let c = a - 2.95. Is c greater than q?
False
Let z(j) = j - 7. Let i be z(0). Let f = i - -10. Suppose -5*c - f*l = -l - 3, 3 = 2*c - l. Which is smaller: -1 or c?
-1
Let u be (2/(-4))/(18/((-432)/60)). Let x be (-2)/((-1)/((-26)/4)). Which is bigger: x or u?
u
Let f = 249 + -159. Is 88 equal to f?
False
Let x = -1.551 - -0.121. Let n = x - -1.3. Let t(w) = 5*w - 21. Let i be t(4). Which is bigger: i or n?
n
Let b(a) = a**2 + 15*a - 52. Let j be b(3). Let s = 175/4 + -42. Which is smaller: j or s?
s
Let s = -178 - -185. Is s at least as big as 7?
True
Suppose -3*l = -2*x - 5*l + 16, -x + 4*l - 12 = 0. Let y be 4/x - 0 - 0. Let o = -11 - -23. Which is smaller: o or y?
y
Let f = 5867550 - 114628457063/19536. Let k = f - 3/407. Which is greater: k or -1?
k
Let j be (-4)/14 + 240/7. Let h = 35 - j. Which is bigger: 1/38 or h?
h
Let j = -61 + 65. Suppose j*m + 86 = -2. Are -22 and m non-equal?
False
Let y(q) = 52*q**3 - q**2 - q + 1. Let g be y(1). Suppose 0*s - 3*s - g = 0. Let z = -10 - s. Is 7 at least z?
True
Let t be 978/(-153) - (1 + -7). Does t = -1?
False
Suppose 0*u + 3*u + 9 = 3*w, -2*w - 2*u = -18. Let g(z) = -z**2 - z - 4. Let t be g(0). Let x be (t/w)/((-8)/(-6)). Is 0 < x?
False
Suppose 10*c - 35 + 1195 = 0. Which is bigger: c or -112?
-112
Let n = 2 + -59. Let w = n + 60. Which is smaller: 1 or w?
1
Let m(k) = k**2 - 4*k - 3. Let i be m(8). Suppose 0*g + 3*g + 5*h = -i, 2*g = -h - 17. Let a be g/44 + 8/(-77). Which is bigger: -1/3 or a?
a
Let o be 2/(-11)*(-6)/(-4). Let d = 22 + -37. Let w = d - -16. Is w at least as big as o?
True
Let a = -2 + 1. Let i be 12/20 - (-47)/5. Let f be 13/52 + (i/(-16))/1. Is a greater than or equal to f?
False
Let r be ((-3)/3 + 4)/((-18)/48). Is r != -27/4?
True
Let m = 10 - 6. Let n(q) = 4 + 0*q**3 - 105*q**2 + 95*q**2 - 9*q - q**3. Let o be n(-9). Are m and o unequal?
False
Let q be -32 - (-5 - -13 - 14). Which is smaller: q or 3?
q
Let k(p) = p**3 + 6*p**2 + 4*p - 4. Let a be k(-5). Let n(c) = -c**2 + 11*c + 10. Let t be n(11). Let m be t*((-4)/a)/4. Is -10 > m?
False
Let n = 0.15 - 0.01. Let z be 0 + 0 + 3/(-9). Which is greater: n or z?
n
Let i = 7 - 7. Suppose -9*x + 2 + 7 = i. Is 2/7 bigger than x?
False
Let f = 0.18 - -0.02. Let t be (30/24)/((-3)/(-76)). Let g = t - 32. Is g equal to f?
False
Let g = 258.11 - 258. Which is bigger: 0.2 or g?
0.2
Let r(i) = i**2 - 6. Let x be r(3). Suppose -x*y - 340 = -7*y. Is y smaller than 86?
True
Let d = 7 + -6. Let y be (6 - (-456)/(-78))/(4/22). Which is bigger: d or y?
d
Let b(d) = 2*d - 3. Let y be b(-2). Let u be (-1)/y + 166/14. Let n be -3 - (128/u)/(-4). Which is smaller: n or -0.3?
n
Let i be (-16)/136 - 19/(-17). Let d be 0 + i + 4 - 6. Which is smaller: 26 or d?
d
Let x = -4 - -16. Suppose 0 = 5*g - x*g + 7. Does 6/11 = g?
False
Let v(m) = -14*m + 551. Let f be v(44). Let s = -148 - -83. Is s equal to f?
True
Suppose -72 + 28 = 4*n. Let t be n/20 + (-6)/(-24). Which is smaller: t or 1?
t
Let f = 330 - 333. Let g be (-2)/2 - 6/10. Is g at least as big as f?
True
Let a(h) = 9*h + 161. Let p be a(-18). Is p less than -1/29?
True
Let n(v) = 5*v**2 - 30*v + 9. Let u be n(9). Let g be (32/u - 61/(-9))/(-5). Which is smaller: 0 or g?
g
Let i = 5.13 - 0.13. Let l = -49.3 + 44. Let y = i + l. Is y greater than 3?
False
Let o = -24 + 24. Let k be (7/(-3) + o)/(23/(-345)). Is k at most as big as 34?
False
Let x(t) = -3*t**2 - 6*t - 3. Let r be x(-5). Let l = -191/4 - r. Let c = 14/5 - 3. Is l smaller than c?
False
Suppose 2*t - 3*t = 5*j - 81, -t = -2*j + 38. Let a = j + -14. Let g(v) = -3*v + 1. Let i be g(a). Is i at least as big as -8?
True
Suppose 81 = 2*u - 5*u. Let q be (-6)/27 + 156/u. Let j be (-2)/q*1 - 1. Which is smaller: j or -1?
-1
Let z = 1578 - 1585. Which is bigger: z or -50?
z
Let u be 20/6 - 12/(-18). Let v be (-6 - -16)*12/(-8). Let g = v - u. Is g less than -20?
False
Let i(u) = 136*u**2 + 2. Let b be i(1). Is 138 < b?
False
Let j = -10 - -12. Suppose j*a - 9 = 3*a. Let i = -8 - a. Is i smaller than 5?
True
Suppose 0 = -5*c - 2*w + 8, 3*w = 37*c - 40*c + 12. Let g(x) = x**2 - 6*x + 4. Let s be g(6). Which is greater: s or c?
s
Suppose -22 - 20 = -3*b. Let u = b - 12. Is 9 bigger than u?
True
Let v = -37 - -37.039. Do -18 and v have different values?
True
Suppose 4*r - 8 + 0 = 0. Let p(a) be the third derivative of -a**6/120 - a**5/60 + a**4/8 - a**3/3 + a**2. Let y be p(r). Is -8 smaller than y?
False
Let t = -38 - -43. Suppose -15 = 5*w - t*x, -4*w - 4*x + 9*x = 15. Suppose s = -2 - 0. Which is smaller: w or s?
s
Let s = 9 - 10. Let m = -2/87 + -338/435. Do m and s have different values?
True
Let j = 332 + -890. Which is smaller: j or -1?
j
Let o(z) = z**2 - 4*z - 5. Suppose 5*t - 21 = -2*r, 0 = 6*r - r + 10. Let k be o(t). Let m be (k/(-2))/(3 + -5). Is m < -4/11?
False
Let o = -3.83 - -3.77. Is o less than or equal to 0.02?
True
Suppose 5*n + 185 = 4*l, n - 3*n = 5*l + 107. Let c = -28 - n. Is c < 12?
False
Let g be ((-2)/(-12))/((-12)/54). Let d = -16.9853 + -0.0147. Which is smaller: g or d?
d
Let y(d) = d**2 + 7*d + 16. Let s b