9)/(-2) + -4 + 7/(-14). Is 6/401 less than f?
False
Let o = 6/5 - 8/5. Let v = 1.064 - 1.164. Which is greater: v or o?
v
Let m = 290 - 183. Suppose -39 = -4*o - m. Let h = 11 + o. Which is greater: -7 or h?
h
Let t = -24 - -29. Suppose 6*c + 14 = -2*a + 2*c, 1 = t*a - 2*c. Is a at most 5/18?
True
Suppose -3*a - 12 - 13 = 5*y, 0 = 4*a + 3*y + 15. Is a less than 15/56?
True
Let o = 102 + -94.9. Let k = o - 41.1. Let g = -19 - k. Is g less than -2/3?
False
Let y be (4/3)/(2 + (-5)/3). Suppose -y*z + 2 = 18. Which is greater: z or -1?
-1
Suppose 4*t + 3 = 2*f - 5*f, -2*t = 4*f + 14. Suppose k + 2*b = 0, -t*k + b + 2 = 16. Let l be (0 - 0)*5/10. Is l bigger than k?
True
Let a(j) = j. Let z(q) = 3*q + 18. Let v(h) = 4*a(h) - z(h). Let y be v(12). Is y less than -6?
False
Suppose -8*h + 15 = 7. Let w be -31 + 1/h - 5. Which is smaller: w or -36?
-36
Suppose -2*n + 4 = -n. Suppose -n*c - 9 = 11. Let d be 10/15 + c/3. Do d and 3/14 have the same value?
False
Let q = 55 - 53. Suppose -q*x = -0*x - x. Let w = 211 - 2745/13. Is w smaller than x?
True
Let i = 327 - 1000. Which is smaller: i or -674?
-674
Suppose 5*s + 4*i - 1213 = 326, 5*i = -2*s + 619. Is 306 at most as big as s?
True
Let l = -11.1 - -13. Let m = l - 2.3. Is m greater than or equal to 1?
False
Let m = -136.019 + 0.019. Is m less than or equal to 1/3?
True
Let u = -2/803 - -1620/5621. Which is smaller: u or -1?
-1
Suppose 4*t = -5*c - 9 - 14, 3*t + 9 = -c. Let q = -95 + 50. Let u be 231/q - (-2)/15. Is u at most as big as c?
True
Let f = 40 - 39. Let h = -5.3 + 5. Let a = h - -0.25. Which is bigger: a or f?
f
Let h be 0 + -2 - (-2 - 3 - -2). Let p = 15 + -13. Let x be p/(8/3*1). Is x at least h?
False
Let r be (-116)/(-20) - (3 - 1). Let c = 556/145 - r. Let x = 38 + -38. Which is bigger: c or x?
c
Let c = 3 + -8. Let j = -61 - -1. Let v = j - -53. Which is smaller: c or v?
v
Let t = 1163 + -1368. Which is smaller: -202 or t?
t
Let p be (((-140)/(-13))/1)/((-95)/(-190)). Which is greater: 23 or p?
23
Let c = 47 - 73. Let v = c - -21. Let a = -17 - -12. Are v and a nonequal?
False
Let l be (-19)/(153/75 + (-4)/2). Are -475 and l equal?
True
Let k be 47/423 - 2*(-5)/(-9). Is k <= -1/202?
True
Suppose -2*g + g - 6 = 0. Let t(o) = -o**3 - o**2. Let k(n) = -7*n**3 + 6*n**2 - 11*n + 8. Let d(v) = g*t(v) + k(v). Let m be d(11). Which is greater: 9 or m?
9
Let w(z) = -z**3 + 9*z**2 - 13*z + 34. Let r be w(8). Are -14 and r nonequal?
True
Let z = -2.71 - -2.71. Let t = 9/5 - 28/15. Which is smaller: t or z?
t
Let m = -110 - -374. Is m equal to 263?
False
Let x = 140.06 + -141. Which is smaller: 2/9 or x?
x
Suppose 4*q - 56 = 4*l, 5*l + 20 = -5*q - 0*q. Which is greater: l or -52/5?
l
Suppose x - 14 = -2*q, -3*q + 29 = x + 2*q. Let s be (-13)/x + 0 + 1. Which is greater: s or -3?
s
Suppose -34*n = 4*o - 29*n + 196, 0 = o - 2*n + 36. Which is smaller: o or -69?
-69
Let q = -9 - -11. Suppose v - q = -3. Let c = 65/6 - 199/18. Which is bigger: c or v?
c
Let f = 3169/7 + -450. Which is smaller: f or 2?
2
Let u = 60 + -48.7. Let q = -11.1 + u. Is 1.9 >= q?
True
Let z = -1312 - -1312. Let w = 19 + -9. Which is smaller: z or w?
z
Let g be 42/(-9)*63/(-6). Let u = g - 189/4. Let y = -1053/4 + 263. Is y at most u?
True
Let w = -67/66 + 4651/4587. Which is greater: 1 or w?
1
Suppose -3*q + 101 = 4*p, 2*q - 5*p = 31 + 67. Let t = q - 431/11. Suppose -5*l + 3*g = -2*l, 30 = 2*l + 4*g. Is l > t?
True
Let d(g) = -g + 9. Let f be d(9). Let a = f - 22. Is -21 != a?
True
Let c = 44 + -42. Suppose -11 = -c*t - 1. Which is greater: t or 0?
t
Let w be -3 - 1*(-10167)/3387. Let c be ((-12572)/(-308217))/(4/30). Let y = w + c. Which is smaller: 1 or y?
y
Let s = -7 - -9. Which is greater: s or 0.098?
s
Let h(p) = -3*p - 6. Let s be h(-3). Suppose 2*q = s - 5. Are q and -2 nonequal?
True
Let i = 582 - 574. Let v = -1 + 9. Is v <= i?
True
Let d be (-27405)/70 + 4/(-8). Is d bigger than -392?
False
Let n = 2.26 - 2.26. Which is smaller: n or -0.072?
-0.072
Let o = -293 + 292.8. Is o less than or equal to 21?
True
Let i be 39/(-9) + 1/(-3). Let g = 696.9 + -697. Which is smaller: g or i?
i
Let l = -4301 - -1591371/370. Do -1 and l have the same value?
False
Let d = 12 + 11. Suppose -91 = -4*v + x, 0 = -297*v + 293*v + 4*x + 76. Which is greater: d or v?
v
Suppose 6*x + 2056 = 5842. Which is greater: 633 or x?
633
Let q = 89 - 59. Let a = q + -45. Which is greater: a or -16?
a
Let c = 0.55 - -0.05. Let s = -34 + 16. Let w = s - -17. Which is greater: c or w?
c
Let j(v) = -7*v**2 + 98*v + 27. Let u be j(14). Let k = 0.5 - 0.7. Which is bigger: u or k?
u
Let b = 67.834 + 0.166. Let y = 69 - b. Which is smaller: -22 or y?
-22
Let o = 571 + -569. Which is smaller: 23/25 or o?
23/25
Let p = -672 - -210. Let q = 6934/15 + p. Which is smaller: q or 0?
0
Let t = 1369 - 1373. Which is smaller: -140/53 or t?
t
Let h = 8603 - 8608. Let n = -8/7 - -23/14. Which is smaller: n or h?
h
Let r = 1.9 + -1.86. Which is greater: 48 or r?
48
Let d = -49 - -24. Let r = -47 - d. Which is bigger: r or 0.1?
0.1
Let h(o) = -2*o - 1. Let a = -3 - -11. Suppose -a*x + 3*x = 0. Let t be h(x). Is t > -2/41?
False
Suppose 3*d = -4*q - 0*q, 0 = -d - 4*q. Suppose d*r + 3*r = 12. Suppose 0*i - 4*v + 8 = 5*i, 2 = -r*i + v. Do 2 and i have the same value?
False
Let x be (1*-60)/((-6)/(-4)). Let z = x + 44. Let h be (-117)/z - 2/(-8). Is -29 at most as big as h?
True
Let y(s) = 2*s - 25. Let x = -14 + 27. Let z be y(x). Is -4 less than or equal to z?
True
Let b(x) = -3*x**2 - 16*x - 11. Let r(t) = 8*t**2 + 48*t + 33. Let j(y) = 11*b(y) + 4*r(y). Let a be j(15). Which is smaller: a or 27?
a
Let l = 279.4 + -255.4. Which is bigger: l or 34?
34
Let x = -14 + 4. Let q = -2.4 + -8.6. Let l = x - q. Which is smaller: -0.05 or l?
-0.05
Let z be (-20)/(-100) + (-2851)/680 - -4. Is 0 greater than z?
False
Suppose 10*u = 18*u + 56. Let n = -7 + 2. Let t = u - n. Is 2 smaller than t?
False
Let v(g) = g**3 - 22*g**2 + 59*g - 13. Let f be v(20). Is f <= 366?
False
Let b(s) = -s + 1. Let p be b(5). Let g = p + 9. Let u(i) = -i. Let v be u(g). Is -5 smaller than v?
False
Suppose 0 = 5*d - w + 1402, 2*d + 2*d + 1114 = -3*w. Let k be 0 + (-2)/d*-2. Is 0 bigger than k?
True
Let d(k) = 2*k**2 + 15*k - 4. Let w be d(-7). Let y = -12 - w. Are y and 2/7 nonequal?
True
Let x(u) = -6*u + 37. Let z be x(6). Which is greater: z or 14/41?
z
Let w = 331 - 471. Which is bigger: -138 or w?
-138
Let p = 0.077 - -0.023. Let c = 163/440 + 1/220. Is p bigger than c?
False
Let u = 2 + 2. Suppose -n - u*f - 7 - 9 = 0, 2*n = -2*f - 56. Let d be ((-2)/(-8))/(48/n). Is 1 >= d?
True
Let k = -102 - -103.46. Let y = k - 0.46. Which is smaller: 38 or y?
y
Suppose 0 = -j - 1 + 3. Suppose 20 = j*g - 4*g - 2*a, 9 = -3*a. Let d = -8 - g. Which is bigger: -2 or d?
d
Suppose -136 = 10*c + 14. Is c <= -13?
True
Let b(p) = -2*p**2 - 2*p**2 + 8*p**2 - 3 + p**2. Let h be b(-2). Let k = h + -10. Is k greater than 7?
False
Let p be 1*(-44)/8 + 6. Are -33 and p unequal?
True
Let n = 35 - 42. Let s = -63 + 317/5. Which is smaller: s or n?
n
Let o = 98 + -102. Let y be ((-270)/12)/(-15)*o/(-6). Which is smaller: -2 or y?
-2
Suppose 1603 + 1794 = 43*r. Is r smaller than 80?
True
Let z be 1 + 162/2 + 9 + -7. Let n = z - 1347/16. Which is greater: n or -1?
n
Let o = -1213 - -1210. Is -10 at least as big as o?
False
Suppose 10*v - 11*v = -10. Suppose v*t - 6*t - 4 = 0. Suppose 0 = 4*x + 4, z - 2*x + 3 = 4. Is t < z?
False
Suppose 10 = -5*o - 10. Let q be o/4 + 2 + -26. Let d = q - -43. Do 18 and d have the same value?
True
Let w be 4/(-9) + (-4)/18. Let d = -35 - -63. Let z = d + -22. Does z = w?
False
Let g be (9 + -3)/(2/3). Suppose -g*q = -13 - 14. Is 0 greater than or equal to q?
False
Let f(m) = -m**2 - 9*m + 7. Let g be f(-7). Let r be ((0 - -1)*3)/(g/14). Is 16/7 less than r?
False
Let m = -1372 + 1364.49. Let z = m - -0.51. Which is bigger: 4 or z?
4
Suppose -218*y = -213*y - 165. Is 34 greater than y?
True
Let g(s) = -s**3 - 2*s**2 - 2*s + 9. Let z be g(-4). Suppose -4*f + 0*f = 28. Let u be (-35)/z + 2/f. Is u greater than 2/23?
False
Let n = 20 - 36. Let y = 21 + n. Suppose -y*r + 40 = 5*f, 2*f = -r + 6*f - 7. Is 21/4 < r?
False
Let h be (-142)/(-644) + 2/(-7). Let t = 37/138 - h. Which is smaller: -0.1 or 