et f = -6/335 - d. Let j = f - 615/3404. Which is smaller: j or 0?
j
Let t = 3 + -5. Suppose -4*d - 5*b + 148 = 145, -11 = -4*d + 3*b. Let v = t + d. Is -5/12 less than v?
True
Let b = -4218 - -4359. Do b and -1/3 have the same value?
False
Let l = 644 - 782. Let m = l - -137. Let y be (-6)/52*(-2)/1. Is y <= m?
False
Let f be (-29)/4*(-4)/3. Let q be ((-13311)/5916)/((1*-2)/8). Do q and f have the same value?
False
Let o = -34716 - -34678. Is o > -128?
True
Let s = 0.0914 + -0.4914. Which is greater: 2/531 or s?
2/531
Let d = 820/17 + 1583/136. Is 59 greater than d?
False
Let i = 14242 + -13896. Which is greater: i or 356?
356
Let n(c) = -5*c**2 - 7*c + 37. Let p be n(-5). Which is greater: p or 6?
6
Let o(l) = 11*l**2 - 5. Suppose -4*n + 12 = 0, -3*n - n = 4*p - 20. Let w be o(p). Let t be w/((-8 - 1)*(-1)/6). Is -0.1 smaller than t?
True
Let l be 3/(((-3)/(-2488))/(4/(-16))). Let s be 9/(-21) - l/14. Let f = s + -43. Is f <= 2/33?
False
Let o = 5325 - 5320. Suppose 4*d = 3*d + 4. Suppose -2*m - o*g - 9 = 11, -d*m - 16 = 4*g. Which is bigger: m or 1/8?
1/8
Let d = 581 - 17. Let v = d - 443. Is 121 < v?
False
Suppose a - 10 = -5. Suppose -g + a + 9 = 0. Suppose -3*f + g = -2*f. Is f at least as big as 15?
False
Let b be 8/((-2928)/(-56354) + 134/(-2546)). Are b and -11863 nonequal?
True
Let n be -1 + -1 + (2 - 0). Let s = 1088/11 - 6473/66. Which is bigger: n or s?
s
Suppose 3 = -5*y + 3*w - 0*w, 5*y - 4*w + 4 = 0. Suppose -4*s - m - 1096 = y, 5*m + 1355 = -5*s - 0*m. Let h = -1369/5 - s. Which is greater: h or 2?
2
Let f be (7 + -5)*5/2. Suppose -3*i = -f*i - 52. Suppose -3*j - 81 = -3*a, -4*a = -a - 9. Is i less than or equal to j?
True
Let c = 400 + -200. Let p = c - 201.6. Which is smaller: -0.2 or p?
p
Let c = -190 - -199. Let r(d) = 11*d - 99. Let i be r(c). Is -2/789 <= i?
True
Let m(p) = -4*p + 5. Let o be m(12). Let b = o + -81. Are b and -123 equal?
False
Let p = -22454 + 19559. Which is bigger: p or -2894?
-2894
Let h = -3.8 - 0.2. Let v = 3.9 + h. Let n be (20/3)/(-10)*(-3)/(-4). Is n less than v?
True
Let p = -121/45 + 1798/585. Suppose z + z = 4. Suppose 0 = -q - 1 + z. Is p not equal to q?
True
Let k = 3882 + -3765. Is 118 at least k?
True
Let w(a) = -a**2 - 73*a + 229. Let u be w(3). Which is greater: u or 15/563?
u
Suppose 6*c + 2*c - 4*c = 0. Suppose 26*s - 21*s - 160 = c. Which is smaller: s or 31?
31
Let b = -100 + 102.22. Let z = b + -3.02. Which is greater: z or -1?
z
Let r be (-259)/(-42)*54/1204 + 5/(-35). Which is greater: r or 0?
r
Let y be (9 - 200/16) + 4 - (-1)/2. Is 2524 less than or equal to y?
False
Let r be 406/(-1365) - (-4)/10. Let y = -27.4 - -27.3. Which is smaller: y or r?
y
Let p(j) = -3*j**3 - 8*j**2 - 2*j - 11. Let b be p(-4). Suppose -b*t = -67*t - 882. Which is smaller: -1 or t?
t
Let c = -28426 + 28425.8. Let w = 7.5 + 31.5. Which is smaller: w or c?
c
Let q = 854.2 + -382.9. Let u = 18.7 + q. Is 0.1 > u?
False
Suppose 0*g - 21 = -3*g. Suppose 46*j - 49*j + u + 14 = 0, 4*j - 40 = -4*u. Suppose 4*o + j = g*o. Which is smaller: 3 or o?
o
Let p = -6677 + 7315. Do p and 1273/2 have the same value?
False
Let x(h) = -11*h**2 - 2*h - 7. Let n be x(-5). Suppose 2*z = -5*y - 2205 + 856, -4*y = -4*z + 1124. Are n and y equal?
False
Suppose 196 = -6*q + 10*q. Let z be ((-1)/3)/(q/196). Which is greater: -26 or z?
z
Suppose 117*f - 241*f = -116*f + 28048. Is f greater than or equal to -3504?
False
Suppose 2*r - q = 7, 5*r - 2897 = -5*q - 2947. Which is smaller: 22552 or r?
r
Suppose -1841*m = -1850*m. Which is greater: -1/4312 or m?
m
Let w = 73/72 + 4283/72. Suppose -5*o - 10 = 0, 2*o - 306 = -5*m - 0*o. Is w at least as big as m?
False
Let l(r) = -r**3 - 5*r**2 + 7*r + 13. Let o be l(-4). Is -15 at most as big as o?
False
Let y = -3411782710/13287 + 256776. Is 1 >= y?
True
Let m(q) = 2*q**2 + 16*q - 17. Let b be m(-9). Which is greater: 1/118 or b?
b
Let o = -411 - -451. Let y be (o/(-15))/4 - (-168)/(-18). Which is smaller: -8 or y?
y
Let p = 186.6 - 187. Let o be (3 - 0)*30/18. Suppose -o*x = -19 - 21. Is p greater than x?
False
Let i = -2490 - -2487. Which is greater: i or 162?
162
Let i = -249 - -250. Suppose -r - 5*z - 198 = 0, -2*r + 4*z - 396 = 7*z. Which is smaller: i or r?
r
Let q(w) be the third derivative of w**5/12 + 4*w**4/3 - 11*w**3/3 + 6*w**2 - 12*w. Let x be q(-7). Which is greater: x or -48/23?
x
Let u = 243.4 - 7993.4. Is u at most -1?
True
Suppose 15*d - 4*d = 176. Suppose -9*w - 11 - d = 0. Let x be 32/(-6) - w/(-1). Which is smaller: -7 or x?
x
Let u be (-4 - 10)/2 + -25 + 96. Is 52 > u?
False
Suppose 5*s + g = 245 - 763, -s - 109 = 2*g. Does s = -1041/10?
False
Let a be 414/23 + 4760 + -2. Is a less than 9551/2?
False
Suppose 0 = -2*p - 3*w - 16, -27*p + 23*p + 2*w = 0. Let o(f) = -f**3 - 6*f**2 - 7*f - 43. Let h be o(-6). Is h at most p?
False
Let l = -2792/11 - -243047/957. Are l and 1 unequal?
True
Let i = -6847 - -47931/7. Does 26/131 = i?
False
Let y = -0.83 + 0.07. Let p = -7.24 + y. Let l = -10 - p. Are 1.2 and l non-equal?
True
Let t = 233 + -231. Suppose -t*x - 14 = 2*u, 0*x + 4*x + 35 = 3*u. Is 1.7 at least x?
True
Let v(u) = 2*u**2 - u - 1. Let g be v(-1). Suppose -4*i = p - 4, 0*p - i = 2*p - 8. Let a be ((-24)/60)/(1 - p/5). Is a less than g?
True
Let p(f) = -f**3 - 5*f**2 - 5*f + 4. Let h be p(-4). Suppose -10 = -6*d + d - 5*i, -5*d + 3*i = -2. Let w be (d/4)/(10/140)*2. Does h = w?
False
Let d be (42/112)/((-54)/(-96)). Let f = 194 - -24. Which is bigger: d or f?
f
Let i = -1455 + 1455. Which is smaller: -2825 or i?
-2825
Let p = 13.7 + -18.7. Let k = 74 + -20. Which is greater: p or k?
k
Let n = -493 - -951. Which is smaller: n or 459?
n
Let s be (-65)/12714*(-27)/(-18). Which is bigger: 0 or s?
0
Let q(w) = -3*w - 4 - 4 - 2 + 0. Let g be q(-4). Suppose 2*r + 10 = t + 2, g*t - 4 = 0. Are r and -16 nonequal?
True
Let x(g) = g**2 - 5*g + 13. Let m be x(-7). Let i = 101 - m. Suppose p + 45 = i*p. Which is greater: 14 or p?
p
Let h(f) = 6*f - 39. Let z be h(7). Suppose -13*k + 60 = -z*k. Suppose -6*u + 12 - k = 0. Which is greater: -1/6 or u?
u
Let y = 748 - 229633/307. Is -3 at least y?
False
Let v = -17339.1731 + 17340. Is v at most -2?
False
Let j = 33104 - 33071. Which is greater: j or 40?
40
Suppose -4*z + 6*z = 12. Suppose 2*c - 168 = -z*c. Let x be (-150)/35 - (57/c + -3). Is -4 less than x?
False
Let p = -55 - 6. Suppose -6 = 5*y - 1, -225 = -4*f + y. Let i = p + f. Is i at least as big as -5?
True
Let g = -0.111 + 0.101. Which is smaller: 2/349 or g?
g
Let y(p) be the first derivative of -p**3/3 - 35*p**2/2 + 77*p - 174. Let o be y(-37). Let f = 1279/4 - 317. Which is bigger: f or o?
o
Let o be (-818)/5530 - 120/(-840). Is -1 smaller than o?
True
Let a be -12*(-8)/12 - (17 - (2 - -14492)). Is a <= 14486?
True
Let k = 1073 + -983. Let v(b) = -90*b**3 + 2*b**2 - 1. Let m be v(-1). Which is bigger: m or k?
m
Suppose -2*x - 2*x = -16. Let g(k) = k**3 - 5*k**2 + 4*k + 2. Let c be g(x). Suppose 4*y = -5*a + 12, -6 = -5*y - 3*a - 4. Is c at least y?
True
Let v = 0.669 + 0.381. Let u = -1.25 + v. Which is greater: -137 or u?
u
Let x = 3 - -1. Suppose 4*g - 3*g + 3*a = 62, a + 1 = 0. Suppose -9*r = -x*r + g. Is r greater than -11?
False
Suppose -4*t - 2 + 1 = -k, -3*k + 11 = -4*t. Suppose 0 = -345*l + 223*l + 2806. Is l bigger than t?
True
Let c = -160 - -155. Let s(u) = -4*u + 7. Let t be s(5). Let i = t - -8. Is i at least c?
True
Let y = -106 - -76. Let f(q) = 12*q - 27. Let m(i) = -i - 1. Let p(d) = f(d) + 5*m(d). Let c be p(0). Which is smaller: y or c?
c
Suppose 39 = -5*x - 36. Let q(t) = 8*t + 99. Let b be q(x). Is b > -19?
False
Let p be ((-21 - -12) + 12)*(-1)/(-6)*8572. Which is greater: 4285 or p?
p
Suppose 185*s - 40598 - 567740 - 1034647 = 0. Which is smaller: s or 8882?
s
Suppose -5*l = 2*l + 28. Let v be ((-2)/l - 0)*4. Suppose 5 = z - m, -v*m - 6 = -5*z + 13. Which is greater: z or 1/5?
z
Suppose 5156 = -73*k - 6013. Which is greater: -4 or k?
-4
Let p = 2313 - 6109. Let h = p - -37991/10. Is h at least as big as 2?
True
Suppose -2*y + 7*y = -5*u + 60, 4*u - 38 = -2*y. Suppose u = 11*w + 29. Which is smaller: -9/7 or w?
w
Suppose -3*h + 245 = h + 5*m, -3*h + 140 = -5*m. Let w(f) = 75529*f - 151055. Let j be w(2). Which is bigger: j or h?
h
Let x(i) = -i*