+ v. Which is smaller: -2/35 or d?
d
Suppose -4*y = -m + 899, 2*y = 6*y - 2*m + 902. Let s = 190 + y. Which is smaller: s or 3?
s
Let x = -22 - -130. Let g = x - 95. Does g = 0.2?
False
Let i(k) = k**2 + 18*k - 175. Let a be i(-25). Which is bigger: a or -3/2366?
a
Let b(h) = -7*h + 16. Let p be b(0). Let y(l) = -34*l**2 + 2*l + 1. Let j be y(-1). Let q = p + j. Is -19 smaller than q?
False
Let l = 1 - -15. Suppose -29*k - 1455 = -34*k. Suppose -5*z + k - 206 = 0. Which is greater: l or z?
z
Let u = 208 + -91. Suppose u - 9 = 6*n. Suppose k - n = -7. Are k and 1/2 equal?
False
Suppose a = 4*s - 0*s + 741, 3*s - 1460 = -2*a. Suppose 2*l = -2*o + 756, 431 = 3*l - 3*o - a. Suppose 5*p = 162 + l. Are p and 109 equal?
True
Let q(k) = 305 - 13*k + 3*k + 2*k**2 - 298. Suppose 4 = 4*v - 24. Let h be q(v). Is h != 37?
True
Let l(d) = -d**2 - 7*d + 17. Let t be l(-9). Let k be ((-4)/4*26)/t. Suppose 27*y = 772 - 70. Is y < k?
False
Suppose 0 = -5*u - 36 + 71. Suppose 45 = u*i - 88. Which is smaller: -4 or i?
-4
Let a = 2360/21 + -221831/1974. Which is bigger: 0 or a?
a
Suppose 4*a + 4*g + 917 = -199, -2*a - 5*g - 567 = 0. Let y be (23/a)/(2/6). Which is smaller: -0.05 or y?
y
Let s(u) = -u**2 + 12. Let k be s(3). Suppose 5*x - 82 - 38 = 0. Suppose 6*j + 2*j - x = 0. Are k and j equal?
True
Let q be (-42)/88*(-52)/156. Which is bigger: q or 0?
q
Suppose -2184 + 10733 = 103*j. Is j != 107?
True
Let g(t) = -t**3 - 3*t**2 - t. Let v be g(-4). Let y be (-23)/5 - 8/v. Let o = -35 + 29. Is y greater than o?
True
Suppose -3*v - 1225 = -6*v + 8*v. Is v less than -257?
False
Let x(z) = 4*z**2 + 3*z - 19. Let j be x(-3). Suppose j*b + 18 = 26. Which is greater: b or 3/61?
b
Suppose -87 = -5*l - 4*a, -12 - 6 = -2*l + 4*a. Suppose -w + l = 3*k + 104, -4*w = 2*k + 56. Which is smaller: 2 or k?
k
Let d = -1381/3213 + 59/189. Let i(h) = -h**3 - 8*h**2 - 8*h - 8. Suppose 7 = -j - 0. Let o be i(j). Is o less than d?
True
Let l(a) = a + 7. Let i be l(-2). Suppose -60 = -4*b - i*m + 25, -2*b - 4*m = -44. Let j be 4/10 - 176/(-10). Which is greater: b or j?
b
Let m = -631 + 616.98. Let s = m + 14.8. Is 0 != s?
True
Let x(p) = -p**3 + 14*p**2 - 2*p + 33. Let o be x(14). Let u be 128/(-88)*o*(-886)/8. Let c = u + -806. Is -2 <= c?
True
Suppose -3*k - b - 8 = 0, 2*k - 3*b - b = -24. Let u be 15/(-102)*259/(-35). Let s = -1483/238 + u. Is s not equal to k?
True
Let t(u) = 42*u + 3361. Let x be t(-80). Which is bigger: 6613 or x?
6613
Let d = 8 + -23. Let q be d - -17 - (-27)/(-21). Which is smaller: q or 0.2?
0.2
Let q = 6486 - 6702. Are q and -213 equal?
False
Let m = 15.782 + -1.042. Let w = 37.4 + m. Let f = w + -52. Is f >= 3?
False
Let a = 250079/3 + -4251341/51. Let s = 4 - 1. Let p(x) = -x + 3. Let q be p(s). Which is bigger: a or q?
a
Suppose 5*g - 102 = -112. Suppose 4*d = -5 + 1, -5*d = -5*v + 5. Suppose v = 34*c - 30*c - 8. Which is bigger: g or c?
c
Suppose 2 = 3*i - 4. Let r be -1 + ((-2)/i - 1). Let n be (-1548)/301*72/162. Is n at most r?
False
Suppose -565*h + 10 = -582*h - 7. Let a be (5/(-110))/(2/52) - 1. Is h <= a?
False
Suppose 0 = -455*i - 1231994 - 764230 - 512191. Does i = -5509?
False
Let l = 5514 - 5513.9. Is 5/2 >= l?
True
Suppose 5*r - 5015 = -5*m, -1477*r = 3*m - 1480*r - 2991. Which is smaller: m or 999?
999
Suppose -302 = -2*t - 66. Suppose -t = 16*p + 74. Which is smaller: p or -13?
-13
Let l(j) = j**2 - 21*j - 3. Let c be l(21). Let g be 0 + c + -4 + (-63)/(-9). Which is smaller: 34 or g?
g
Let w = 119.629 + -127.67. Let r = w + 0.041. Suppose -4*c - 4*u = 24, -4*c - u - 26 = 4*u. Is r at most c?
True
Let g = 31 + -17. Let s be (-3 + 2)/(1 + (-30)/27). Which is greater: g or s?
g
Let q be (7802920/(-195075))/8 + (5 - 5 - -5). Is 0 equal to q?
False
Let i = 396 + -2769/7. Is i less than 53?
True
Let r = -939/34 - -546/17. Which is bigger: r or 484?
484
Let c(h) = 5*h - 51. Let m(u) = -4*u**3 + 17*u**2 - u - 2. Let x be m(4). Let f be c(x). Is 10/49 greater than or equal to f?
True
Let p be 2/6 - 616/(-132). Let k be (0 - (-1)/p)*0. Which is greater: 2/9 or k?
2/9
Let f(z) be the third derivative of -2/3*z**3 + 33*z**2 + 3/8*z**4 + 7/60*z**5 + 0*z + 0. Let n be f(-3). Is n equal to 33?
False
Let h = -8492.9 - -8493. Which is smaller: 0.3008 or h?
h
Suppose -t + 53 = 3*f + 41, -4*t = -f - 9. Suppose 5*h = b + 4, 10*h - f*b = 9*h - 2. Which is smaller: h or -6/347?
-6/347
Let o = 371/234 + -23/18. Let b be 918/(-2975)*(-330)/9. Let p = b - 82/7. Which is bigger: o or p?
o
Let y = -34839 + 33709. Which is smaller: -1125 or y?
y
Suppose -16*b = -13 + 12 + 17. Which is smaller: b or 4/4209?
b
Suppose -114 = -y + 2*o + 2*o, o - 405 = -4*y. Let a = y + -123. Do -20 and a have different values?
True
Let n be ((-1)/(-3))/((-12)/(-2160)). Suppose -n = -o - 5*o. Are 26 and o nonequal?
True
Let j be (-2)/(-7) - (615/21 + 4). Let f = -34 - j. Which is bigger: f or 4/141?
4/141
Let v = 0.339 - 3.339. Which is bigger: v or -6/19?
-6/19
Let r(g) = -2*g**3 + 5*g**2 - 12*g + 17. Let m be r(5). Let l be ((-24)/(-18))/(14/(-1785)). Which is greater: l or m?
m
Let y = 1297.3 - 1298. Which is greater: y or 489?
489
Let a(o) = -o**3 + 11*o**2 - 11*o - 3. Let u be a(9). Let r = -16301 + 16306. Which is smaller: u or r?
r
Let r(y) = -19*y + 31. Let o be r(-5). Suppose 17*c + o = 364. Is 40/3 at most as big as c?
True
Let m = -10567 + 10578.67. Is 2/3 greater than m?
False
Let a = -1533 - -1520. Which is greater: -43 or a?
a
Let h(b) = -b - 11. Suppose 43 = -14*g - 111. Let d be h(g). Let p = -23794/364719 + -2/5979. Which is bigger: d or p?
d
Let j = -2827 - -2636. Does j = 0.2?
False
Let x(m) = -2*m**2 - 14*m - 38. Let l be x(-4). Let g be (-4)/l - 90/(-210). Do 0.1 and g have the same value?
False
Suppose -191*g = -190*g - 5*v - 182, 4*v + 179 = g. Are g and 1168/7 equal?
False
Suppose 3*f + 5*o - 692 = o, 2*f + 4*o = 464. Let x = -7803 + 8032. Which is bigger: x or f?
x
Let r be -34 - ((-10)/15)/((-4)/(-24)). Let p be 276*(r/(-225))/(2/10). Is 184 >= p?
True
Let x = 27 - 56. Let l = 27 + x. Let p = 1.1 + -16.1. Is l smaller than p?
False
Let k(h) = 14*h**2 - 9*h - 1. Let v be k(-11). Suppose 0*w - v = -16*w. Is w less than 111?
False
Let r(t) be the third derivative of t**7/5040 - t**6/72 + 8*t**5/15 - 8*t**2. Let n(c) be the third derivative of r(c). Let v be n(6). Which is smaller: v or 0?
v
Let x = -6716/3264549 - -11/2517. Is x equal to -1?
False
Let j = 2222.4 + -2821.4. Which is bigger: 1.4 or j?
1.4
Let m be 18/20*(-8 - (3 - 1133/99)). Which is bigger: m or -418?
m
Let k(f) = 8*f**2 + 2*f. Let u be k(-2). Suppose -72 - 78 = -5*t. Which is smaller: u or t?
u
Let u be 24 + -13 - 1*(-10804)/(-982). Let c be (-5 - -4) + 0/2. Is u less than c?
False
Let k(s) = s**3 - 18*s + 48*s - 25*s + 22 + s**2 + 8. Let r be k(0). Which is greater: 123/4 or r?
123/4
Suppose -22*r = -14*r + 1736. Let w = r - -154. Let q = 23 + w. Is q greater than or equal to -40?
True
Let u(a) = 3*a**2 - 32*a + 96. Let x be u(8). Let h(w) = -w**2 - 3*w + 7. Let o be h(5). Let b = o + x. Is -0.3 at least as big as b?
True
Let h = -1841/2631 + 29/877. Which is greater: -65 or h?
h
Let p = 24007613/250715 + -3926/41. Which is greater: p or 1?
1
Let g be 10/2 + (-58844)/15745 + 1/5. Which is greater: g or 1?
g
Let w = 5727 + -5726.96. Which is smaller: -383 or w?
-383
Let r(m) = 25217*m**2 + 504*m + 505. Let g be r(-1). Which is smaller: 25219 or g?
g
Let l = 57 - 36. Let b = -321634 + 321634.04. Is b >= l?
False
Let b(t) = -21*t**3 + 2*t**2 + 10*t + 9. Let h be b(-1). Let f = 1/150 + -716/525. Let k = 6/7 + f. Which is greater: h or k?
h
Let f be 19/(-28) - (-12)/10*915/2562. Suppose -7*n + 2*n = 60. Let h be (2/20)/(n/(-45)). Are h and f unequal?
True
Let z = -4416 - -1771. Is z >= -2646?
True
Let z = 2 + -1.94. Let g = -80 + 152. Let y = g - 71.94. Is z at least as big as y?
True
Suppose -41605 = 5*b + 5*d, 5*b = -2*d + 24837 - 66439. Let y be (0 + 1)/(52/b). Is -2/5 not equal to y?
True
Let n(h) = -37*h - 26. Suppose 36 - 24 = -12*p. Let v be n(p). Which is smaller: v or 28?
v
Suppose 16 = 2*q + i, 2*q = -5*i + 92 - 60. Is -1 not equal to q?
True
Let k = -266/153 + -13438/1071. Suppose -6 = -2*u, 2*r + 4*u + 0 = -18. Is r greater than k?
False
Suppose -56 = 2*f + 4*j, f = -4*j - 1 - 35. Let y