gger: -3 or g?
-3
Let d(x) = x**3 + 7*x**2 - 22*x - 85. Let r be d(-8). Let t(s) = -s + 17. Let v be t(11). Suppose -3*j = -v*j + 78. Which is smaller: j or r?
j
Let s be (-8)/(-6)*3/2*120/(-240). Do s and 8/25 have different values?
True
Let d = -262/345 - 66/115. Which is smaller: d or 167?
d
Suppose -3*s - 34 = -34. Let l(c) = -c**3 - c**2 - 3*c + 6. Let d be l(s). Are -3 and d non-equal?
True
Let s = -13927 + 13788. Let a be 140/(-2)*(1 + 1). Is s >= a?
True
Let j = 1 - 2. Let q = 24587/3867 - 32/1289. Which is smaller: q or j?
j
Let t(r) = -21*r**2 - 668*r + 124. Let k be t(-32). Suppose 4*q - 8 = -v, -5*v - 27 = 3*q + 18. Which is greater: v or k?
k
Let u be 4818658/84 - (-7 + 11). Let h = 57365 - u. Let z = h - 25/21. Is 2 > z?
False
Let m(n) = -4 + 3 - 3*n**2 + 0 - 4 - n. Let y be m(-3). Suppose -100 = 5*w + 125 - 70. Which is bigger: w or y?
y
Let x = -343 + 656. Let u = 312.9 - x. Which is smaller: -0.2 or u?
-0.2
Let o be 3 + 1505/(-63) + (-6)/(-2). Let q = 18 + o. Which is smaller: 1 or q?
q
Let b = -335492416/33 - -10168065. Let p = b + -1628. Is p > 0?
True
Let z(b) = -2*b**3 + 16*b**2 + 17*b + 15. Let x be z(9). Which is smaller: x or 32/7?
32/7
Let k be (177/(-15))/(-7 + 156/(-65)). Which is smaller: 1 or k?
1
Let k = -4 - -31. Suppose -k = -2*a - 7. Let u = 11 - a. Is -4/19 > u?
False
Let p(x) = -10*x + 52. Let v be p(5). Suppose -4*q + 2*q = -s + 14, -q = v*s - 13. Which is smaller: 46/5 or s?
s
Let c = -10287/188 - -22/47. Suppose -3*j + 206 = 47. Let n = j + c. Which is smaller: 0 or n?
n
Let w = -1753/1477 + -837617/394359. Let f be (8/890)/(2/5). Let m = f - w. Is 3 not equal to m?
True
Let h be (-258)/43 + 184/(-6). Which is bigger: -1/5 or h?
-1/5
Let j be (-2 - -10) + -3*4/4. Let p be 9 - j*(0 + 1). Which is smaller: 23/8 or p?
23/8
Let p(b) = b**3 + 11*b**2 - b - 17. Let j be p(-11). Let s be j/(-36) - 197/(-6). Let l(c) = -c**3 + 6*c**2 + 3*c - 2. Let o be l(3). Is o != s?
True
Suppose -561*m - 109*m + 120*m = 145*m. Suppose -26 = -4*n - 2. Let b be (4/102)/(2/n). Which is greater: m or b?
b
Let o be 2/(-11) - 72/(-154). Let w(t) = 6*t**3 - t**2 - 2*t + 1. Let x be w(1). Let z(y) = y**3 - 4*y**2 + y - 4. Let j be z(x). Is j < o?
True
Let c = 56 - 40. Let y(h) = -h + 16. Let z be y(c). Let u be 3*(-4)/1488*-4. Which is bigger: z or u?
u
Let h = 250768/10179 + -320/13. Which is bigger: h or -1?
h
Let k be ((-341)/(-55) + -8)*47804/(-57). Which is greater: 1511 or k?
1511
Let t(q) = -83*q + 211. Let d(n) = 29*n - 70. Let k(s) = -17*d(s) - 6*t(s). Let l be k(3). Which is smaller: -64 or l?
-64
Suppose 3*w + 10599 + 1594 = s, -2*s = -2*w - 24370. Which is bigger: 12180 or s?
s
Suppose 9*z = 8*z - 3*o - 1653, -4*z - 6644 = 4*o. Is z smaller than -1665?
False
Let n = -7.28 + -0.72. Let r = n - 23. Let h = -53 - r. Which is greater: -0.2 or h?
-0.2
Let d be ((16527/(-9))/7)/((-16)/(-48)). Which is bigger: d or -788?
d
Let a be (16 + (-1067)/220)/((-2)/8). Suppose 360 = 98*b - 106*b. Which is smaller: a or b?
b
Let h be (238/(-56) + -13 - -16)/((-543)/4). Which is greater: h or 1?
1
Let r = -0.2145 - 0.1948. Which is greater: r or -1?
r
Suppose 237*s - 32*s = -2870. Is s <= -250/3?
False
Suppose k + 24 = -0*k + 3*w, -3*k = -4*w + 72. Let h be k/351 + 8/36. Suppose -9*a = -18*a - 9. Is a at least as big as h?
False
Let d = 2986.1 - -60.9. Which is smaller: d or -0.1?
-0.1
Let m = 17615 - 17616. Let h be -1 + 1*(-13)/28. Let p = 1789/1260 + h. Is p at most as big as m?
False
Let p = -437680/7 - -62636. Let l = p + -110. Let v = 5 - -7. Is l greater than or equal to v?
False
Let c = 2006/67 + -228517/335. Which is greater: c or -652?
-652
Suppose -237*t = -236*t - 5*y + 159, 0 = 3*t - y + 505. Which is bigger: t or -178?
t
Let v = -42527 - -42542. Let o(g) = -g**3 - 6*g**2 - 2*g - 2. Let l be o(-3). Let u = -6 - l. Which is bigger: u or v?
u
Suppose -15383 = -10*c - 15323. Let j be (-39)/(-4) - (-9)/(-12). Is c greater than j?
False
Let s = 474.8334 - 0.0334. Let r = -474 + s. Which is greater: r or 14?
14
Let y(c) = 116*c. Let v be y(-2). Let b = -26706 - -26475. Which is greater: v or b?
b
Let p = -3.5 + 5.8. Let f = 0.006 - -0.094. Let a = 0.9 + f. Is a at least as big as p?
False
Let q(m) = 7*m**2 + 523*m + 366. Let c be q(-74). Which is smaller: c or -14?
-14
Let s = 47 + -215. Suppose -10*d - 569 = 632 + 469. Do s and d have the same value?
False
Let g = -290994 - -1163811/4. Suppose 14 = -x - 27. Is x > g?
True
Let f = 1748/1905 + 2/127. Let r(y) = 15*y + 4*y**3 - 12*y**2 - 229 - 3*y**3 + 187. Let x be r(11). Which is bigger: x or f?
x
Let x be (2016/(-35))/(-9) + 4/(-10). Suppose 4*k - 6 - x = -2*y, 4*k + 36 = 2*y. Let w = 11 - y. Which is smaller: -4/25 or w?
w
Suppose -x + 55*h - 52*h + 6 = 0, 5 = -5*h. Let n be 0 + 4 - ((-6609)/(-550))/x. Is n not equal to 0?
True
Let u be (8/20)/(8/(-10)). Let t = -20.26235 - -0.32935. Let l = t + -0.067. Is u at least as big as l?
True
Let n(c) = 6*c**2 + 18*c + 180. Let t be n(-7). Let u be ((-2)/((-12)/10))/((-22)/t). Which is smaller: -26 or u?
u
Let t = 13/3 - 5. Suppose 6*m + 4 = 28. Suppose 0 = -5*f + 4*h + 28 - 2, -m*f - h + 4 = 0. Which is bigger: f or t?
f
Let c = -457 + 470.04. Let m = c - -3.66. Is m at most as big as 2?
False
Let t(n) = 2*n + 24. Let k be t(-11). Let l = 32 + -15. Let o = l + -15. Is k less than o?
False
Let k = -3998 + 285. Which is smaller: k or -3714?
-3714
Let t be (0 - 1)*0 - 629. Let h = 1687998 + -1688626. Are t and h equal?
False
Let q = 7627.7596 + -7630. Let n = q + -0.0596. Is 2 > n?
True
Let c = 82 - 81. Let t be -10 - -7 - (-1 - (-495)/(-249)). Is c >= t?
True
Let l(y) = -2*y + 10. Let b be (-8)/(-28) - 46/14. Let c be 2/(-6) - 25/b. Let v be l(c). Is 3 >= v?
True
Let r = 978 - 948.6. Let v = r + -26.4. Which is smaller: -24/7 or v?
-24/7
Suppose c + 4 = -2*j + 28, -3*c + 84 = 2*j. Let z be ((144/15)/(-4))/((-9)/c). Is z less than 49/6?
True
Let j be 976/28 - (-1)/7. Let x(h) = 21*h**2 + 3*h + 27. Let n be x(-5). Let f = n - 501. Is f less than or equal to j?
False
Let c = -12312 - -11505. Is c less than -806?
True
Let g = 1/512 - 297/20992. Suppose 0 = b - 5*b - 392. Let i be 7/b - 12/(-21). Is g bigger than i?
False
Let t = -11 - 32. Let v be 387/6*(-4)/6. Let i = t - v. Which is smaller: i or 2/43?
i
Let t be (-24)/(-20)*5/2. Suppose 4*i - 5*i = -t*q + 6, -38 = 3*i - 5*q. Is i equal to -41/2?
False
Let q(l) = 3*l**3 + 2*l**2 - 28*l + 30. Let n be q(6). Which is smaller: -3 or n?
-3
Let w be (16/6 - 0)*39/(-26). Let p be ((-6)/w)/(21/2408). Which is bigger: p or 173?
173
Suppose -3*i + 5*m = 18, 2*i + 12 = 32*m - 30*m. Which is smaller: 280 or i?
i
Let b = -1834 - -1831.1. Let a = 18.4 + -15. Let h = a + b. Is -1 less than or equal to h?
True
Suppose -9*p - p - 560 = 0. Let i be (2/7 + (-40)/p)*-2. Are -4.9 and i nonequal?
True
Suppose -15*r = -3*k - 13*r - 14848, -12*r - 9952 = 2*k. Are k and -4952 equal?
True
Suppose 4*z = 4, -39 = -7*o + 3*o - 3*z. Let a be 44 + ((-5)/(-3) - 16/24). Let x be ((-2)/5 + 8/a)*-6. Which is bigger: x or o?
o
Let j(p) = 228*p + 1367. Let b be j(-6). Are b and 1/5921 equal?
False
Let l = 2997 + -3008. Do -4 and l have different values?
True
Let w be (4 + 21/(-6))*0. Suppose 2330 = -w*b + 10*b. Suppose -7*r - k = -3*r - 411, 0 = -2*r + 5*k + b. Is r > 103?
True
Suppose 20*q - 90 - 107 = -177. Is q < 0.01794?
False
Suppose 7*f = 11*f + 1148. Let r be ((-384)/(-30))/((-12)/270). Do f and r have the same value?
False
Let m = -7984 + 13127. Which is smaller: -1/2 or m?
-1/2
Let r = -5/1888 + -82787/107616. Which is greater: r or -2?
r
Suppose 4*b + 9*b - 13 = 0. Let s be 2 - b - 1 - (-75)/25. Which is greater: 62/15 or s?
62/15
Suppose u = 5*r + 20, 60 = 7*u - 2*u - 5*r. Let n be -3 + 3555/(-50) - (-1)/u. Is n greater than or equal to -76?
True
Let d = -109 + 112. Suppose 0 = -5*o - x + 80, -2*o - 3*x + x + 32 = 0. Suppose 3*y = r + 5*y + o, y = -2*r - 17. Which is smaller: d or r?
r
Suppose 51*z = 24 - 24. Which is greater: z or -28/83?
z
Suppose 0 = -b + 4*j - 1018, 0 = 4*b - j + 2294 + 1733. Do -1007 and b have different values?
True
Let o be (4 - (-65)/(-39))/(18/(-7533)). Is -977 != o?
True
Let c be 2/((-16)/(-56)) + (-2 - 6). Let o = -4 + 4. Suppose 3*r + 9 - 3 = o. Which is bigger: c or r?
c
Let k be -2