)/(-12) - ((-84)/18 + 4). Which is smaller: j or 385?
385
Let g = 759/4 - 190. Is 177 not equal to g?
True
Let m = 0.19 - -3.31. Let x = -3 + m. Let g be ((-2)/(-12))/(1/4). Is g greater than x?
True
Let u = -715 - -718. Is 2/33 > u?
False
Suppose 25*k - 18 = 7. Let i(y) = -y**3 + 3*y**2 + 1. Let h be i(3). Let j be (h - -1) + (-64)/31. Which is greater: j or k?
k
Suppose -v + 5*l - 104 = v, 5*v + 5*l + 190 = 0. Let k = 42 + v. Let x be -1 + 3/(39/11). Which is smaller: k or x?
x
Let w = 0 + -7. Let x(a) = -a**2 - 5*a. Let g be x(w). Let h be g/(-8) - (-1 + 3). Which is greater: h or 0.01?
0.01
Let a(b) = -19*b**2 + 11*b + 53. Let p be a(-5). Which is greater: p or -478?
p
Suppose x + 5 = 3*w + 5*x, -3*x = 3*w - 6. Let j be 2 - (w - (-2)/(-4)). Let z(c) = -c**3 - c + 2. Let o be z(0). Is j < o?
True
Let i(j) = j**2 - 6*j - 12. Let v be i(-2). Let q be 187/(-1071) + 0 + v/18. Let n be 2/(-2 + 0)*-1. Which is smaller: q or n?
q
Let n = -0.0678 - -0.0678. Do 0.136 and n have the same value?
False
Let l be (2 - 6/4)*1363/940. Is 0 bigger than l?
False
Let y(r) = -16*r - 24. Let u be y(-5). Is u != 56?
False
Let a be 0 + (-3381)/(-5) + 0. Let n = a - 674. Let z(w) = w**3 + 17*w**2 - 24*w - 107. Let c be z(-18). Which is smaller: n or c?
c
Suppose 0 = 16*i - 15*i - 5. Which is bigger: -6 or i?
i
Let m(l) = 2*l**2 + 13*l - 21. Let q be m(6). Let p be q/(-6) + (-3)/6. Is -23 < p?
True
Suppose -23*f = -4*f + 4541. Are -239 and f unequal?
False
Let h = -2299/5 - -460. Let y = 0 + -1. Let c = 1 + y. Do h and c have the same value?
False
Suppose -6*x + 9*x = -2*x. Suppose 10*c - 4*c - 198 = x. Are 34 and c equal?
False
Let b be -2 - -5 - (0 + 0). Let h(a) = 18 - 3 + 9*a - 3 + a**2. Let g be h(-8). Is g less than b?
False
Let c be ((-3520)/(-77))/(-8) + (-4)/14. Which is bigger: c or -2/7?
-2/7
Let v be -1 - (184/(-110) + 1). Let b = v + 8/11. Which is smaller: b or 0?
0
Let z be (-136)/22 + (-24)/(-132) - 35. Which is smaller: z or -1/5?
z
Suppose 3*l + 63 = -3*w + 2*w, -2*l = -4*w - 210. Is w < -59?
False
Let m be (-51311)/(-182) + 2/4. Let n = m - 284. Are n and -3 equal?
False
Let f(o) = 3*o**2 - 24*o + 22. Let d be f(7). Is -5/49 at least d?
False
Let o = 44 + -8. Suppose -2*u - 174 = -4*k, 0 = -4*k + 3*k + 2*u + o. Is 46 smaller than k?
False
Let m(g) = 4*g**3 + 2*g**2 - 2*g + 1. Let c be m(1). Suppose -5*p - c*v = 0, -p - v + 15 = -5*v. Suppose -p*i - 2 = -z - 5, 2*z + 1 = i. Is 0 greater than z?
False
Suppose 0 = 2*b - 5*o + 185, -1 + 7 = 2*o. Let h be b/(-3 + 112/36). Let y be 2/15 + 147/h. Which is smaller: -1 or y?
-1
Suppose -5*w - 30 = -5*d, -3*w - d = -8*w - 14. Let o = -516/7 - -73. Is w at most o?
True
Let m be 0*-2*(-1)/2. Let k be 1 - ((-3)/(-4))/(9/38). Let z = 47/30 + k. Are z and m unequal?
True
Let m be 15/(-10)*(-4)/(-6). Let g be 28512/4064 + 1*-7. Which is smaller: g or m?
m
Let z(q) = -q**3 + 18*q**2 - 18*q - 19. Let x be z(15). Which is greater: x or 385?
x
Let p be 20/132 - (-2)/11. Let g = -5.92 + 6. Let o = 3.08 - g. Is o greater than or equal to p?
True
Let k = 292.6 - 292. Is 0 equal to k?
False
Let g = -169 + 170. Which is smaller: -55 or g?
-55
Let l = 41/4 + -10. Let p = -575 + 563. Which is smaller: l or p?
p
Suppose 716 = 4*o + 4*r - 180, -3*o + 666 = -3*r. Do o and 225 have the same value?
False
Suppose 5*g + 106 = -3*y, -3*y + 2*y + 3*g = 12. Let d be y + -1 - 57/(-19). Let w = 25 + d. Is w greater than or equal to 4/11?
False
Suppose 0 = 2*n - 4*k - 8, n + 4*k = -0*k + 4. Suppose -4*y + n*c + c = 0, 3*y = 4*c. Which is smaller: y or -9/8?
-9/8
Let g = 50 - 48. Is g < -0.64?
False
Let b(p) = -27*p**3 - p**2 + p. Let f be b(1). Suppose 0 = 5*g + 5, 2 = i + 5*g + 9. Let h be f/9 + (-6)/i. Which is smaller: h or -2/9?
-2/9
Suppose -4*s - 129 = -i, -4*s = 2*i + 3*i - 669. Is 131 not equal to i?
True
Let n be 11/858*4/7. Which is greater: n or 1?
1
Suppose 0 = 39*w - 33*w - 2*n - 3778, -4*w - 5*n = -2544. Which is smaller: 630 or w?
630
Suppose -179 = 9*u - 17. Let o = 19 + u. Which is smaller: o or -3/11?
-3/11
Let v be (-23344)/3206 + 7 + 4/14. Which is bigger: 0 or v?
v
Let j = 708.71 - 704. Let k = -0.49 + 0.2. Let r = j - k. Is r greater than 1?
True
Suppose 8*a - 5 = -21. Let n be a*(-1 + -1) - 38. Which is bigger: -35 or n?
n
Let l = -1333 + 1333. Which is smaller: l or 33/49?
l
Let x be (0 + 5)*(-2)/(-514). Let z = 4047/3341 + x. Is z greater than 2?
False
Suppose 212 = 4*x + 336. Which is smaller: -32 or x?
-32
Suppose 88*h = 94*h - 900. Is 150 <= h?
True
Suppose 4 = 3*d - d. Let n be d/6 - (7 - 3). Is n bigger than 0?
False
Let z = 29 - -13. Suppose -r - z = 6*r. Let j be 4/(-10) - (-28)/(-5). Is j at most as big as r?
True
Let j be (16/(-38))/(-4)*(-13 - -4). Suppose 2*g - 1 = -5. Are g and j equal?
False
Suppose 4*w = 5*p + 292, 5*w + 3*p - 52 = 276. Let q be w/(-3) - 36/27. Is -24 less than q?
False
Let r be -2*((-24)/64)/(2/24). Suppose -16 = -q - 4*a - 2, 0 = -3*a - r. Are 26 and q equal?
True
Suppose -4*s + 13 - 5 = 0. Let l = -7 - s. Let p be (4/(-10))/(6/l). Which is smaller: p or -1/2?
-1/2
Let k(m) = -8*m**2 + 3. Let p be k(-2). Is -35 less than or equal to p?
True
Let d be (-3 - -3) + -5 + 1. Let y be ((-3352)/836 - d)/(-1). Which is smaller: y or -1?
-1
Let j(o) = 5*o**2 + 2*o - 1. Let m be j(1). Let y(b) = 9*b + 21 + 19 - 58 + 25. Let v be y(0). Do v and m have different values?
True
Let z(g) be the first derivative of g**2/2 + 3*g - 27. Let n be z(-2). Which is bigger: -2/21 or n?
n
Let y(p) = 4*p - 6. Let k(l) = -l**2 + 14*l - 16. Let g be 8/12*78/4. Let j be k(g). Let v be y(j). Is -18 smaller than v?
False
Suppose 51 = -116*n + 113*n. Do -107/6 and n have different values?
True
Let g = 3.1 - 2.93. Let l = g - 0.13. Let d = -1.96 - l. Which is smaller: d or 0?
d
Let q = 14 - 11. Suppose -2*a = -4*b + 8, 0 = -4*b + 2*b + 2*a + 4. Is q equal to b?
False
Suppose 1213 - 1213 = 4*c. Let s be (9/6)/((-66)/8). Which is greater: c or s?
c
Suppose 16*c - 28*c = -12. Which is bigger: c or -37?
c
Suppose 10*x - 97 = -107. Which is smaller: x or 9/176?
x
Let a be 3/(-1)*(-1 + -14). Let x = -13 - -19. Let n be 2/(5/(a/x)). Are 3 and n unequal?
False
Let w(z) be the third derivative of -17*z**6/120 - z**3/6 + 3*z**2. Let o be w(-1). Suppose -3*l + 4 = -5*j, -2*j - o = -6*j. Which is smaller: 7 or l?
7
Let b = -4 - -4. Let o = -418/7 - -6914/105. Let m = o - 34/5. Are b and m equal?
False
Suppose 4*n = 3*n + 7. Let f = n - 9. Which is bigger: f or -3/4?
-3/4
Let u = -1044/11 - -5858/55. Let c = -85 - -73. Let o = u + c. Are -2 and o unequal?
True
Let h(n) = -n**2 + 23*n + 122. Let g be h(-7). Which is smaller: -86 or g?
g
Let i be (-5)/(20/16) + 1. Let o be (-1 - -2) + 570 + i. Let k be (-64)/o*(-1)/4. Does -1 = k?
False
Suppose -107 = 3*l + 25. Let i be 6183/(-135) + (-8)/(-10). Is i <= l?
True
Suppose -5*f - 18 = -l, -3*l + 5*f + 3 + 1 = 0. Let a be ((-48)/192 - (-9)/4) + 27/(-3). Is a greater than or equal to l?
True
Let h = 43 + -46. Let k be (-2)/(h/3)*(-3)/6. Which is greater: k or -2/15?
-2/15
Let j = -6 - -12. Let p be (-26)/(-39) + 2/j. Do p and 15/8 have the same value?
False
Let k(c) = c - 16. Let p be k(7). Let u = -5 - p. Which is bigger: u or -3?
u
Suppose 8*d = -15*d. Let n be (-2)/1 - d - (15 + -153). Are n and 136 equal?
True
Let h = 0.121 + 0.039. Let b = 11.26 - 11. Let t = h - b. Do -3/4 and t have the same value?
False
Let z = 499 + -500. Which is smaller: z or 2/39?
z
Suppose 2*o + 1 = -m - 4, 3*m + 11 = -5*o. Suppose -3*y + 9*y = -36. Is o at most as big as y?
False
Let a be -1*((-1570)/(-1565) - (5 + -4)). Do a and 0 have the same value?
False
Suppose -516*t = -520*t. Is t at least as big as 10/103?
False
Let v(b) = 27*b - 488. Let o be v(21). Let d(p) = -79*p**3 - p**2 + p + 1. Let k be d(-1). Which is smaller: o or k?
k
Suppose -3*l = r - 5*r + 11, -2*r + 18 = -4*l. Let b(t) = -4*t - 3. Let a be b(r). Let y = 381/610 + -3/122. Which is bigger: a or y?
a
Let u = 10.8 - 10.94. Let c be (-12)/(-16)*(-32)/60. Which is bigger: u or c?
u
Let w = -15 + 15. Suppose -l + 8 + 1 = w. Let m be ((-8)/28)/(l/(-7)). Do -0.1 and m have the same value?
False
Suppose -4*o - 3*h + 238 = 0, -5*o - 7*h + 294 = -5*h. Which is bigger: -2/3 or o?
o
Let z(n) = -n**3 + 9*n**2 + n - 13. Let w be z(9). Let c 