 r be (-99)/(-49) - ((-6)/(-3))/1. Is r < w?
False
Suppose -6 = -f + 3*f. Which is greater: f or -43?
f
Let m(b) = -2*b**2 + 46*b - 150. Let x be m(18). Which is bigger: x or 342/11?
342/11
Suppose 66 - 211 = 5*v. Which is bigger: -28 or v?
-28
Let p = 8 + -5. Let h = -3 + p. Let j be (-8)/20 + 108/440*2. Which is greater: h or j?
j
Suppose -163 + 828 = -97*c + 132*c. Suppose -3*x + 6*g - g + 56 = 0, 2*g + 2 = 0. Which is smaller: c or x?
x
Let i be (-86 + 3)/((-4)/4) + -2. Let q(o) = o**2 + 4*o + 4. Let d be q(7). Are d and i nonequal?
False
Let j(b) = -6*b**2 - 4*b + 12. Let q(a) = 5*a**2 + 3*a - 11. Let p(w) = 4*j(w) + 5*q(w). Let k be p(7). Are k and 35 nonequal?
False
Let x = 8845/117 - 1068/13. Which is bigger: x or -8?
x
Let y = 19392181/415008 - -1/37728. Let g = 47 - y. Let w = g - 1/44. Which is smaller: -2 or w?
-2
Suppose -h = s - 17, 3*s + s - 3*h - 103 = 0. Which is bigger: s or 7?
s
Let b = -4123 - -111304/27. Is 0 less than b?
False
Let t = -2084/3135 - 2/1045. Suppose -4*s = -7*s + 6. Let z = s + -3. Which is smaller: z or t?
z
Let o(j) = -j**3 + 6*j**2 + 3*j + 6. Let y = 40 - 34. Let t be o(y). Let g be t/15*5/2. Is g > 4?
False
Let j = 10.5 + -10.3. Is 0.07 < j?
True
Let j = 0.16 + 2.41. Let z = -2.7 + j. Let d = z + -0.07. Which is smaller: 1/4 or d?
d
Suppose 0 = 18*c - 5 + 5. Which is smaller: -1/3355 or c?
-1/3355
Let l(g) = 5*g + 33 - 27 - 18*g**2 - 2*g. Let b be l(-3). Let p be 1/(b/85 - -2). Which is greater: 16 or p?
p
Let r = -9.93 - -9.83. Which is bigger: r or 1/1477?
1/1477
Suppose -222 = 3*b + 3*o, 0*b + 2*o + 355 = -5*b. Let i = b + 68. Does -4/13 = i?
False
Let a = -60 - -84. Suppose 0 = -7*r - 46 - a. Is r <= -6?
True
Let v be (4/(-1))/((-330)/(-370) - 1). Are v and 30 unequal?
True
Let l = -187 - -186. Which is bigger: 46 or l?
46
Let b = 6 - 2. Suppose -s = -4*f + 19, -b*f + 8*f - 13 = -s. Suppose 3*l + 2*l = -4*y - 5, -4*y - f = 4*l. Is l less than or equal to -1?
True
Let w = 17 - -3. Suppose 4*n + 5*u = 7*n + 20, 5*u = w. Are n and -2/23 equal?
False
Let w be (1/5)/(-2 + 1). Which is smaller: w or 11/3?
w
Let j = -5.5 - -9.4. Let z = j + 5.1. Is z > 4?
True
Let c = 0.4277 + -0.2077. Is c < 43?
True
Let f = 133 - 292. Is f > -0.1?
False
Suppose g = i + 52, -6*i = -2*i + 16. Let x = -21341/7 - -3049. Is x > g?
False
Let l(g) = -g**2 + 21*g - 37. Let c be l(2). Which is smaller: -451 or c?
-451
Let v(n) = 4*n - n + 1 - 5 - 12*n. Let g be v(-2). Is g greater than 16?
False
Let q = 134131/77 + -1742. Do -1 and q have the same value?
False
Let w = -280 + 63561/227. Is w smaller than -1?
False
Let y be (-2)/(-462)*7*-3. Which is bigger: y or -17?
y
Let n = -2/211 + -416/633. Let l = 9 - 10. Is l greater than or equal to n?
False
Let q = -603455/224 - -2694. Is 1 equal to q?
False
Suppose m - 2*f = 279, -21*m - 1388 = -26*m + 3*f. Is 277 smaller than m?
False
Let v = -2206513/396 + 5572. Which is smaller: v or 1?
v
Suppose -4*u - 2*o = -6*o - 32, -4*u - 3*o = 3. Suppose -u*l - 6 = 3*s, 0 = 4*s + l - 1 + 3. Which is bigger: 5/13 or s?
5/13
Let t = 1694/3 - 564. Which is smaller: t or -12?
-12
Let j be 130/(-100)*4/16. Which is greater: j or 1?
1
Let s = 85 - 80. Does s = -4/9?
False
Let h be (1/76)/(40/(-24) + 2). Which is smaller: h or 0?
0
Let k be ((-4)/(-12))/((-1)/27). Let y be 2*1*(k + 11). Which is smaller: -2 or y?
-2
Let x = 2 - -1. Let w = 30 + -15. Suppose -5*y + w = 4*l, -4*l + 2*l = 0. Is y at most as big as x?
True
Suppose 3*r - 4*m - 2 = 0, 4*r - 4*m - m = 3. Suppose r*n = 16 + 14. Let g be 9/(-90)*n/2. Is -1 equal to g?
False
Let t = -46 + 64. Let j be (3/(-14))/(t/(-33)). Let s = j + -1/7. Is 0.7 > s?
True
Suppose 549*f - 548*f = -4. Which is greater: f or -60/11?
f
Let f(r) = r**2 + 2*r - 12. Let y be f(8). Let t be (-36)/(-17) - 8/y. Suppose -t*h - 4*h - 12 = 0. Which is smaller: -5/6 or h?
h
Suppose -4*w + 42 = -10. Let i = 165 - 151. Is w less than or equal to i?
True
Let n = 0.0347 + 0.0653. Which is smaller: -18 or n?
-18
Let r = -497 - -20873/42. Let x be 12/10 - (-2)/(-10). Suppose 4*v - 3*v + x = 0. Is v at least as big as r?
False
Let u = -0.26 + -4.74. Let j = u - -5.1. Which is greater: j or 5?
5
Suppose 14*s = 10*s - 68. Is s > -17?
False
Let f = -389 - -17897/46. Which is smaller: f or 1?
f
Let z(w) = -w**3 - 3*w + 48. Let f be z(0). Let m = f + -191/4. Which is greater: -13 or m?
m
Let f = 147.95 - 151. Let j = f - -3. Which is greater: j or -0.1?
j
Let x = -7 + -15. Let i = x - -21. Let m = i + 2. Is -1/15 equal to m?
False
Suppose -359 = -10*v + 81. Which is smaller: v or 42?
42
Let o be -4 + 35/5 + 0. Let w be (o/9)/((-1)/(-2)). Which is bigger: 0 or w?
w
Suppose d + 215 = -3*g + 3*d, d = 1. Let f = 73 + g. Is 11/6 bigger than f?
False
Let k(v) = -20*v - 65. Let f be k(-14). Which is bigger: 216 or f?
216
Let k be -8 - ((-512)/28 + 10). Suppose 4*t = -r - 2, -6 = -2*r + 3*t - t. Let f = r - 1. Is f != k?
True
Let t(n) = -n**3 + 12*n**2 - 7*n - 18. Let j be t(11). Suppose 0 = b + b + j. Is -37/3 > b?
True
Suppose -2*d - 5*r = -52 - 12, 4*r + 16 = 0. Let a = d + 4. Is a >= 46?
True
Suppose 14 - 54 = 2*g. Let h be (-2)/(-10) - (-4)/g. Which is smaller: h or -7/6?
-7/6
Suppose 8*v - 9*v = -15. Suppose -3*h - v = 0, 0*a + 3*a + h + 8 = 0. Let c be ((-74)/148)/(45/4 + -1). Are c and a unequal?
True
Let y = -0.08 + 0.11. Let m = y - 0. Let u = 6/25 - -8/175. Which is smaller: m or u?
m
Let a be 15*(-1 + -1) + 0. Let q(n) = -n**3 + 2*n**2. Let z be q(1). Let d be (z/2)/((-5)/a). Which is smaller: 5 or d?
d
Let i = -2 + 2. Let d = -86 - 195. Let k = 4213/15 + d. Which is smaller: k or i?
k
Suppose -10*p + 159 = -41. Let x be (-20)/p - (-1)/(1/25). Which is bigger: x or 22?
x
Let t be (34/(-8) - -3)*-4. Suppose -t*k + 25 = -5*o, -o + 15 = -3*o + k. Let h(q) = q**2 + 9*q - 10. Let d be h(o). Which is smaller: d or 1?
d
Let l be ((-4)/(-5))/(33/(-330)). Do l and -64/7 have different values?
True
Let i = -14.66 + 15. Let k = 2.9 - 3.9. Is k at least as big as i?
False
Let b = -46 - 54. Let o = b + 95. Is 1 at most o?
False
Let n = 11.41 + 5.59. Which is bigger: 1 or n?
n
Suppose 3*d = -12, -g + d = -28 + 4. Suppose -t = -5*t - g. Let y be 2/2 - 26/4. Which is greater: y or t?
t
Let a = -130 - -113. Is -14 >= a?
True
Let j be -3 - (12/(-28) - (-18)/(-7)). Is 1/116 greater than or equal to j?
True
Let p be 160/364 + (-16)/56. Which is smaller: -2.4 or p?
-2.4
Suppose 0 = -5*t - 10, -100 = -3*u - u - 2*t. Do 13 and u have the same value?
False
Suppose 20 = 2*h + 4*s, 3*h = 2*h - 3*s + 14. Let w(u) = -18*u + 93. Let o be w(5). Which is smaller: o or h?
h
Let a(q) = q + 5*q - 2*q - 2*q + 8. Let f be a(-3). Let j(v) = -v**3 + v + 5. Let c be j(0). Is c smaller than f?
False
Suppose -5*r - 5*k + 35 = 0, 2*k - 19 = r - 26. Is -6.8 smaller than r?
True
Let c = -31 - -34. Let n be (c + 0 + -1)*9/18. Let b = 0.9 - 1. Is b equal to n?
False
Let h(v) = v**3 - 2*v**2 - 3*v + 2. Let r be h(3). Let d = r + -4. Which is smaller: 2/7 or d?
d
Let u be (-10 - 5)/5*35/3. Let q = u + 45. Is 6 at least as big as q?
False
Let m = 22 - 15. Let i(d) = 2*d**2 + d - 3. Let z be (-12)/9*5/((-20)/6). Let r be i(z). Is r >= m?
True
Let i be 4/16 - (-2)/16*-1322. Is -165 > i?
False
Let g be (2/(-16))/(213/(-623)). Let m = 2/213 + g. Is m smaller than -1?
False
Let j = -550 - -2203/4. Which is bigger: 15 or j?
15
Let v = 89 - 48. Let i = -42 + v. Which is greater: 0 or i?
0
Suppose z - 322 = 3*u + 184, 3*z - 673 = 4*u. Which is bigger: -170 or u?
u
Let o = 11.3 + -12.06. Let b = -2 + 1.76. Let y = b + o. Is 0 greater than y?
True
Let g = -1 - -4. Suppose -2*y - 26 = g*k + 2*y, 0 = -4*k - 2*y - 48. Let c be (-16)/3*(-3)/k. Which is smaller: 0 or c?
c
Suppose 4*b - 12 + 0 = 0. Let l(u) = u**2 - 2*u. Let o be l(b). Is 12/5 at most o?
True
Let g = 23 + -35. Let y be 1 - 2*g/8. Let h be y/8*(2 - 4). Is 2/5 greater than h?
True
Let v = -431 - -310. Is v at least -116?
False
Suppose -11*b + 2*b - 666 = 0. Which is bigger: b or -73?
-73
Let u = -345 - -340. Let b(k) = k - 9. Let o be b(0). Is o > u?
False
Let s be -1 + 10/12 + (-36)/(-108). Which is greater: s or 1?
1
Let u be 2/(((-4)/(-20))/(3/40)). Is -13 at most u?
True
Let d = 28/15 + -82/45. Are -5/4 and d equal?
False
Suppose 67773 = 60*z + 12873. Which is smaller: 0 or