y or 3?
y
Let n be 5 - (0 + -4)*-407. Let d = 266173/164 + n. Is d less than or equal to -1?
False
Let v = 6738 + -10901. Is v <= -4163?
True
Suppose 0 = 23*c - 122 + 99. Which is bigger: c or 1/455?
c
Suppose 2003*f - 1907*f = 88896. Are f and -0.02 non-equal?
True
Let u be 2561/(-585) - (-2)/(-9). Let d(f) be the second derivative of -f**5/10 + f**4/6 + f**3/6 + f**2 + 2*f. Let t be d(2). Which is bigger: u or t?
t
Suppose -5*k - 1127 = 4*w, 93 + 127 = -k + w. Is k < -216?
True
Let v = -33405 - -33760. Are v and 1776/5 non-equal?
True
Let a be (-25 - 52022/(-2090))/((-6)/10 + 0). Do a and -2002 have the same value?
False
Let g = -6087 + 6551. Is 7 at most as big as g?
True
Let m = 51/41 - 5130/4223. Which is smaller: m or 4?
m
Let j = -2.74 + 1.93. Let q = -0.98 - j. Which is bigger: 4 or q?
4
Suppose -19*c + 18*c - 3 = 0. Let t be c/(-35)*(-6439)/228. Let n = t + -3/380. Are -3 and n equal?
False
Let h = -19296 + 10593508/549. Which is smaller: h or -1?
-1
Suppose -5*p = -5*t + 5960, -5*p - 4750 = -4*t - 4*p. Which is greater: 1187 or t?
1187
Let h = -12/4123 + 119080/1249269. Which is smaller: h or 0?
0
Let w(p) = -p**3 - 4*p**2 - 3*p - 4. Let f be w(-3). Let c = 1404 + -1401. Is c not equal to f?
True
Let s = 6399 - 25595/4. Is s >= 618?
False
Let f(u) = -u + 2. Let r be f(-2). Let s be 4/(-16) + 1/r. Let q be -1*(-1 + -1)*5/535. Which is greater: q or s?
q
Let n be (2/(4 + 2))/((-33)/495). Let d(v) = 13*v + 25. Let a be d(n). Which is bigger: -426/11 or a?
-426/11
Let u(s) = -2*s**2 - 7*s + 20. Let p be u(-8). Let b = p + 54. Suppose 2*c - 5*x = -104, 4*c - b*x + 42 = -134. Which is bigger: c or -41?
-41
Suppose 139 = -5*m - 4*t + 136, -2*m + 5*t + 12 = 0. Which is bigger: -2/12557 or m?
m
Let t = 6179.08 + -6179. Which is greater: t or 1/29?
t
Let z be (-35 - -29) + 158*4. Which is greater: z or 618?
z
Let i be -95 - 2/2 - 0. Suppose s - u - 3*u = 125, s = 12*u + 165. Let l be 2/(-10) - i/s. Which is bigger: l or 2?
2
Let w be (7/(-3))/(14/(-6)). Let f be (-25)/(-30)*(-5 - (-85)/15). Which is smaller: w or f?
f
Let f = 160.4 + 13.8. Let q = 174 - f. Is q >= 1/261?
False
Let f = -440 + 444. Suppose -3*t - 39 = -x, 5*t - f*t + 85 = 3*x. Which is bigger: x or 28?
28
Let g(d) = -120*d - 10824. Let v be g(-113). Do v and 2736 have different values?
False
Let s(f) = -f + 7. Suppose -44 = -6*n + 4. Let b be (1/1 - 1) + n. Let k be s(b). Which is greater: k or -2/25?
-2/25
Suppose -4*b = 5*m + 100, -3*m - 3*b = -7*m - 49. Let o(v) = 3*v**2 + 250*v - 713. Let a be o(-86). Does a = m?
False
Let g = 65 - 69. Let k be -38 - ((g + 8)/4 - 2). Let t = 46 + k. Which is smaller: t or -2?
-2
Let r = 17543.6 - 17556. Which is greater: r or 2?
2
Let b = -48.89124 + 0.08124. Let f = b + 49. Which is smaller: 0 or f?
0
Let z be (14/6 + (-22)/11)*(4 - -2). Which is smaller: z or 15?
z
Suppose 263*x + 277*x - 557*x = 0. Is x greater than 25/322?
False
Let f = 18101 - 17656. Which is smaller: f or 1337/3?
f
Suppose -914 - 431 = -i - 2*r, -5410 = -4*i - 2*r. Is i at least as big as 1355?
True
Let o be 0 + 0 + 1034/42 + 0/(-290). Is 25 less than o?
False
Let t(r) = -573*r - 6939. Let w be t(-12). Let f be (-2)/(-9) - (-1147)/(-18). Is f at most as big as w?
True
Let i(x) = x**3 - 14*x**2 + 16*x - 18. Let t be (6 - 6)/1 + 13. Let d be i(t). Let j(o) = o**2 + 9*o + 1. Let a be j(-11). Is d equal to a?
False
Let c = -5.149 + 0.049. Let i = c + 30.1. Let y = 0.037648 + -1.037648. Which is smaller: i or y?
y
Let x = 9903 + -9903.3. Which is smaller: x or -3/485?
x
Let v be (-6)/21 + 153/126*6. Suppose -v*o = -46 + 606. Is -82 less than o?
True
Let a = -3.95 - -0.85. Let s = 3.645 - -0.055. Let y = s + a. Is 0.4 greater than y?
False
Suppose 2261*f - 179 = -m + 2266*f, 2*m - f - 430 = 0. Is m greater than 208?
True
Let a be ((-176)/10)/(16/(-40)). Let j be (-36)/a - 24/132. Is j smaller than -2/97?
True
Let v be 3 - (4 + -13 - 3). Suppose -3 = -9*k + v. Suppose k*i - 3*u - 2 = 0, -5*i + 5*u + 1 = -4. Which is smaller: i or 9/7?
i
Suppose -3*g = 2*g - 135. Suppose -7*b = 76*b - 89*b + 168. Is g less than or equal to b?
True
Let l = -30362.024 - -30362. Which is greater: -28/9 or l?
l
Let d(t) = -8*t - 6. Let y be d(-5). Let k = y - 54. Let r be (-30)/k*(-464)/(-234) + -3. Is 1 < r?
False
Suppose -4*t - 30216 = -2*z, -2*z - 12*t + 10*t = -30240. Is 15114 at least z?
False
Suppose -3*y - y - f + 204 = 0, 34 = y - 4*f. Suppose 0 = -c + y + 20. Is c smaller than 70?
False
Suppose -46 - 19 = 13*h. Let j = -12 - -12.096. Let c = j - 0.036. Is c greater than h?
True
Let s(p) = -p**3 - 9*p**2 - 11*p - 26. Let j be s(-8). Let r(c) = -10*c**2 - 2*c - 1. Let a be r(j). Which is smaller: -38 or a?
-38
Let o be -100 + 107 + 1 + -57. Is -40 smaller than o?
False
Let r = -416.5 - -426.5. Is r less than -2/157?
False
Let m = -146 - -147.21. Let v = 20.21 - m. Is -1 bigger than v?
False
Suppose 13*g - 94 = 23. Suppose -4*f + 3*b - 45 = 0, 3*f - b = -31 - g. Is f >= -10?
False
Let b be (((-4)/(-70))/((-4)/25))/(16/10816). Is -240 <= b?
False
Suppose -2*a = -m - 12, 11 - 32 = m - 5*a. Let d(g) = 3*g + 11*g - g**2 - 2 - 13*g. Let w be d(2). Is m not equal to w?
True
Suppose -14*x = -9*x + 10. Let o be (1521/(-91) - -7) + 9. Which is smaller: o or x?
x
Suppose -g + 48 = -7*g. Let i be (-6 - -7)*(-2 - g). Let v be 1/((-5)/i)*(14 - 2). Is -14 less than v?
False
Suppose 5*x = l + 224, -71*l - 5*x = -75*l - 881. Is l at most -3/14?
True
Let j(z) = z**2 + 23*z - 81. Let b be j(3). Let w = 95 + -65. Let l be 0 + ((-23)/b - (-10)/w). Is 10 greater than l?
True
Suppose -5*p + 3*y - 4871 = -25055, -12088 = -3*p - y. Is p at most as big as 28222/7?
False
Let t be ((-1)/3)/((-8)/(-9) + -1). Let g be (-4)/117*t/2. Let m = 29/195 - g. Is m bigger than 1?
False
Let k be (-9)/((-5022)/(-1068))*60/20. Which is bigger: -7 or k?
k
Suppose -87*f = -72*f. Suppose f = 39*r - 15*r - 6984. Is r smaller than 290?
False
Let i(o) = 3*o + 29. Let p be i(-7). Suppose 0 = 5*l - u - 132, 80 = 3*l + 7*u - p*u. Is 27 > l?
True
Let g = -3832 - -3762. Do g and -52 have the same value?
False
Let a = -4321011 - -138334711/32. Let m = -1949 + a. Is 1 at least as big as m?
True
Let u be (7/(42/(-188)))/((-8)/(-204)). Let f be (u/238 + (-1)/7)*2. Are f and -24 non-equal?
True
Let b = 7804952/183 - 42650. Let p = 1 + -1. Is p < b?
True
Let h be (0 - 2)/(6/24). Suppose 5*g - 28 = 3*t, 27 = 5*g - 0*t - 2*t. Suppose -17 = g*o + 28. Is o >= h?
False
Let j = 6353 + -5864. Is 495 at least j?
True
Let l = 28/2013 - -426299/16775. Let u = l + -2/75. Is u at most 25?
False
Let f be -4*(95/(-1368) - (-2)/16). Is -117/8 bigger than f?
False
Let g(s) = 86842 + 4*s - 14*s - 86607. Let b be g(-13). Is b at most 365?
True
Let c = 25 + -40. Let t be (273/(-6))/(0 - 1). Let d = t - 46. Which is greater: c or d?
d
Suppose n - 11 = -4*y, -4*n = y + 4*y - 88. Let l(p) = 217*p + 3927. Let g be l(-18). Is g != n?
True
Let m = -1217.1 + 1217. Let s = -149 - -273. Which is greater: m or s?
s
Suppose -3889*h - 900 = -3899*h. Suppose -2*x + 5*r - 70 = -251, -4*x = -4*r - 368. Is h > x?
False
Suppose 85 = 5*p - 55. Let i be p/(-1127)*((-49)/(-6))/(-7). Which is smaller: 1 or i?
i
Let a be (-10)/35 - (-2 + (-2993)/700 + 6). Let h = 27 - 28. Is a <= h?
False
Suppose 0 = x - 71 + 70. Let l be 8/(7 - -1) - (-132)/x. Is 134 < l?
False
Suppose -2*g = -181 - 39. Let p be -1 - (g/(-6))/1. Let l be (-100)/225*3*5/((-5)/12). Which is smaller: p or l?
l
Suppose 0 = 1682*q - 1595*q - 12876. Is 133 greater than or equal to q?
False
Let q = -1138 - -1137. Which is smaller: -3.16 or q?
-3.16
Let i = -6726943/18551 - -4714/13. Which is smaller: i or 1?
i
Let i = 3149/20 + -315/2. Is 19 greater than i?
True
Let l = -71 - -73. Suppose 85 = l*c + c + 2*t, 4*c - 80 = 4*t. Suppose 11*d + c = 12*d. Which is smaller: 23 or d?
23
Let b = -297 + 299. Suppose -22 = -2*x + g, b*x + 25*g - 29*g - 34 = 0. Which is bigger: x or 0.05?
x
Let h = 2.708 + -2.608. Which is bigger: -1781 or h?
h
Let g = -4/163 + 205/14996. Which is greater: 1 or g?
1
Let f(j) = j - 33. Let u = 446 - 419. Let l be f(u). Which is smaller: l or 11?
l
Let a(o) = 288*o - 2473. Let f be a(9). Let h be 2/7 + (0 - 19/(-7)). Is f > h?
True
Suppose -1601*l + 1599*l = -1586. Which is bigger: 795 or l?
795
Let t = 