= -3*m + r. Suppose d + m = 4*d. Is -1.5 at least as big as d?
False
Suppose -40*y = -6 + 46. Which is bigger: -1/4 or y?
-1/4
Let i be (9/48)/(6/(-484)). Let g = -205/8 - i. Is g at most 1?
True
Let h = 40 + -959/24. Let x = -72.9 - -76. Let p = -3 + x. Which is smaller: h or p?
h
Let f = -59.1 + 54.1. Which is smaller: -1/4 or f?
f
Let h(j) = 38*j + 428. Let q be h(-11). Which is smaller: q or 19?
q
Let j = -95 + 67. Let l be (30/(-35))/((-4)/j). Which is smaller: -5 or l?
l
Let j be (-2)/(6/(-25)*(-5)/15). Which is smaller: j or -95/4?
j
Suppose 5*s - 50 = 2*k, -5*s = -4*s + 5*k - 37. Let u = 19 - s. Let b(w) = w - 6. Let q be b(u). Does q = -3?
False
Let u = -368 - -357. Let s = 24.5 + -35.2. Let p = u - s. Which is greater: p or 1/3?
1/3
Let y(z) = z**3 + 22*z**2 - 2*z + 5. Let m be y(-22). Let u = -34 + m. Is 16 >= u?
True
Let d = 23774219/396 - 60036. Let r = d + 4/33. Which is smaller: r or 1?
r
Let y = -15893/15 - -1059. Which is smaller: -5 or y?
-5
Let h = 124 - 119. Suppose -2*k - 6 = 3*m + k, -3*k = -h*m + 14. Which is greater: m or -12/29?
m
Let r(z) = z**2 - 3*z - 8. Suppose 50 = 15*v - 5*v. Let f be r(v). Let q = -5 + 4. Is q at most as big as f?
True
Let c = 148 - 137. Let i be 1 + -3 + (15 - 1). Is c > i?
False
Suppose 0 = -y - 0*y + 1. Let p = y - 1. Let r = -117346/21 + 5588. Which is smaller: r or p?
p
Suppose 41*c = 32*c - 729. Let q be ((-3834)/c)/(4/(-6)). Is -70 bigger than q?
True
Let t(y) = 4*y**3 - 4*y**2 - 1. Let j be t(2). Let u = 6 + 8. Is j at least as big as u?
True
Let x(l) = -l**3 + 18*l**2 + 40*l - 49. Let m be x(20). Is m >= -47?
False
Let p = -3/893 - 41965/1786. Let f = -25 - p. Which is smaller: -3 or f?
-3
Let a be 1 - 125 - 0/10. Let n = a + 86. Which is bigger: -37 or n?
-37
Suppose -1812*u + 1801*u = 10879. Is -988 bigger than u?
True
Suppose 12 = -3*m + 3*r - 6*r, 4*r + 9 = 3*m. Is m greater than or equal to 2/111?
False
Suppose 0 = 38*b - 44*b - 1644. Do -275 and b have the same value?
False
Let z(x) = 516*x**2 - 28*x - 1. Let r be z(1). Are 486 and r equal?
False
Suppose -5*k = -35 - 5. Let u = k + 8. Suppose 5*a + u = a. Is a at least as big as -6?
True
Let r = -6 + 15. Let b be 1 + r - (2 - 2). Let c be (-2)/b - 96/20. Is -5 bigger than c?
False
Let z(y) = 4*y**2 + 11*y + 8. Let p(t) = 3*t**2 + 11*t + 9. Let b(d) = 5*p(d) - 4*z(d). Let m be b(12). Which is smaller: m or 4/13?
4/13
Let z = 0.021 + 2.279. Let s = -67 - -69. Let p = z - s. Which is bigger: p or 2?
2
Let s = 0.05 - -0.64. Let o = s - 0.29. Which is greater: o or 4/3?
4/3
Suppose 112 = 5*u + 3*k, 0 = 2*u + 9*k - 4*k - 60. Is 22 equal to u?
False
Suppose 6*j - 20*j = 0. Which is bigger: 20/71 or j?
20/71
Let b be ((-237)/(-9) - 1)*(-12)/1. Let i be ((-6)/(-18))/((-1)/(-6)). Let x be i/5 + b/660. Which is smaller: 1 or x?
x
Let q = -113/4 + 28. Let a = -11 + 12. Suppose 0*v = v - a. Which is smaller: q or v?
q
Let d = -0.3 - 0. Let p = d + -0.1. Is p > -2/5?
False
Let g(q) = q**2 - 2*q - 2. Let n be g(3). Let k(t) = -t**3 + t**2 - 2*t + 1. Let l be k(n). Which is smaller: l or 1?
l
Suppose -39 = 10*m - 69. Let r = 5 + -1. Suppose q = 3*v + 11, -m*v = -0*v - r*q + 8. Are 0 and v equal?
False
Let g = -481 + 497. Which is bigger: -8 or g?
g
Let o = -21040/17 - -1238. Let q = 9 + -7. Suppose 0 = -3*l + q*l. Is l equal to o?
False
Suppose -5*i = 4*o + 39 + 34, -2*i + 3*o - 43 = 0. Suppose -28 = 2*v - a + 2, -v - 21 = a. Let z = v - i. Is 2/13 greater than z?
True
Let d be (-1 - -16)*3*(-24)/(-54). Which is greater: 22 or d?
22
Let m be (-42)/10 - (-68)/(-85). Does m = -16/3?
False
Let w(r) = 2*r + 31. Let m be w(45). Which is bigger: m or 0.8?
m
Let n = -82 - -53. Let a = 29 + n. Which is bigger: -1/2 or a?
a
Let h be (8/(-42))/(4/6). Which is smaller: 0.051 or h?
h
Let j(m) = m**3 + 21*m**2 - 22*m + 3. Let o be j(-22). Let r be 2/9*o + 42/(-62). Which is greater: 0 or r?
0
Let t be ((-45)/(-25))/(6/20). Let n(k) = -k + 8. Let s be n(t). Let i be s/(-6) - (-1)/3. Is 0 != i?
False
Let a = -1.12 + 2.12. Which is greater: a or -6/97?
a
Let p = -522/7 + 2617/35. Which is greater: 1/61 or p?
p
Suppose 4*b + 4*h + 10 - 22 = 0, 4*b + h = 6. Which is greater: -6/55 or b?
b
Let q = -0.1167 - -0.0047. Which is bigger: 3 or q?
3
Let t = 5308/2128129 + 6/4181. Are t and 2/9 equal?
False
Let o = 993 + -994. Is -2/1427 smaller than o?
False
Let q = -1071 + 1232. Is q at least as big as 162?
False
Let h be (-6)/(-4) - ((-104)/16 - -9). Which is greater: -30/73 or h?
-30/73
Let f be 3 - 8 - 2/(-2). Let m = 487 - 487. Which is greater: f or m?
m
Suppose 215 = -4*b + s + 4*s, -5*b = -2*s + 290. Let c be 1/(-20) - (-12)/b. Is -0.5 greater than c?
False
Suppose -5*t - 5*h = 15, -h - 10 - 1 = 2*t. Let u be t*((-65)/15 - -4). Which is greater: 4 or u?
4
Suppose -26*u + 28*u - 22 = 0. Suppose -9*l = -u*l. Which is greater: l or 6/7?
6/7
Suppose 54*c = 2*c + 156. Which is greater: -12 or c?
c
Let s(z) = -3*z**3 - 24*z**2 + 7*z - 49. Let a be s(-9). Is 134 equal to a?
False
Let o = 19.366 - 0.266. Let x = -19 + o. Which is smaller: -7/2 or x?
-7/2
Let v = -0.495 - -0.305. Are v and 3 nonequal?
True
Let u = -15.368 + -0.032. Let m = -37 + 22. Let v = m - u. Do v and 2 have the same value?
False
Suppose -2*u - 3*u = -10. Let b be u/(-8) + 1/(-8). Suppose -25*h + 28 = 3. Is b smaller than h?
True
Let g be (-47)/(-235) - (0 - 23/(-65)). Is 1 at most g?
False
Let t be (-4)/6 + 13465/(-1560). Let q = t + -456/13. Let j = 44 + q. Is j > 0?
False
Let l(b) = b + 4. Let y be l(-4). Let i be (3 - 3) + 1104/1180. Let k = i - 8/59. Which is smaller: k or y?
y
Let o be 4/(-10) - 3584/(-9010). Is o at least -1?
True
Suppose -21*i - 3*h - 115 = -16*i, -2*h = 2*i + 50. Are -18 and i non-equal?
True
Let g be -3 + 6 + 2*1. Let k be 1/(-2) + g/20. Let n be (-4)/(-12) - (2 + -1). Is n < k?
True
Suppose -q - 102 = -5*f, -4*f - 36 + 114 = q. Let z(t) = t**2 + 21. Let u be z(0). Which is bigger: u or f?
u
Let s(h) = -h**3 + 14*h**2 - 15*h + 12. Let j = 15 - 2. Let b be s(j). Let m be -1 + -1 + (14 - 3)*-1. Is b greater than m?
False
Suppose 0 = 22*y + 1401 + 5309. Which is smaller: -306 or y?
-306
Suppose 0 = -3*l + 5*o + 29 - 2, 2*l = o + 11. Let j = 3 + 2. Which is greater: l or j?
j
Let o = 18/145 + 1017/2320. Which is smaller: 0 or o?
0
Let b be ((-206)/3)/(14/7 - 4). Are 35 and b nonequal?
True
Suppose -11*a + 16 = -10*a. Let j = 99 - a. Let l = 417/5 - j. Which is greater: l or -16?
l
Let z = -58/3 + 412/21. Let y = 1.73 + -1.7. Which is greater: z or y?
z
Let i = 10 - 8. Let y be ((-32)/(-10))/((-18)/135*-33). Is y >= i?
False
Let r be -3 - (-2)/(-6)*24/8. Let p = -19 + 17. Which is bigger: p or r?
p
Suppose 0*x = 4*x, 0 = 3*l - 3*x - 6. Suppose 3 = 3*p - 3. Suppose -2 - 2 = p*f. Are l and f nonequal?
True
Let d be ((-4)/(-6))/((-4)/(-6)). Let h = 15653/37 + -423. Which is bigger: d or h?
d
Let p(u) = 4*u + 15. Let h be p(-6). Let y(n) = -20*n + 131. Let o be y(7). Is o greater than h?
False
Let s be 2 - ((-56)/52 + 3). Let t = 463 + -462. Is t >= s?
True
Let f be -2 - ((-166)/42 - (-2)/1). Let s be 1/(-1) + (-4 + 3)/(-1). Is f > s?
False
Let i = 3/133 - -1723/266. Let t(v) = -v**2 + 11*v + 14. Let j be t(12). Suppose -a = -3*a - 4*c + 26, -5*c = -j*a - 1. Which is bigger: a or i?
a
Let q be 3 + -6*(-40)/(-78). Suppose 13*f - 9*f - 5*o - 25 = 0, 2*f + 5*o + 25 = 0. Which is greater: q or f?
f
Let v = -158 + 144. Which is smaller: v or -102/7?
-102/7
Suppose -4*d = z + 71, -2*z + 2*d = 3*z + 399. Is z < -79?
False
Let j be (15/(-9))/(-1 - -3). Let s(t) = -t - 9 + 4 + 0. Let u be s(-3). Is j <= u?
False
Suppose -3*t + 17 = m, -8*m + 3*m - 4*t = -74. Suppose 18*u - m*u + 40 = 0. Let x = 13 + u. Is 13/5 <= x?
True
Let z(h) = -12*h - 12. Let o be z(5). Let a be o/126 - (-94)/238. Which is smaller: 0 or a?
a
Let d = -427/981 + -1/109. Is -1.5 <= d?
True
Let x = -9 + -25. Let t(p) = 11*p - 35. Let c be t(6). Let h = c + x. Is h bigger than -8/5?
False
Let g = 344 - 9631/28. Which is smaller: g or -1?
-1
Let q(s) = -2 - 2*s - 3 - 9 - 1. Let r be q(-7). Is r at most -8?
False
Let k = 73 + -58. Are -0.1 and k unequal?
True
Let n be (-136)/(-12)*6*(2 - 0). Does n = 137?
False
Let d(g) = g**3 + 9*g**2 - 9*g + 12. Suppose -5*p - 14 = -2*c + 30, p + 5*c = -25. Let u be d(p). Suppose u = q -