- w*u = 168. Suppose 3*b + 3*g + 65 = 11, g - 57 = 4*b. Which is smaller: u or b?
b
Let l be 19 + ((-28)/6 - -4)*6. Suppose -96 = -l*p + 69. Suppose 0 = -5*i + p*i - 36. Which is bigger: 0 or i?
i
Let d be 699 + (-1 - -1 - 5). Let o = d - 2807/4. Is o at most as big as -8?
False
Let a be -1*(11 + -1 + -10). Is a at least -4/7889?
True
Suppose -5*a = c - 2274, -3*a - 2*c = -985 - 378. Suppose 4*g = 3*z + 250, -5*z + g = 2*g + a. Which is smaller: -89 or z?
z
Suppose 14*t - 9*t - 100 = 0. Let l be 29 + 1 - t/5. Which is smaller: 27 or l?
l
Let r = -68 + 81. Suppose -421 = r*v + 268. Which is greater: -58 or v?
v
Let y = -35 + 88. Let x = 2233/2 + -1117. Is y at least as big as x?
True
Let b be (-252)/5 + (-2)/(-5). Let r be (8/(-54))/(b/(-15)). Let c = -43726 - -43725. Are r and c nonequal?
True
Suppose 0 = 4*n + 2*u + 2, 15 = 52*n - 46*n - 3*u. Which is smaller: -399 or n?
-399
Let a be ((-1926)/220)/((-14)/(-25110939)). Let z = a - -15702437. Let t = z + 264/5. Is t != 0?
True
Suppose -15*r + 18*r - 2*z - 2434 = 0, 4*r = 3*z + 3247. Let k = r + -1188. Which is smaller: -379 or k?
k
Let r(b) = -14*b - 22. Let n be r(-2). Let v be 4/n + 16352/96. Is v >= 173?
False
Let j = -55.848 - 0.152. Let l = 56 + j. Let g = -2.08 + -0.02. Is g at least l?
False
Let g = 53.8 + -54.3. Let d = -299/3 - -2095/21. Is g >= d?
False
Let z be 35 - (0 - 0)/(-17 + -5 + 26). Which is bigger: 1028/29 or z?
1028/29
Let m = 220 + -15. Let o = m - 211. Are o and -38/7 nonequal?
True
Let i(z) = 2*z - 31. Let b be 2/7 + 190/70 - -4. Let r be i(b). Do r and -1 have the same value?
False
Let b(z) = -2*z**2 - 39*z - 206. Let u be b(-7). Are u and 151 unequal?
True
Let n = 793.9 - 794. Is -29770 at least as big as n?
False
Let u = -333 - -583. Let z = u + -357. Which is smaller: z or -108?
-108
Suppose -8*g - 11*g = -14*g - 10. Which is greater: 267 or g?
267
Let v be (-8)/132*(305/(-10) + 2). Which is bigger: v or 2?
2
Let o(q) = q**3 - 29*q**2 + 2*q - 4. Let c be o(31). Which is smaller: c or 1979?
1979
Let l = -10.4 - 7.1. Let f be (-68)/(-56) + (-2 - 3/(-6)). Is l at most f?
True
Suppose 44*f = -2*b + 40*f + 22, -b + 4*f - 1 = 0. Are b and -563 nonequal?
True
Let l = 30054.1 - 30054. Which is smaller: 1/14057 or l?
1/14057
Let s be 28/(-12)*(-6)/(-116). Let p = -289/232 - s. Let x = 16 + -15.8. Which is bigger: p or x?
x
Suppose 0 = -3*m - 2066 + 2042. Suppose -4*o - 22 = 5*u + 13, 3*u = 5*o - 58. Which is greater: m or u?
m
Let z be 7218/(-4446) - 16/(-52). Is z at most 0?
True
Let y = -4.674 + -0.026. Let b = -3003 - -3004. Which is bigger: y or b?
b
Let w = 26898 + -26898. Let g = 478 + -758. Is g at least w?
False
Suppose t + 4*v = -241, -2*v - 1034 = 2*t + 2*t. Which is smaller: t or -257?
t
Let g = 15/416 + -5335/90272. Which is greater: g or -1?
g
Suppose 32*u = 35 + 285. Let z be 9 - u - (-260)/(-8). Is z < -2/5?
True
Let i = -12 + 25. Let p = -14 + i. Let u be (-3)/(-2) - (95/(-10) - -8). Which is bigger: p or u?
u
Suppose s + w - 3 = 0, -5*w + 8 + 7 = 3*s. Suppose 4*u + 3*d = -2, 4*d + s = 5*u + 18. Is u > -4?
True
Let u(w) = -5*w**3 + 1. Let b be -5*(-3 + 2)*11/55. Let s be u(b). Which is smaller: -1 or s?
s
Let h be 4/(-26) + 1411991/(-3913). Are h and -365 equal?
False
Let w = -19303/4 - -4825. Which is smaller: 116 or w?
w
Let w = 41 - 39. Suppose -2*s + 25 = -5*n, 0 = -4*n - w*s - s - 20. Let z be 312/40 - 1/n. Does -0.2 = z?
False
Let b = 25 - 43. Let w = 312 + -327. Which is greater: w or b?
w
Let k = 225 - 229. Let x be (-3)/(-1) - (-46)/56*k. Which is bigger: x or 9.1?
9.1
Suppose 3*v + c - 1813 - 2858 = 0, v = -4*c + 1579. Is v at most 1550?
False
Let r be (-2)/5 - 3/5. Let k be r/(-2) + (-33)/(-2). Let p(v) = -1740*v + 288856. Let o be p(166). Is k != o?
True
Let t be 20 + 7813 + 5 + 1*-4. Which is bigger: t or 0?
t
Let v = -693/37 - -5850/259. Is -30/11 greater than or equal to v?
False
Suppose l + 3 = -0. Let w be (-1218)/208 - (l + 0). Let u = 42/13 + w. Which is greater: 0.1 or u?
u
Suppose -14*f - 3084 = -24980. Let l be 4/(-6) + f/3795. Is -1 > l?
False
Suppose -237 + 1931 = -22*z - 66. Which is greater: -1700/21 or z?
z
Let s = 41 + -41. Suppose s = 9*h - 32 - 148. Suppose 3*f - h = 13*f. Is f at least -10/11?
False
Suppose -4*b + 124 = -5*h, 4*b - 92 = 4*h + 36. Suppose b = -2*t - t. Let f be (13 - -2*1)/(18/t). Is f at least -12?
True
Let g = -195251/9 - -21737. Which is smaller: g or 41?
41
Suppose -6*u = -5*u - 1. Let j = -89 + 81. Let i be -8 + (-1915)/(-120) + j. Is u <= i?
False
Let y(q) = -24*q**2 + 76*q + 2. Let a(d) = 11*d**2 - 37*d - 1. Let s(p) = -9*a(p) - 4*y(p). Let u be s(10). Which is greater: 1 or u?
1
Suppose -20 = -15*z + 11*z. Suppose 9 = 3*k - 3*c - 6, -z*k + 35 = 5*c. Is k equal to 1/19?
False
Suppose -l - 10 = -14. Suppose 3*p = m + 2*p - 2, -4*p = l. Which is smaller: m or 7/26?
7/26
Let v(h) = 8*h**2 - 21*h + 10. Let q(n) = 2*n**3 - 11*n**2 - 6*n + 4. Let o be q(6). Let c be v(o). Let z be ((-4)/c)/(20/(-3) - -5). Is -1 smaller than z?
True
Let a(h) = -99*h - 4060. Let p be a(-41). Which is smaller: p or 20/227?
p
Let r(a) = 2*a**2 - 31*a - 489. Let p be r(-11). Is 90 equal to p?
False
Suppose 0 = 11*p - 2281 + 422. Let n = p + -170. Let v = -2/13 - 53/78. Are n and v equal?
False
Suppose -7*c + 12*c = 4*p + 34, 2*p - 8 = 0. Let u be 4/c + (-7884)/60. Is -132 less than u?
True
Let s = -2407 + 2406.91. Is 44/27 bigger than s?
True
Suppose -c - 44 - 19 = 0. Let u be (-14)/c - (-2 + (-25)/9). Let a be u*1/4*-4. Is a less than 0?
True
Let r(z) = -z**2 + 4*z + 612. Let j be r(-37). Which is smaller: j or -9?
j
Let n be (-1 - 38/12) + 0. Let x(h) = -643*h + 8354. Let g be x(13). Is n less than g?
False
Let b(q) = 2*q**2 - 4*q - 2. Let v(l) = 5*l**2 - 12*l - 5. Let j(i) = 11*b(i) - 4*v(i). Let m be j(-5). Suppose 364 - 1372 = -36*f. Is m <= f?
True
Let p be 3/(-4)*192/(-108) + -1. Let r = 38571/7 + -5527. Which is smaller: p or r?
r
Let w(g) = g**2 + 6*g - 22. Let j be w(-8). Let a be 3 - (1 + 27) - j. Suppose -81 + 5 = 4*d. Are a and d non-equal?
False
Let g = 115 - 114.9. Suppose -3*s = -196 + 106. Which is bigger: s or g?
s
Let a(x) = 2*x**2 - 132*x + 442. Let b be a(62). Which is smaller: -215/4 or b?
b
Let s(u) = 2*u**3 + 473*u + 39*u**2 - 468*u - 49 - u**3 + 0*u**3. Let g be s(-39). Is g <= -245?
False
Let j(g) be the third derivative of 0*g + 2/3*g**3 + 0 - 14*g**2 - 1/60*g**5 + 1/12*g**4. Let s be j(4). Is -3 greater than s?
True
Suppose -4*h + 11 = 2*w - 9, 0 = -4*w + 3*h + 40. Suppose 0 = 3*u - w*u. Which is bigger: u or 4/13?
4/13
Suppose 9*s - 14*s + 1140 = 0. Let i = -377 - -605. Is i less than s?
False
Let v be (-211181)/424 - (-2)/16. Let f = v - -498. Which is greater: f or -1?
f
Let t = 65.065 - 0.065. Let s = t + -65.75. Let g = s - -0.65. Which is greater: g or -2?
g
Let d = -21952.2 - -21952. Which is bigger: d or 0.00208?
0.00208
Let w = 194340089/312 + -622884. Let v = -7/8 + w. Do v and -1 have different values?
True
Let s = -14819 - -14972. Let f be 3*((-149)/(-3) + 2). Is s at most as big as f?
True
Suppose 116 - 17 = -3*o. Let v(w) = w + 12. Let g be v(6). Let c = -52 + g. Which is smaller: o or c?
c
Suppose 16*v - 19*v + f + 16 = 0, -5*v = -2*f - 28. Do v and -9 have the same value?
False
Let a(g) = 565*g + 778. Let d be a(1). Are 1347 and d nonequal?
True
Let v(g) = -5*g**3 - 2*g**2 - 2*g + 1. Let h be v(-2). Let r(n) = -n**3 - n**2 + 2*n + 37. Let c be r(0). Is h > c?
False
Let z be (-3 - 1)/(792/(-32164)). Let h = -162 + z. Is 1/5 less than h?
True
Let x = -9298 - -8656. Is x bigger than -641?
False
Let m(t) = 91*t - 2887. Let l be m(38). Which is greater: l or 557?
l
Let w = 17508 + -16954. Is w < 3/14?
False
Suppose -50*d + 49*d = 4*l - 112, -2*l - 3*d = -46. Let v(y) be the first derivative of 2*y**2 + 4*y - 3. Let p be v(6). Is l < p?
False
Let k(m) = 263*m - 13098. Let d be k(51). Is 3163/10 less than d?
False
Let b = 580598 - 21235371852/36575. Is 0 >= b?
True
Let g = 44 + -106. Let v be 12 + -18 - (-40)/7. Is v at least g?
True
Suppose 0*f - 4*f + 3*o - 8769 = 0, 4*f + 8754 = -2*o. Is -2189 less than or equal to f?
False
Let w = -541 + 289. Let s = -253 - w. Which is bigger: s or -19/7?
s
Suppose -2*h = -10*h - 8. Let n be h*2457/(-492) - 5. Is 0 less than or equal to n?
False
Let h be 