j?
p
Let h = 299.4 - 329. Let g = h - -29.7. Which is bigger: -3/28 or g?
g
Suppose 2*b + 18 - 2 = 5*j, 4*j = -4*b + 24. Suppose -6 = -0*d - 2*d. Suppose -4*m + 3*n = d - b, 5*n = 2*m - 17. Do -1 and m have the same value?
False
Let x(c) = c - 3. Let h be x(11). Suppose 3*l - h*l = -285. Suppose -13*p + 513 + 228 = 0. Does p = l?
True
Let k = -52 - -54. Suppose k*g - 13 = -3. Suppose -2*l + 0*l - 72 = -5*n, -g*l + 68 = 3*n. Is 17 at most n?
False
Let u be (-13)/(1 - 1 - 136/136). Is u at most as big as -16?
False
Let w = 50 + -47. Suppose -4*p - 3 = -i - 2, -57 = -2*i - w*p. Suppose 27 + i = -6*c. Do -4 and c have different values?
True
Let r(q) be the second derivative of -1/6*q**4 + 0 - 61/6*q**3 - 35/2*q**2 - 35*q. Let z be r(-30). Is -11/3 equal to z?
False
Let v = -19157 - -20161. Which is smaller: 1003 or v?
1003
Let j = -1944 + 1961. Which is greater: j or -0.127?
j
Let f = 0 + 2. Suppose -4*h + 240 = -9*h. Let l be ((-1)/f - 1)/((-9)/h). Is l >= -7?
False
Let u = 17055/4 + -4264. Is u greater than or equal to 2?
False
Let v = 22307 - 20804. Which is smaller: v or 7?
7
Let m = -49 - -97. Let f be 265/(-89) + (m/(-6) - -11). Which is bigger: 1 or f?
1
Let t be (3 + -3 - -1)*79. Suppose 4 = -5*k + y + 71, -3*y = 5*k - t. Is 10 at least as big as k?
False
Let l = 0.605 + -0.805. Which is bigger: 7/116 or l?
7/116
Let v = -3583.783 + 3592. Let c = v - 0.217. Is 2/27 at most c?
True
Let w be 0/(-3) + (9 - 7). Suppose 12 = w*x + 6. Suppose x = 3*c - 4*c. Is c != -0.5?
True
Let i be 13 + -8 - (5 - 1). Let j be (32/200)/((-92)/10). Is j > i?
False
Let y = -30 - -29.998. Let h = y - -0.352. Let d = h + -3.35. Which is bigger: d or -1?
-1
Let b = 2283 + -2486. Is b smaller than -206?
False
Let u = 0.2 - -0.8. Let a = 48 + -273. Let r = -905/4 - a. Is u at most r?
False
Let r = -563644/191 - -2951. Let f(v) = -v**3 - 149*v**2 + 1588*v - 317. Let d be f(-159). Which is smaller: d or r?
r
Let i(o) be the third derivative of o**6/120 - o**5/10 + 5*o**4/24 + 43*o**2. Let t(x) = -x**2 - 9*x + 5. Let n be t(-9). Let u be i(n). Is u >= 5/7?
False
Let w = -5647/1924 - -147/52. Which is bigger: 0.2 or w?
0.2
Let r = -58/5 - -237/20. Which is smaller: -2266 or r?
-2266
Let x = 76 + -388/5. Let p(t) be the third derivative of t**5/60 - t**4/6 - t**3 + 117*t**2. Let v be p(5). Is x at most v?
True
Let q(v) = 2*v**2 + 28*v - 4. Let m be q(-14). Let h be (-1*(-5)/(-5))/(m/(-356)). Which is smaller: -90 or h?
-90
Suppose 2*y - 27 = s, y + s - 12 = -0*y. Let m(r) = -r - 19. Let i be m(y). Suppose -50 + 18 = g. Is g > i?
False
Let v be (363/6)/(3/(-2)). Let j = v + 41. Which is greater: 19/7 or j?
19/7
Let w(g) = g**3 + g**2 - 112*g - 20. Let x be w(-11). Let a be (x + -2)*1/(4/4). Let z be ((-56)/(-174))/(6/(-9)). Which is greater: a or z?
a
Let v be (4 - 60556/(-63428)) + -5. Let w = -307881/157 + 1961. Let k = v - w. Is -1 > k?
False
Let x be ((-8)/5)/(12/(-2970)). Let t = -242 + x. Suppose 4*h = -10*h - t. Which is smaller: h or -49/4?
-49/4
Suppose 4 = 5*q - y, 2*q - 4*y + 2 + 0 = 0. Let a be (-60)/7875*-205 + 4/(-30). Which is bigger: q or a?
a
Let m be 10/3*(-18930)/20. Let u = 12785/4 + m. Which is smaller: 42 or u?
u
Suppose -i + 5*g = 3*i - 11, -4*i + 2*g = -2. Let a = -70/2663 + -597921/250322. Let w = a + -4/47. Is w at most i?
True
Let y = -29716 - -88379/3. Is y equal to -255?
False
Let k = -660/139 - -334814/1251. Which is smaller: 262 or k?
262
Let x = -5 + 27. Let s be ((-3)/x)/((-28)/56). Is 3/2 smaller than s?
False
Let m be -10*((-1008)/(-332) + -3). Is m bigger than 1?
False
Let x be (-8)/((-32)/(-3))*-4. Let s be x/1 + 48/(-24). Which is smaller: s or -5/77?
-5/77
Let s be ((-910)/504)/(1/5) + 9. Which is greater: s or -19?
s
Let q = -124735 - -2121125/17. Is q at least as big as 37?
True
Let a be (-39)/12 - -3 - 21/(-4). Suppose 40 = -a*l + 5*j, -2*j - 1 = 2*l + 31. Let w be ((-8)/l)/((-2)/51). Which is bigger: -16 or w?
-16
Let a be (0 - 4/(-6))*(-333)/(-8917). Is a less than 0.1?
True
Let x(g) = 2*g**2 + 9*g - 53. Let l be x(4). Suppose -3*i + l = -t, t + 6*i - 10 = 4*i. Let d be -1 + 122/42 + -2. Which is greater: t or d?
t
Let n = 21823 - 145983/7. Let l = 108763/112 - n. Let i = l - -185/48. Which is bigger: 8 or i?
8
Let f be (-44840)/112225 - ((-12)/5 + 2). Which is greater: 1 or f?
1
Let f = -2846 + 2847. Which is greater: 25/24 or f?
25/24
Let y(i) = -i + 3. Let h(q) = q**3 + 3*q**2 + 4*q + 3. Let p be h(-2). Let n be y(p). Suppose g - 3 = -2*c, -4*g + n*c = -g + 21. Which is greater: 6 or g?
6
Let x be 1008/(-486) - (28/(-54))/7. Which is bigger: -71/36 or x?
-71/36
Let o = -61/13 - -109/26. Which is greater: o or -4/3147?
-4/3147
Let c = -3524 - -919765/261. Let x(z) = -z**2 + 157*z + 7644. Let y be x(196). Is c not equal to y?
True
Let p(f) be the third derivative of f**6/6 + 7*f**5/60 + f**4/4 - 2*f**3/3 - 2*f**2 - 46. Let t be p(-2). Which is smaller: 0 or t?
t
Suppose g - 113 = -4*a, 5*g = -38*a + 36*a + 511. Is g >= 501/5?
True
Suppose 16*w - 19*w = 16*w + 2299. Which is smaller: 1 or w?
w
Suppose 0 = -10*h + 9*h + 14. Let c(f) = f**3 + 9*f**2 + 2*f + 3. Let j be c(-9). Let b = j + h. Which is smaller: b or 2?
b
Let v be -1 + 10 - (-2550)/(-255). Is v <= -2/15105?
True
Suppose g - 5 = 0, -3*g - 13 + 100 = -3*j. Which is greater: 81 or j?
81
Let b(z) = -z - 6. Let a be b(-6). Let c(p) = 10*p - 1. Let v be c(a). Is v equal to -4/21?
False
Let h(n) = 6*n**2 - 3*n + 1. Let s be h(2). Let a(d) be the third derivative of 5*d**4/24 - 5*d**3/3 - 4*d**2. Let w be a(6). Is s < w?
True
Let s = -1983 - -204251/103. Are s and 0.09 equal?
False
Let t be (242/(-5324))/(581/2). Which is smaller: 0 or t?
t
Let r = 5003 - 5003.3. Are 3/35 and r nonequal?
True
Suppose -179 - 133 = -39*u. Let a(y) = -7*y + y**2 - 8 - 1 + 3. Let v be a(u). Which is smaller: -0.09 or v?
-0.09
Let p = 49 - 76. Let l = p - -69. Let b = l - 46. Is -5 not equal to b?
True
Let p = -22 + 21. Let u be (-6)/(-9) + (-1286)/(-978) + -2. Let d = 517/19234 + u. Which is smaller: p or d?
p
Let j = 23 + -153. Let n = j - -194. Which is smaller: n or 65?
n
Let q be 2 - (5 - -11502 - (-252)/28). Is q smaller than -11514?
False
Let r = 648.25 - 615. Let j = r - 3.25. Does j = 0?
False
Suppose -5*n + 3*t = -3514, -2*n - 10*t + 1393 = -7*t. Let k = n - 486. Which is smaller: 214 or k?
214
Suppose -2*f + 9*f = 28. Let i be (3/6)/(f - (2 + 1)). Which is smaller: i or 22?
i
Suppose -11*c = -19 + 30. Which is greater: c or -13/425?
-13/425
Let j = 1675220 - 28468418/17. Let p = j + -607. Let d = p - 43/51. Which is bigger: d or 18?
18
Let i(z) = z**3 + 24*z**2 - 221*z + 183. Let h be i(-30). Which is greater: h or 1414?
1414
Let v = -6.8 + 148.8. Let m = v + -150. Is 0.1 > m?
True
Suppose 17*g - 19 = 117. Let d(r) = 0*r + 6 - 4*r - 5 - 2*r**2 + 3*r**2. Let f be d(5). Is f bigger than g?
False
Suppose 0 = 76*g + 47*g + 6150. Which is smaller: -60 or g?
-60
Let z = 322 + -412. Let y be 416/z + (-4)/12 + 5. Which is smaller: y or -1?
-1
Let s = -10412872058/927 + 11232870. Let z = s - -14/103. Let d(n) = n + 8. Let j be d(-9). Which is smaller: j or z?
z
Let x(v) = v**2 + 1. Let j be x(1). Suppose -17*y - 19*y = -46*y. Suppose y*d - 2*d = j*d. Which is greater: d or -2/15?
d
Suppose -3*b - 66 = 3*f, 0*f - 60 = 5*b - 5*f. Let k(p) = -4*p**3 - 70*p**2 - 25*p - 35. Let q be k(b). Which is smaller: q or -186?
q
Let n(f) = -f**3 - 9*f**2 - 6*f + 18. Let q be n(-8). Suppose -6 = -3*r - r - q*k, k = 3*r - 17. Is r greater than 22/5?
False
Let m = -148 - -58. Let q = 242 + m. Which is smaller: q or 151?
151
Suppose -385478 - 81547 + 51612 = -101*j. Which is smaller: j or 20567/5?
j
Let u be (-1)/4 - 25/(-4). Suppose -2*i + u*i = -i. Suppose 4*t = -i*t + 2*y - 30, -3*t - 22 = -y. Which is smaller: t or -3?
t
Suppose 2*x - 842 = 4*g, -2*g + 5*g = x - 631. Let t = -33394/159 - g. Is t at least 0?
False
Let r = 302 - 105. Let j = -196.976 + r. Is 2/9 less than or equal to j?
False
Let v = 6/1783 + -3320024/23179. Which is smaller: -144 or v?
-144
Suppose 0 = 5*z - 7 - 13. Let q be (14 - (7 - 1))*2/z. Suppose q*f - 9*f = 25. Is f at most as big as -1?
True
Suppose -12*s = -14*s - 2*p + 964, 5*p + 2420 = 5*s. Let c be 2/(-1) - s/(-147). Are c and 0 unequal?
True
Let f be (-2 - -1) + (-27)/(-9). Sup