or x?
x
Let y be ((-24)/(-42))/(2/1). Let s = -145 - -139. Which is bigger: y or s?
y
Let k = -728/3641 + 6/331. Which is greater: 0.46 or k?
0.46
Let y be (-16)/10*105/(-2). Let u = 165/2 - y. Which is greater: -1 or u?
-1
Let k = -2 - -1.9. Let x = 0.1854 - 7.1854. Is x bigger than k?
False
Let i = 289 + -288.95. Is -9 less than i?
True
Let v = -2 - -1.7. Let y(q) = -2*q - 35. Let o be y(-17). Let m be (o/(-2))/((-12)/(-8) + -1). Which is greater: v or m?
m
Let q = -0.5 + -0.5. Let c = -16 - -20. Let d be 288/(-567) + c/18. Which is smaller: d or q?
q
Suppose 3*r = -3 - 0. Let l = 9.1 - -0.86. Let v = l - 9.9. Which is bigger: r or v?
v
Suppose 6*b = 3*b + 12. Suppose b*j - j - 21 = 0. Let v(r) = r**2 - 8*r + 14. Let g be v(j). Which is bigger: 8 or g?
8
Let a = 56.7 - 56. Let r = a - 2.7. Does r = -2?
True
Let g = 280.2 + -156.2. Is 9 >= g?
False
Let d = 35 - 5. Let a be 2/5*(-25)/d. Is a at least -2/3?
True
Let o = -25.84 + 5.04. Which is bigger: o or 1?
1
Let b = 179 + -169. Let t = 3 - 4. Let v(m) = -11*m - 1. Let x be v(t). Is b less than x?
False
Let n be 1 + (-34)/16 + 0. Let m be (3*(-2)/6)/1. Which is smaller: n or m?
n
Let w = 56 + -34. Let p = -23 + w. Is p < -3/26?
True
Let r(u) = u**2 - 1. Let c(p) = -3*p**2 + 7*p + 9. Let f(d) = c(d) + 2*r(d). Let y be f(0). Is y greater than 1?
True
Let z = 233 - 239. Which is greater: z or -1?
-1
Let o(g) = 2*g**3 + 0*g**3 - 3*g**3 + 42 - 38 + 11*g**2. Let f be o(11). Is 4 < f?
False
Let h = 0 - 0.01. Suppose 2*o = -2*b - 2*o - 10, 10 = -2*o. Suppose 0 = -b*v + 1 + 4. Which is bigger: h or v?
v
Let j = 37 + -1. Suppose -3*w + 37 = -5*n, -4*n - j = 2*w - 6*w. Is 5 at least w?
True
Let s be (-8352)/54 + (-10)/3. Which is greater: s or -159?
s
Let x = 0.74 + 36.26. Let c = x - 37.05. Which is smaller: c or 2/17?
c
Let v = -16227023166/135965 - 24699789/383. Let d = v + 183837. Let r = d + -2/71. Which is greater: r or 0?
0
Let a(c) = c**3 - 2*c**2 - c - 4. Let g be (-3)/(-15) + (-28)/(-10). Let d be a(g). Let h = 11 + -7. Which is smaller: h or d?
d
Let k(s) = 8*s - 1. Let x = 1 + 4. Let d be k(x). Let l = d - 49. Which is smaller: -11 or l?
-11
Let f = 203/3 + -66. Which is greater: f or 3?
3
Let q = 228 + -224.77. Let t = -0.23 + q. Is t at least as big as -1?
True
Let b = 9.5 - 9.5. Which is greater: b or -6.1?
b
Suppose 11*u = -3*u + 14. Is 2/97 < u?
True
Let f = -1120 - -1177. Which is bigger: f or 41?
f
Let y(f) = -6*f - 3. Let b be y(-11). Is 442/7 < b?
False
Let f(m) = -4*m - 35. Suppose 2*o - 19 = 3*n, 0 = 2*n - 6*n - 2*o - 44. Let r be f(n). Let g be (0/(-1) + -1)/(-1). Are g and r non-equal?
False
Let a be ((-4)/11)/(2/(-9)). Suppose 0 = 6*b - 4*b - 10. Suppose -7*p + 26 = b. Which is bigger: a or p?
p
Let t = 4.95 - -0.05. Let o = -3.951 + -0.049. Let b = t + o. Which is greater: -0.01 or b?
b
Let u = -197/7 - -28. Let y(h) = h - 7. Let x(f) = f - 6. Let i(o) = -7*x(o) + 6*y(o). Let z be i(-1). Are u and z non-equal?
True
Let n(f) = 2*f**2 + f + 18. Let b be n(0). Let y be 35/b + (-4)/2. Is 0 != y?
True
Suppose -4*x + 3*f = x - 33, 40 = 4*x + f. Are x and 9 non-equal?
False
Suppose v + 9 = -2*v, 4*v + 17 = -5*s. Suppose 22*o - 21*o = -69. Let c = o - -69. Is s greater than c?
False
Let n = 11/12 + -91/60. Do n and 0 have the same value?
False
Suppose -179 = 8*a - 531. Let p be (3 + (-7)/2)*a. Are p and -22 non-equal?
False
Suppose 0*n + 3*n = -4*y - 1, 0 = 4*n + y + 10. Let j(g) = g + 3. Let f be j(6). Let u be 1/(-1)*f/3. Are u and n unequal?
False
Let b(m) = 7*m + 21. Let r be b(-16). Let j be 26/r + 872/2954. Is j less than or equal to 0?
False
Let u be (-4)/(-32) - (-37)/(-40). Which is smaller: 41 or u?
u
Let m = 25 + -25.48. Let x = m - -6.48. Which is smaller: x or 1?
1
Suppose s - 5*g = 62, 3*g - g = -2*s + 124. Suppose -74*p - 1401 + 4036 = -1953. Is s at least as big as p?
True
Let n = -5.2 + 3.2. Let w = -1.3 - -1.36. Let a = w + 0.02. Which is smaller: a or n?
n
Let h = 1303077/2015 - -45/403. Let a = -639 + h. Is -1 < a?
True
Let f = 47.4 + -48. Let t = f + 0.7. Which is bigger: t or 30?
30
Let i = -4553/2156595 + -1/2679. Which is smaller: 0 or i?
i
Let x(u) = u**2 + 11*u - 4. Let m be x(-10). Let f(b) = -b**3 - 14*b**2 + b + 11. Let r be f(m). Which is bigger: r or -21/8?
-21/8
Suppose -4*w + 390 = w. Let a = -309/4 + w. Let b(r) = r**2 + 16*r - 16. Let d be b(-17). Which is greater: a or d?
d
Let g(i) = -2*i**3 - 2*i**2 - 2*i - 1. Let p be g(-1). Suppose -y + p = -2. Let a be (y/10)/((-42)/56). Is 0 < a?
False
Let j = 263 + -199. Which is greater: j or 0?
j
Let n(g) = g**2 - 16*g + 18. Let s be 155/10 + (-3)/6. Let z be n(s). Let c = -36/119 - -10/17. Is c at most as big as z?
True
Let g = -42 + 37. Let z = 18 + g. Which is greater: z or -2/7?
z
Suppose -3*z = -3*t + 7*t + 128, 4*t - 64 = z. Is z <= -48?
True
Let w be ((-1)/((-35)/(-28)))/(4/(-10)). Let m = -0.01 + 0.11. Let r = 1.9 + m. Is w smaller than r?
False
Let v = -64 + 27. Let g = v - -35. Let q = -2 + 2.3. Which is greater: g or q?
q
Let w = 1471 - 1394. Do 62 and w have different values?
True
Let j = -3.85 + 3.846. Which is smaller: -0.2 or j?
-0.2
Let c = 11.6 - 4.6. Let i = 10 - 10. Is i > c?
False
Suppose 276 = -3*m + 5*m + 3*k, -2*k = 3*m - 419. Let c be ((-1070)/(-45))/(1/6). Let q = c - m. Which is smaller: q or 3?
q
Suppose 3*x - 22 = -11*p + 7*p, -5*p = 10. Which is smaller: 11 or x?
x
Let d = 3226/11 + -293. Let n be (-2)/(-3)*(-7 - (-77)/14). Is n <= d?
True
Let j be ((-3)/18)/((-2)/4). Suppose -3*s = -2*r + s + 4, 0 = 4*r - 3*s + 2. Let w be (0/r)/(-21 - -16). Do w and j have the same value?
False
Let m be 223819/265 - 3/5. Do 845 and m have the same value?
False
Suppose -23*q - 42*q - 8840 = 0. Which is greater: -135 or q?
-135
Let v = 194/17 - 192/17. Suppose -q - 3 = -3*x, 0 = -2*q + q - 3. Suppose k = -x*k. Which is bigger: k or v?
v
Let o be ((-1140)/160)/((-310)/8). Let q = 2/2965 - 3089/183830. Let u = o - q. Is 0.3 at least u?
True
Let r be (1 + 4)/((-1)/(-7)). Suppose l = -11 + r. Suppose 0*a - l = -3*a. Is 7 greater than or equal to a?
False
Let o(r) = r**3 + 60*r**2 + 3*r + 61. Let x be o(-60). Is x not equal to -119?
False
Let n = -138 + 233. Suppose -2*i - h - 4 - 27 = 0, -5*i - n = -h. Which is smaller: -16 or i?
i
Suppose -2*n - 1 - 7 = 0, h = -n - 8. Let l be (((-90)/(-12))/5)/(345/h). Is l < 0?
True
Suppose -4*g = 5*c - 39, -23*g - 12 = -25*g - 4*c. Which is greater: g or 19?
19
Suppose -5*d - f - 2*f + 57 = 0, 5*d = 5*f + 65. Let q(c) = -c**3 + 12*c**2 + c - 17. Let t be q(d). Let z be (-2)/t - (-22)/20. Are 3 and z nonequal?
True
Let a be ((-22)/77)/(2/(-14)). Let m be ((12/9)/a)/(-1). Which is smaller: 8 or m?
m
Suppose 4*d - 4*d = 4*d. Which is greater: 290 or d?
290
Let b(o) be the second derivative of -o**3/3 + 7*o**2/2 + 3*o + 13. Let h be b(16). Let g = 36 + -61. Is h at least as big as g?
True
Let d(w) = -w**3 - 86. Let b be d(0). Let l be b/(-82) - (2 - 1). Is 1 <= l?
False
Suppose -3*b - 16 = -1. Let y be 2/b + 6/15. Let r = -2/489 + 273/326. Is y bigger than r?
False
Let z = 172 - 208. Suppose 15*r = 16*r + 1. Which is smaller: z or r?
z
Let j = 33 - 20. Let v = 10 - j. Is v less than -0.1?
True
Let j(i) = -31*i**3 + i**2 + i. Let f be j(-1). Let c = 29 - f. Which is bigger: -2/3 or c?
-2/3
Let r be 2/3 + (-9)/(-18). Let p = r - 3/2. Is 52 less than or equal to p?
False
Suppose 0 = 5*d + 11 - 1. Let h be (-3)/d*8/22. Suppose -20 = -5*u - 0*y - 5*y, 2*u + 4*y - 14 = 0. Which is smaller: h or u?
h
Let d be (16/24)/((-2)/3). Let n = 23805/44 - 541. Which is greater: d or n?
n
Let l be -3 + 3/(24/20). Let a(q) = q**2 + 5*q - 8. Let s be a(3). Is l smaller than s?
True
Let a(p) = p**3 + 4*p**2 + 3*p + 8. Suppose 4*j + b = -11, 2*j - 4 - 8 = -4*b. Let c be a(j). Let t be (-3)/54*1*c. Which is greater: -0.2 or t?
t
Let p = -3 - -3.16. Let r = 0.04 + p. Which is smaller: 2 or r?
r
Let i = -175 + 663. Which is greater: i or 489?
489
Let f = -1 + 1.02. Let c = -48035/49756 - -2/1777. Let j = -5/4 - c. Which is smaller: f or j?
j
Let o be 3/1 + 104823/(-304). Let a = -342 - o. Which is smaller: a or 1?
a
Let p(t) = 26*t**2 - 26*t - 46. Let o be p(-2). Is o <= 111?
True
Let w = -3 - -12. Let k(z) = z**2 - 10*z + 9. Let g be k(w). Let f = 1 - g. Which is bigger: f or -5/12?
f