)*(-2)/(-4). Which is smaller: k or i?
i
Let w be ((-6)/(-21))/((-4)/(-14)). Is w < 1/397?
False
Let z = 1.92 + 0.08. Suppose -2*a + 29 - 417 = 4*y, 3*a = -2*y - 198. Let n = -670/7 - y. Which is smaller: n or z?
n
Let g be (-2)/((2/4)/(-1)). Suppose j = -g*t + 4*j - 3, 4*t + 1 = j. Is 11 bigger than t?
True
Let a = -0.3223 + 0.2223. Which is smaller: -19.31 or a?
-19.31
Let v = -361 + 361. Which is smaller: 115 or v?
v
Suppose 5*r - 13 = d, 2*r + 3*d - 2*d = 8. Suppose -r*u + 124 = 19. Which is smaller: u or 36?
u
Let q = -1440 + 1496. Which is smaller: q or 2/7?
2/7
Let g be 1/(-6) + (-3707)/(-21054). Which is bigger: -1 or g?
g
Suppose -762 = -63*i + 69*i. Is i smaller than -125?
True
Let h be 1/(-1)*1/(-1)*-34. Let p = -2 + -33. Is h < p?
False
Let g be (-3)/(42/(-8)) + 10/7. Suppose -31 + 27 = -g*f. Which is greater: -1 or f?
f
Suppose -2*k - 26 + 82 = 0. Suppose -4*y + k = 3*y. Let b be ((-5)/50)/((-1)/y). Is -1 greater than b?
False
Suppose 0 = 3*p + 4 + 5. Let n(o) = -o - 9. Let q(v) = 1. Let f(t) = n(t) + 6*q(t). Let a be f(p). Which is smaller: -1/8 or a?
-1/8
Suppose v + 3 = 4*d + 30, -3*d - v - 22 = 0. Let w = d - -10. Let u be w/1 - 9 - -2. Which is greater: u or -5?
u
Let o = -14421 - -14425. Let y = 3 - 4. Let h = y - -1. Which is bigger: h or o?
o
Let y(x) = 2*x - 1. Let b be y(-2). Let f be (b + 0)*96/60. Do -7 and f have the same value?
False
Suppose -1 = a - 7. Let q = -6 - a. Let i = q - -11. Which is smaller: -4/13 or i?
i
Let o be (8/70)/((-12)/42). Which is smaller: 0.022 or o?
o
Let v = 8 - -4. Let s be 128/v*(-12)/20. Which is bigger: -7 or s?
s
Suppose 18*s - 36*s = -18. Which is bigger: 1/73 or s?
s
Suppose 0 = n - 54 - 67. Suppose -41 - n = -2*b. Let q be 9/15 + b/15. Is q at least 6?
True
Let t = 17.3 + -16. Let g = 1.4 - t. Is g equal to 1?
False
Let n = -6214/7 - -888. Which is bigger: n or 22/15?
22/15
Suppose 6*q + q + 595 = 0. Which is smaller: -256/3 or q?
-256/3
Suppose -35 + 0 = 5*x. Let k = x + 14. Let i(r) = -2*r + 15. Let o be i(k). Is o less than or equal to -1?
False
Let u = 33 + -35. Let z be 1 + -1 + u + 2. Which is smaller: z or -1/25?
-1/25
Let f be (-2 + 4/(-4))*-1. Suppose -5*g + 3*m + 27 = 0, f*g + 3*m = g - 6. Suppose i = -g*i. Which is bigger: -3 or i?
i
Let b = 298 + -299. Which is smaller: b or 459?
b
Suppose -3*i = -z + i + 10, 5*z - 5*i = 5. Let w(u) = u**2 - 2*u - 9. Let x be w(4). Let g be x*2*60/40. Is z not equal to g?
True
Let m(f) = f**2 + 20*f - 24. Let z be m(-21). Let w = -31 - -32.8. Are w and z non-equal?
True
Let x be (-2)/(-18)*1*1. Suppose 91*h = 86*h + 35. Suppose -a + h = 8. Do a and x have the same value?
False
Suppose 7*i + 12*i = 228. Suppose 3*x - 12 = 4*g, -4 = -2*x + 5*g - 3. Is x <= i?
True
Let f be ((-200)/(-15) - 0)*(-6)/4. Let k(z) = z - 25. Let t be k(4). Is t bigger than f?
False
Suppose -5*s + 117 + 13 = 0. Let b be 4/s + 716/416. Are 3 and b nonequal?
True
Let z = 20820066/31 + -671821. Let i = -206 - z. Is i smaller than 0?
True
Let w be 6/8 - (-8)/160. Let i be 1*3/(-3)*-1. Do w and i have the same value?
False
Let o(y) = -2*y**3 - 3*y**2 + 10*y + 23. Let j be o(-3). Let t = -2 + 4. Suppose j = -t*r - 2*r. Are r and -13/3 non-equal?
True
Let j(f) = -f**3 - 7*f**2 + 6*f - 7. Let d be j(-8). Suppose -2*k - 25 - d = 0. Let w be 1 + 0 + k/17. Which is smaller: -1/3 or w?
-1/3
Let o = -224.938 + 225. Which is greater: 0.2 or o?
0.2
Let s be 102/42 + -5 - (-6)/(-14). Which is smaller: s or -82/49?
s
Let a(l) = 3*l**2 + 6*l**2 - l + 2 - 8 + l**3. Let h be a(-9). Suppose 9 + 54 = -h*t. Is -22 > t?
False
Suppose 4*o - o + 18 = 0. Suppose 3*s + 16 = -k, -s - 2*s - 3*k = 12. Is o less than or equal to s?
True
Let p be ((-996)/102)/((-2)/(-1)) + 5. Is p < -1?
False
Suppose 9 = 2*d + d. Let k be 1 - d - (4 - 1). Is -3 less than or equal to k?
False
Suppose 0 = 6*j - 180 + 432. Which is bigger: -37 or j?
-37
Let i(f) = -f**3 - 2*f**2 + 1. Let s be i(-2). Let o = -268 + 272. Which is greater: s or o?
o
Suppose -h + 3*h - 16 = 0. Suppose w + h = 3*w. Suppose -w*j - 1 - 7 = 0. Which is smaller: 0 or j?
j
Let j = 49 - 52. Let h = -29/10 - j. Is -1 less than h?
True
Suppose -9*y + 104 = -247. Suppose 19*g = 20*g - y. Which is greater: g or 40?
40
Let g = 41 + -25. Let x = g + -16. Which is smaller: x or -1?
-1
Let w(c) = 2*c + 16. Let g be w(-8). Suppose g*o = o. Is 6 at most as big as o?
False
Let h = -5 - -4.87. Let y = -59 - -59.13. Let f = h + y. Which is bigger: 10 or f?
10
Let i = -2 - -1.8. Let l = -1429 - -1430.047. Let p = l + -0.047. Which is smaller: i or p?
i
Let b be 2 + 0 - (9 - 9). Let n = b - 1. Let h = -0.8 - 0.2. Is h >= n?
False
Let s be (28/126)/(1/9). Let k(d) = 0*d**3 + 4*d**3 - 12*d**s - 3*d**3 - 3*d**2. Let q be k(15). Which is smaller: 1/9 or q?
q
Let p = 0.4146 - -0.0854. Is 1/8 at least as big as p?
False
Let b be (90/(-15) + 5)/(3/(-3)). Let s = 67/14 + -37/14. Which is smaller: s or b?
b
Let x = -0.052 + 14.052. Let h = x - 14.1. Is -2 equal to h?
False
Let j = -22.8625 + -0.0375. Let o = -0.048 - -24.048. Let g = o + j. Which is smaller: 1/2 or g?
1/2
Let b = -407 + 59. Which is greater: b or -347?
-347
Let c = 4197/10 + -411. Which is greater: c or 8?
c
Let d(r) = -r**2 + 16*r + 16. Let p be d(17). Let u be p - (-450)/(-114) - -4. Which is greater: u or -2?
u
Suppose 0 = -0*c - 3*c + 9. Let q be c*4/3 - 3. Let d = q - 1. Are d and 1 equal?
False
Suppose -52 = -8*c + 4*c. Suppose 5*r = 32 + 38. Do c and r have different values?
True
Suppose -21*x + 20*x - 3*g - 257 = 0, 2*x + 2*g + 526 = 0. Which is bigger: -267 or x?
x
Let m(r) = -r**3 + 15*r**2 - 27*r + 18. Let s be m(14). Is -490/3 < s?
False
Let c = 13 - 14. Let q = 4 - c. Which is smaller: q or 21/4?
q
Let l(w) = -10*w + 54. Let y be l(-21). Let v be y/(-18) - -4*3/18. Is -4 less than or equal to v?
False
Let m(z) = z**3 + 7*z**2 + 5*z - 8. Let l be m(-6). Let t be (l + 5/2)*-6. Let v be ((-3)/(-48))/(t/18). Which is bigger: v or 0?
0
Let w be (-1 - -2)/((-14)/(1652/(-2))). Is 60 at most as big as w?
False
Let h be (276 + 3)*(-6)/(-9). Let q be (-570)/h - (2 + -5). Suppose -2*p + 9 + 3 = -2*y, -5*y + 2*p = 15. Do q and y have the same value?
False
Let h = -47.1 - -37. Let o = h - -10. Let g = 0.3 + -0.2. Which is smaller: o or g?
o
Let i = -17.04 - -1.04. Is 1/2 at most as big as i?
False
Let b(u) = u**3 + 10*u**2 + 10*u + 22. Let v be b(-9). Let j = v - 28. Which is smaller: j or -14?
j
Let k = 23 + 49. Which is smaller: k or 291/4?
k
Suppose 0*r - 3 = 3*r. Let m be ((-3)/1 - -1)/r. Suppose -14*a = -19*a + 5. Which is smaller: m or a?
a
Let u be -5*40/50 - 0. Suppose 0 = -0*h + 5*h - 10. Suppose -4 + 14 = -h*k. Which is smaller: k or u?
k
Let m be 138/102 - (-3)/(6/(-4)). Which is smaller: -1 or m?
-1
Let u be (-36)/960*3644/78. Let q = u - 8/65. Let j = q + 37/24. Which is bigger: 1 or j?
1
Let q be (1/2)/(1/(-2)). Let w(h) = 3*h - 1. Let s be w(2). Let i be (-2)/s - 62/(-80). Is i less than or equal to q?
False
Let u = -324 - -324. Which is smaller: u or 9/40?
u
Suppose -7*h = 4*r - 2*h + 11, -2*h = 2*r + 4. Is -4/75 at most r?
True
Suppose 5*c + 8 = -4*a - 13, -4*c - 4 = 0. Is -4 <= a?
True
Let d = 18.04 - 18. Let b = d - -18.96. Is 1 smaller than b?
True
Let s be 6/(-10) - (-481)/(-65). Which is smaller: -6 or s?
s
Let w(y) = y**2 + 5*y - 3. Let q be w(-4). Let p = -4 - q. Let v be (((-36)/(-42))/(-3))/((-3)/21). Is p at least v?
True
Let j = -0.229 + 0.229. Which is greater: j or 0.187?
0.187
Let j be 6/(-8) + (-615)/(-108)*3. Let t = 236/15 - j. Is t at least -5?
True
Suppose 4*g + 36 + 12 = 0. Let s be 1*-2*g/40. Which is smaller: 1 or s?
s
Suppose 4*d - 2*a + 6*a - 20 = 0, 3*a = 9. Which is greater: d or 11/19?
d
Let r(q) = q - 12. Let o be r(13). Is 15/11 less than or equal to o?
False
Let c = 509 + -6613/13. Which is greater: c or 1?
1
Let t be (((-9)/(-12))/(-1))/(6/1776). Is t greater than or equal to -221?
False
Let u = -0.4 - -2.4. Let o be (-2)/(2 + 15/2). Let s = -11/38 + o. Which is smaller: s or u?
s
Let c = 35 + -35. Suppose p + 1 = 2*v, c = -5*v + 3*p + 2*p. Which is bigger: -1/5 or v?
v
Let n = 1224 + -2587. Is n bigger than -1362?
False
Suppose -h - 12 = -5*g, 0 = 3*h + h + 3*g + 25. Suppose -t - 3*n = -11, -t - 4*n = -4*t - 6. Let m be ((-2)/(-3))/(t/(-15)). Is m 