28 or k?
28
Suppose 117*j + 7840 = 187*j. Let p = 377 + -264. Which is greater: j or p?
p
Let n = -2.404 - 0.096. Let z = 4.5 + n. Do z and -29 have different values?
True
Let p be ((-4)/12 - 2/(-18))*(-3)/(-2281). Which is bigger: p or 0?
0
Suppose 183 - 118 = 5*q. Suppose -24 + q = -x. Suppose -x*c = -c - 90. Which is bigger: 13 or c?
13
Let c(y) = -y**2 - 34*y + 1388. Let d be c(24). Let f(a) be the first derivative of 5*a**2/2 + 18*a + 1. Let j be f(d). Which is bigger: 1 or j?
1
Let s = 11.861 + 183.139. Which is greater: s or 32?
s
Suppose 0 = 3*g + 319*u - 320*u - 47, 100 = 6*g + 4*u. Which is smaller: 333/22 or g?
333/22
Let j = -1/842 - -7891/263546. Which is smaller: 0 or j?
0
Let k(q) = 3*q. Let x be k(1). Suppose 2*a = a + x*d - 19, -4*d - 76 = 5*a. Let z be (-23)/2*4/a + -3. Which is smaller: z or 0?
z
Suppose -r - 80 = 4*r. Let v be (-4)/r - 9/4. Let d = -927782 + 927778. Is v not equal to d?
True
Let h(s) = -356*s - 3967. Let c be h(-21). Which is greater: 3510 or c?
3510
Let f = 1/1247 + -130/1247. Let n be (-6 + 3)/3 - -5. Suppose -2*p = 2*p - n. Which is greater: f or p?
p
Let g be -6*(-1)/(42/(-4)). Suppose 17*m - 51 = 54*m + 14*m. Which is bigger: g or m?
g
Let j = 36.35 - 35.7. Let x = j + 2.35. Let q = -0.6 + -0.2. Is q at most x?
True
Let h be (-318348)/25695 - (1/1 + -2). Let a be (-1*48/(-2284))/(-2). Let p = a + h. Is -10 >= p?
True
Let j be (0/((-4)/2))/(-2). Suppose j = 10*i - 4*i - 36. Let a be (-129)/4 + (i/(-8) - 0). Is a greater than or equal to -34?
True
Let p(s) = -43*s - 4885. Let r be p(-92). Is -929 bigger than r?
False
Suppose 3*x + 87 = -0*x. Let r(m) = 8*m + 52. Let c be r(-10). Which is smaller: c or x?
x
Suppose 0 = w - 11*w - 170. Let o = w - 4. Let k(h) = h**2 + 10*h + 5. Let b be k(-5). Which is bigger: b or o?
b
Suppose -w = 3*c + 3459, c + 638 + 520 = -2*w. Which is greater: c or -3454/3?
-3454/3
Let t = -3/2866 + 154785/20062. Let z = -27 - -36. Which is smaller: t or z?
t
Let g(y) = -y**3 - 11*y**2 - 8*y - 2. Let w be g(-11). Suppose -4*t + 5*p = -w, 7 = -3*p + 1. Suppose -5*c - t = -54. Is 12 > c?
True
Let r be 11/(-55) + 235548/15 + -2. Let w = -10472569/667 + r. Which is bigger: 0 or w?
0
Let p be (11/(-33))/((-1)/(-9)). Let j be ((-3)/10)/((-8)/(-10)*p). Which is smaller: 2.4 or j?
j
Let g = -0.00943 - 9.99057. Which is greater: 0 or g?
0
Let w(z) = 7*z**2 - 3*z - 4. Let q be w(-2). Which is greater: q or 13?
q
Let l(h) = 37*h + 2148. Let f be l(-55). Is f < 1920/17?
False
Let a = 29/9 - 179/36. Let y = 43 - 46. Let x be (-7 + (-12)/y)*1. Which is smaller: a or x?
x
Let h(v) = v**2 + 16*v + 88. Suppose 20 = -3*i + 5*f, 108*i + 2*f - 27 = 113*i. Let n be h(i). Is 33 smaller than n?
False
Let a = 378 + -110. Let j = -265 + a. Is 14/5 less than j?
True
Let l = 6 - 4. Let x be (-48)/(-675) - 13/117. Which is greater: l or x?
l
Let i(f) = -28*f + 220. Let o be i(7). Which is smaller: o or 26?
o
Let y = 23428 - 23422. Which is smaller: y or 129/20?
y
Let p(d) be the third derivative of -10*d**2 - 1/24*d**4 + 0*d + 0 + 5/6*d**3. Let y be p(5). Which is smaller: y or 2/117?
y
Suppose -2*g + 3*g = 280. Suppose 4*u - g = -4*y, 493 - 151 = 5*y + u. Suppose 5*p + 244 = 3*m, 34*m - 5*p = 39*m - 300. Does m = y?
True
Suppose -3*u = -3*y + 3060, -y - 4*u = -284 - 746. Is 1023 < y?
False
Suppose 0 = 2*v + 5*k, 3*v + v = -4*k. Let s = -42 + 6. Is v > s?
True
Let i(o) be the second derivative of o**4/6 + 7*o**3/6 + 15*o**2/2 + 15*o. Let b be i(-5). Let q be b/(-6)*(-44)/(-10). Which is bigger: q or -1/2?
-1/2
Suppose 0 = h - 2*s - 12, 0 = -2*h - s + 3 - 4. Suppose 4*i = -o - 5 - 16, -10 = h*i. Let k be (2/(-2))/o*(8 - 8). Is -1 != k?
True
Let y = 328 - 323. Let i = -7/11 + 215/44. Are i and y non-equal?
True
Let v be (0 + -2)/(6/(-9)). Let s(d) = -3*d + 9. Let a be s(v). Let r = -2875/8 - -360. Is r bigger than a?
True
Let y(h) = h - 10. Suppose 0 = b + 2*g - 19, -4*b - 4 = -5*b + 3*g. Let s be y(b). Which is greater: s or 11/3?
11/3
Let m = 13.664 + 1.336. Is m smaller than -0.068?
False
Let u = 1 + -0.95. Let q = u - -0.07. Let n = 151 + -149. Is q less than or equal to n?
True
Suppose -64*i + 59*i = -2030. Let u be (-174)/i + 534/70. Which is greater: u or 8?
8
Let v = 0.09295 + -0.17095. Are v and 15 unequal?
True
Let s(a) = -2*a**2 - 15*a + 6. Let v = 179 + -187. Let k be s(v). Is k at least 1/3?
False
Suppose -3*o = -4*o + 2*c - 126, -116 = o - 4*c. Let s be 0 + 10/2 + o + -3. Which is smaller: -136 or s?
-136
Let i = -1989.068 - -0.168. Let w = 1889 + i. Let g = -96 - w. Is 0 at most g?
True
Suppose v - 20 = 6*v. Let h be (v/(-6))/(3 + 35/(-15)). Is -3/83 > h?
False
Let t = 28602.3 + -28412. Is t at least as big as 1?
True
Let l be 16/7 + 4/(-14) - -5. Suppose 5*b - r = l*b + 39, -33 = b + 5*r. Which is greater: -17 or b?
-17
Let b be (-1 - 15/9)*3. Let t = b + -1. Let z be 195/455 - ((-846)/(-21))/3. Is z greater than or equal to t?
False
Let x = -173.9 - -173.3. Is -2/247 equal to x?
False
Suppose 471 + 15 = -9*o. Let w be ((-81)/o)/(3/(-4))*-1. Which is bigger: w or 7?
7
Let x(n) = 492*n + 9173. Let z be x(-17). Which is smaller: z or 3?
3
Let w be 6240/(-15912) - (-1)/17. Which is smaller: 27 or w?
w
Let u be 4/30 + 16/(-120). Suppose -6*y + 25 - 193 = u. Let o be (-20 - -23) + y/5. Is o smaller than -2?
True
Let n(t) = -t**3 - 13*t**2 + 25. Let y be n(-9). Let f be (-8371)/(-14)*1/(-2). Let c = f - y. Which is bigger: 0 or c?
c
Let n(o) = 104*o - 191. Let k be n(2). Is 88/5 less than or equal to k?
False
Let t = 214 + -315. Let f be 1*(-11)/((-22)/(-204)). Is f at most t?
True
Suppose -3*x - 2*c - 19 = 0, -x = -3*x + 5*c. Let n be -19 - ((-12)/3 - -4). Let u = -25 - n. Is u equal to x?
False
Let m be (-9 + -5 - -19)*(-4)/(-70). Are m and 0.67 unequal?
True
Let d be (8/(-52))/((-18)/26). Let o = 16802/725 + -628/29. Let l = o + -352/225. Which is bigger: d or l?
d
Let j(h) = h + 21. Let p be j(0). Let w be p/21*(-52)/6. Which is smaller: -8 or w?
w
Let a = -611 - -306. Let r = a + 3357/11. Which is smaller: r or 65?
r
Suppose 3*s - 3*x = -8 - 37, 5*x + 42 = -4*s. Let h be (-2)/s + (-9056)/728. Is -2/9 at most as big as h?
False
Let u(m) = -3*m**3 - 16*m**2 - 20*m - 6. Let w be u(-8). Let d = w + -640. Which is smaller: 31 or d?
d
Let z = -1700 - -1700.4. Does 0.0045 = z?
False
Let f be (4 - 133/28)*-4. Suppose f*z - 1353 = -8*z. Is 123 equal to z?
True
Let n = 5314 - 4161. Is 1155 at least as big as n?
True
Suppose 3*n - 26 = -11. Suppose -9 = -2*y + n*y. Let a be (2*(-4 - (-4 - 2)))/((-8)/20). Is y > a?
True
Let n be (314 - -45)*(-50 - 7). Is n <= -20464?
False
Let h = -361143/20 - -18050. Is -7 at most as big as h?
False
Let l(c) be the third derivative of c**5/20 - 7*c**4/6 + 5*c**3/3 + 65*c**2. Let t be l(9). Let x = 19/1092 - -1/156. Which is greater: x or t?
t
Let f(d) = d**2 - 11*d + 4. Let v(g) = -3*g**2 - 7*g + 1. Let p be v(-3). Let y be f(p). Let i be ((-8)/y)/((-12)/28). Which is smaller: -6/7 or i?
-6/7
Let n = -24.22 - -0.22. Let o = 21.11 - -2.81. Let x = n + o. Is 1 at least x?
True
Suppose 7*d = 21 + 28. Let p be (-2)/d + (-4)/(-14). Which is smaller: 3/56 or p?
p
Let f = 4562 + -4181. Is 0.2 > f?
False
Let d(v) = 11*v + 136. Let c be d(-12). Suppose -5*t + c*g = 1760, 4*t + 1318 = -g - 90. Which is bigger: -353 or t?
t
Let h be (-9)/(-18) - (-15)/(-6). Let k be h*(-5 - (-39)/6) + 12. Is 7 less than or equal to k?
True
Let q be (-14)/(-4) + (-6)/12 + -2. Let z be (405/2*40/(-15))/(-4879). Let d = z + 2/287. Is q at least as big as d?
True
Suppose 6*u = 3*u, 2*n - u + 192 = 0. Let i be (2 + (-33)/18)*n/15. Which is smaller: -1 or i?
i
Let q be (1 - (12 + -1))*1. Let a = 282 - 279. Let d be (135/a)/(-9) + -5. Is q equal to d?
True
Let m be (3144/14)/(2 - 544/(-119)). Which is greater: 33 or m?
m
Let y = 504 - 842. Let j = 338.13 + y. Is j at most 3?
True
Let j(a) = -53*a + 502. Let k be j(7). Which is greater: 127 or k?
k
Let o(q) = 7*q**2 - 71*q + 10. Let v be o(8). Let t be (36/v)/(-3)*10/16. Let c be -1 - (-2 + 0 - -2). Is t smaller than c?
False
Let s = -1766 - -1766. Is 2/11917 > s?
True
Let c = -27148 - -27147. Which is smaller: c or -1/4607?
c
Let l = -374 - -370.87. Let k = l - -3.4. Let h = -10721/37548 + -1/5364. Is h at most k?
True
Suppose 2*m = -5*j + 18, -j + 11 = 