 - j. Suppose -q + 20 = -5*q - 4*v, 5*q + 1 = 3*v. Which is smaller: h or q?
q
Let w = -89 + -14. Let g = w - -104. Which is smaller: g or -3?
-3
Let m(i) = 15*i**2 + 5*i - 10. Let o be m(6). Let d be o/318 + ((-15)/(-9))/(-5). Let v = d - 5/53. Which is smaller: -1 or v?
-1
Let q = 12526 - 12526.2. Which is bigger: q or 84/17?
84/17
Let l = -127 - -129. Suppose -48 = -l*f - 50. Let r be f/7 - 2/(-14). Is -1/67 < r?
True
Let u(v) = 2*v**2 + 162*v + 35. Let z be u(0). Are 34 and z equal?
False
Let l be 1790/(-5475) + (92/(-20) - (-1 + -4)). Are l and 0 equal?
False
Suppose 2*y - 2*p = 14, 28 = 5*y + 236*p - 234*p. Are y and 235/39 equal?
False
Let z(k) = k**3 + 6*k**2 + k + 6. Let s be z(-6). Let c be 3/((-684)/165) - 44/(-176). Which is smaller: c or s?
c
Let h be (-40556)/6 + -4 + (-96)/(-18). Which is greater: -6760 or h?
h
Let q = -6 - -5.9. Let l = -1487 + 1425.9. Let c = l - -64. Is c at least q?
True
Let w = -4055.9 - -4084.9. Suppose 0 = 4*p - 17 + 57. Is w at most as big as p?
False
Let a = -55 + 39. Let l be 6/(a/168*(-9)/(-6)). Which is smaller: -41 or l?
l
Let b be (-348)/173 + 2 - 0. Let s = 1085 + -1070. Suppose -2*k - s = -3*l - 4, -5*k = 4*l + 16. Is l smaller than b?
False
Let d = 2 - 1. Let q be (-95)/(-1330)*3360/216. Which is greater: q or d?
q
Suppose 3*d - 4*k = d - 48, 37 = -3*d - k. Let g be 4 + -1 - (-1130)/d. Let q = -78 - g. Which is smaller: q or 6?
q
Let k = 420 - 669. Let n = k + 60. Is n at most -190?
False
Suppose -y - 49 = -4*c + 89, y - 32 = -c. Suppose 2*h - x - c = -2*x, h - 35 = -5*x. Let t(u) = u**2 - 4*u - 5. Let n be t(7). Is n > h?
True
Let k = -129 - -131. Let f be 0/(3 + -2 + k). Which is smaller: 4/31 or f?
f
Let i(d) = d**3 - 11*d**2 + 15*d - 5. Let c = 669 - 663. Let h be i(c). Is -94 bigger than h?
True
Suppose 0 = -3*d + 5*c - 8 + 1, -5*d + 7 = c. Let x be ((-1)/(-1*d))/(207/(-2277)). Is -192/17 != x?
True
Suppose -852 = -2*k + 2056. Suppose 0 = -3*n + k - 1031. Are n and 140 unequal?
True
Let l = 477733/19 - 25145. Do l and -1 have the same value?
False
Suppose 2*d - 3107 = f, -5*f + 1976 = -3*d + 17462. Which is greater: f or -2/9?
-2/9
Suppose 31*y + 15*y = 17*y - 9019. Which is greater: -621/2 or y?
-621/2
Let l(o) = 2*o**3 - 5*o**2 + 4*o. Suppose 5*p - 4*u = 19, 3*p = -4*u + u + 6. Suppose p*z = 5*z - 4. Let s be l(z). Which is bigger: s or 14/3?
14/3
Let b = -165492 + 219276888/1325. Which is greater: 1 or b?
1
Let l be -5 + 132/(-170) + 12/20. Which is greater: l or 25?
25
Let q be (-4*(-154)/504)/((-57)/72 - -1). Which is bigger: -1/3 or q?
q
Let p(w) = 26*w. Let t be p(-1). Let j(f) = f**2 - 30*f + 77. Let u be 2/5 - 17/(510/(-768)). Let c be j(u). Which is bigger: c or t?
t
Let w = -13/4 + 19/4. Let s(j) = -2*j + 13. Let h(f) = 6*f**2 - 2*f + 2. Let r be h(1). Let u be s(r). Which is smaller: w or u?
u
Let g be (-7)/(110520/4805 - 23). Is g at least 0?
False
Let b be 18/8 + -2 - 1407/28. Let y = b - 0. Let i = y - -48. Which is greater: -1 or i?
-1
Suppose -5*p + 6148 = x, p + 42520 - 11728 = 5*x. Is 6160 less than x?
False
Let h = -121 - -452. Let o = -309 + h. Is -0.2 greater than or equal to o?
False
Let g be (-120)/(-20) - (1 - 354/(-74)). Let z = 1261/5661 - g. Are 0 and z nonequal?
True
Let i be (18/10)/((-45)/(-300)). Let t = -13 + i. Let w = -338 + 7773/23. Which is greater: t or w?
w
Let h(x) = 2*x**3 + x**2 - 4*x - 3. Let y(m) = -4*m - 19. Let v be y(-6). Suppose 9 = -2*l + 5*k - v, -l + 5*k = 12. Let a be h(l). Are -7 and a unequal?
False
Let n(g) = -g**3 + 9*g**2 - 9*g + 7. Let j be n(8). Let c be 21012/(-24990) + 4/5. Is j >= c?
False
Suppose 6*q - 5*q = 3, -o - 2*q = -174. Which is smaller: 170 or o?
o
Let z be (90/(-45))/(2/(-6)). Suppose -3*w - 5*s - 30 = -2*s, 30 = -4*w - 2*s. Is w < z?
True
Suppose -4*p = 70*c - 67*c + 42, -4*p = c + 22. Which is smaller: -246/25 or c?
c
Let j(d) = -d**2 + 4*d - 2. Let c be j(4). Let t be c - (15/(-10) + 2 + 0). Let w = t + 11/6. Is -2 not equal to w?
True
Let x(f) = 4*f - 30. Let r be x(9). Let b(z) = z**2 + 7*z + 4. Let l be b(r). Is 82 less than or equal to l?
True
Let c = 30.15 + -30. Let k = -0.05 - c. Is k less than or equal to -1?
False
Let o = -2701 - -2700.953. Does 1/18 = o?
False
Suppose -40 = -i - 135. Suppose 6*f - 5*f = 8. Suppose -f*d - 212 = 540. Is d <= i?
False
Let i = 29 - 18. Let l = 5009 - 5017. Is l != i?
True
Suppose -323 + 318 = -5*s + 2*t, -4*s + 3*t = -11. Is 2/3311 at least as big as s?
True
Let b be ((-417)/(-27) - 15)*27/(-2). Is b smaller than 29/20?
True
Let o = 310 + -426. Which is greater: o or -118?
o
Let j be (964/(-6))/(25 + (-5257)/210). Is 4821 != j?
True
Let m = 85.155 - 0.155. Let v = -84.6928 - 0.2072. Let w = v + m. Is w >= -3/4?
True
Let f be -1 + (776/5)/(-2). Let d = 1651/21 + f. Let t(p) = -446*p + 446. Let v be t(1). Which is smaller: d or v?
v
Let g be (-4)/(232/(-6))*1. Let a = -265762 - -265763. Is a at least g?
True
Let p be (5 - (-66)/(-12))*2*(-5 + -36). Which is greater: p or 27?
p
Let s be (-232)/2900 + (-1294)/(-16550). Which is bigger: s or 0?
0
Let s = -8156.601 - -8153. Which is smaller: 1 or s?
s
Suppose 11*f - 10 - 12 = 55. Which is smaller: 41/5 or f?
f
Let p be 3/(-12 - 0) - 18/(-8). Suppose 0 = 3*s - 3*n + 12, -p*n + 5*n = -3*s. Is s >= -10?
True
Let y = -84.1 + 4.1. Let i = -93 - y. Let a = -11 - i. Is -10 at most a?
True
Let r = 74851496 + -401877680476/5369. Let y = -2/767 + r. Are 3/145 and y non-equal?
True
Suppose 2574 - 2124 = i. Suppose 0 = 2*w - 4*t - 8, -4*w + 4 = -3*w + t. Let j be w/3*i/(-6). Are -101 and j unequal?
True
Let y = -86215/104 + 829. Let k(v) = 3*v**2 + 26*v + 15. Let u be k(-8). Which is greater: u or y?
y
Let n = -6 + 5. Let h be (-7 + 4)*n/(-339). Let r(x) = -x**2 + 51*x + 4753. Let i be r(-48). Is h smaller than i?
True
Let b(j) = -3*j**3 - 21*j**2 - 14*j - 153. Let a be b(-8). Is 4 smaller than a?
True
Let u be (-70)/(-16) - 4 - 40232/448. Is u at least as big as -89?
False
Let x be (-3)/(-10) + ((-459956)/(-11480) - 41). Is x less than or equal to -2?
False
Let x = 388347/37753195 - 19/1865. Which is greater: x or 1?
1
Let s be 399542/(-1430) + (-6)/10. Is -839/3 at most s?
False
Let h be (-945)/42*((-252)/(-15) + 0). Let f = 400 + h. Which is greater: f or 21?
f
Let y = -0.041 + 0.094. Let t = y - 0.09. Which is smaller: -0.2 or t?
-0.2
Let g be 108/(-57)*(0 - 586/(-33)). Let s = -584/19 - g. Which is bigger: 3 or s?
3
Let x = -906860/561 + 17760/11. Let y = x - -5/3. Let c be 1/2*(1 - 1). Is c at most as big as y?
False
Suppose 246 = 18*y - 141*y. Is 0 bigger than y?
True
Let n = 786 - 1412. Which is smaller: n or -2?
n
Let s = 9998 - 9958. Let c(j) = -5*j - 12. Let h be c(-10). Is h at least s?
False
Let a be (-5 + 1)*(-1 - 0) + 6. Let q(l) be the first derivative of -l**2/2 + 5*l + 2. Let f be q(a). Is -10 not equal to f?
True
Let y = 209.2 + -209.1. Which is bigger: y or 4154?
4154
Let j be (-52)/14 + 3 + 1. Let c = -260 + 25741/99. Is j less than c?
False
Let q = -24383.9 - -24384. Is 3749 less than q?
False
Let v(q) = -2*q - 1. Let z be v(0). Suppose 3*b + w = 53, -2*w - 9 = b - 7*w. Let c be (b/(-56))/((-30)/(-56)). Is z greater than or equal to c?
False
Let q be (-55)/9 - 2/(-6). Let v = q - -5858/1017. Let c = 18 + -18. Is v bigger than c?
False
Let c = 0.02589 + -1.02589. Is 82 not equal to c?
True
Suppose 0 = 8*w - 5*w + 6. Let k be (w/(-4))/(17/(-884)). Which is smaller: k or -28?
-28
Let a = -2.05 - -0.05. Let t = -1.9 + 2.3. Let b = -0.41 + t. Which is greater: a or b?
b
Let m be (236406/(-410))/(6/20) - 0. Is m >= -7689/4?
True
Let b = -1576/2114459 + -3/3427. Is 0 < b?
False
Let i = -0.7473 - -46.7409. Let u = -0.1064 - i. Let q = u + 46. Which is smaller: q or -2.9?
-2.9
Let f be (-266)/52 - (0 - 2). Let r = 5/13 - f. Which is smaller: 3 or r?
3
Suppose 5*f - 394 = b, 15*f - b + 386 = 20*f. Which is greater: f or 51?
f
Let n = -8 - -5. Let u be 28/12*-1 - n. Let r = -360/1001 - -4/77. Which is bigger: r or u?
u
Suppose -5*y - 8 = -28, -5*s + 2*y + 57 = 0. Suppose -5*g + 71 = k, -5*k + 475 = 8*g - s*g. Which is smaller: 94 or k?
k
Suppose 2*t - 7*t + 57 = -4*y, -20 = -4*t. Let m(r) = -r**3 - 6*r**2 + 16*r - 1. Let c be m(y). Let o be 2/2*1/(-1). Is o not equal to c?
False
Let t = -0.10048 + 128.10048. Which is smaller: t 