 Suppose -4*a = -j*a - 20. Suppose 0 = -3*z + 15, 6*q - a*z = q - 35. Which is greater: -5/2 or q?
q
Let t be (-1 - -3)/((-4)/(-10)). Let s = -24 - -49. Suppose t*y - s = -0*y. Does y = 5?
True
Let a(u) = -3*u**2 - 16*u - 22. Let o be a(-4). Let z be (-2)/((0 - 0) + 1). Let d be (1/z)/(o/(-12)). Which is smaller: d or -3?
-3
Let g = -6997232/73 + 95854. Let x = g + -13617/365. Let c = -4127/115 - x. Is c greater than 0?
False
Let g(w) = -w - 8. Let i be g(-11). Suppose -4*o + 9 = -i*y - 12, 2*o - 2*y = 12. Let m = -17/6 + o. Do m and 1 have the same value?
False
Let i be (0 - 3) + -1 + 0. Let y be i/(-30)*20/12. Is y >= -1?
True
Let a(i) = 3*i**3 - i**2 - i - 1. Let o = -19 - -15. Let m be a(o). Let b be (-10)/(-4)*(-4)/m. Which is smaller: 0 or b?
0
Let y(p) = -p + 16. Let c be y(12). Suppose -c*a + 4*x + 20 = 0, -3*a + 2*x + 15 - 1 = 0. Let j be ((-6)/16)/(1/a). Which is smaller: -1 or j?
j
Let y be 4/2*(-1)/(-1). Suppose 2*d + 5 = i, 5*i - 3*d + y = 6. Let k be 342/7752*17/2. Which is greater: k or i?
k
Let t be (-2)/10 - 4/5. Is -6/77 > t?
True
Let d(x) = 3*x - 10. Let c(m) = -m + 1. Let a(y) = -2*c(y) - d(y). Let u be a(6). Which is greater: 11/4 or u?
11/4
Let u(f) = -2*f**2 + 20*f - 15. Let y be u(9). Let x(h) = -3*h + 8. Let t be x(y). Suppose 0 = 2*g + 2, 5*o - o - g - 5 = 0. Which is bigger: o or t?
o
Let l(h) = 2*h**2 + 6*h - 37. Let j be l(8). Let v = j - 80. Is v greater than 60?
False
Let i be 3*4/(-18)*3. Let c = -61 - 47. Let o be 3/(-9) - (-153)/c. Which is greater: o or i?
o
Let l = 7 + -6. Let o = -345/154 + 27/11. Is o at least as big as l?
False
Let a = -2.02 + 2. Let i = -160 - -159.957. Let g = i + 0.043. Which is greater: a or g?
g
Let r(k) = -k**2 + 3*k + 1. Let d be r(-1). Let q be d + 2*(-22)/4. Is -13 >= q?
True
Let v = -1187 + 1177. Which is greater: v or -0.4?
-0.4
Let p be (-24)/80*4/3*4. Let x(j) = -j - 1. Let m be x(3). Let d = m + 2. Which is smaller: d or p?
d
Suppose -2*k + 7 = d, -13 = -2*k - d + 6*d. Let a = -5 + k. Let g be (a - -7)*(-18)/(-36). Which is smaller: g or 2?
2
Suppose 5*p = -5*m + p + 119, 8 = -2*p. Suppose 30*h = m*h + 18. Which is smaller: 8 or h?
h
Let n be 16/(-40)*2707*(-2)/(-26). Let d = -413/5 - n. Is 2 smaller than d?
False
Let g(q) = q + 18. Let s be g(-22). Let i be s/(-228) - (1 + -1). Is i greater than 0?
True
Let p = 16 + -12. Suppose 0 = 4*a, -n + 0*a = p*a + 1. Which is smaller: -3 or n?
-3
Let c be (-16)/(3 - 8004/45). Let t = -7/61 + c. Let h = 746 - 747. Which is smaller: t or h?
h
Let y be 1/(-4)*20/15. Let k(u) = -u**3 + 3*u**2 + 4*u. Suppose 0 = 2*p - 4*p + 8. Let v be k(p). Is v != y?
True
Let t(b) = 5*b - 38. Let v be t(7). Let w be (-12)/(-9)*v/(-20). Which is bigger: -0.18 or w?
w
Let y(q) = -q**2 + 9 - q**2 + q**2 + 6*q + 2*q. Let f be y(9). Is -2 greater than f?
False
Suppose -4680 = -j - 19*j. Is 235 not equal to j?
True
Let g = -23006/17013 + 72/53. Which is bigger: 1 or g?
1
Let y = -301 - -295. Is 2/3 at most y?
False
Let v(g) be the third derivative of g**2 + 1/10*g**5 + 0 + 0*g - 1/120*g**6 + 1/4*g**4 + g**3. Let p be v(7). Which is smaller: -7/3 or p?
-7/3
Let z = 57 - 26. Suppose 122 = -9*v - z. Are v and -18 equal?
False
Let k = -1586 - -1598. Is 10 != k?
True
Let r be (-3 + 1 - -3)*3. Suppose 5*s = 2*s - r. Let d be ((-2)/s*-3)/(-2). Do 7/3 and d have different values?
True
Suppose 5*v = 10*v + 5. Let u = v - -3. Suppose -3 = c - 7. Which is smaller: c or u?
u
Suppose z - 2*x = -101, 3*z - 5*x + 299 = -0*x. Let o = -93 - z. Is o less than -1/14?
False
Let h(q) = q**2 + 3*q - 26. Let r be h(-4). Is 2/17 at most as big as r?
False
Suppose 0*t - 4*t - 4*o - 128 = 0, o - 4 = 0. Let n = 18 + t. Let y = -10 - n. Which is bigger: 7 or y?
y
Let g = 5 + -20. Let f be 12/(-8)*70/g. Suppose f - 5 = 2*u. Is u at least 6/5?
False
Let j be (-12)/28 - 48/(-28)*51. Which is greater: 84 or j?
j
Suppose -14*k + 17*k = 6. Let v(s) = -s**2 - 7*s - 4. Let i be v(-6). Is i greater than or equal to k?
True
Suppose 49*y - 48*y = -6. Let g be 66/(-9)*9*(-2)/y. Are g and -22 unequal?
False
Let o = 54 - 41. Suppose -18 = -y + o. Is y >= 32?
False
Let w = -0.0453 - 33.4547. Which is greater: w or 0.2?
0.2
Suppose 0 = -y - 23*y + 168. Suppose 4*t - 2 + 8 = 3*n, 0 = -n + 2*t. Which is bigger: y or n?
y
Suppose 36 = g - 3*h + 35, 48 = -4*g - h. Is g at most as big as -37/3?
False
Let d be 12/(-506) - (11 - (-33)/(-3)). Which is bigger: -1 or d?
d
Suppose 0 = 6*u - 29*u - 23. Let d = -68192 - -614383/9. Let i = -73 + d. Which is bigger: i or u?
i
Suppose 5*q - 4*d + 8 = 0, -2*d + 4 = -5*q + q. Suppose q = 14*p - 10*p + 4. Are p and -8/7 equal?
False
Suppose 5*s = 6 + 4. Suppose 0 = 3*n + 7 + s. Suppose -5*b - 11 = u, 5*b - 2*u + 5 + 3 = 0. Which is greater: n or b?
b
Let q = 92 + 112. Suppose -11*k + q = -23*k. Which is greater: k or -18?
k
Let o = -0.479 + 0.069. Let h = 0.21 + o. Let k = h + -0.1. Which is smaller: k or -1?
-1
Let g = 672 - 671. Let u be ((-12)/14)/((-4)/(-2)). Is u at most g?
True
Let k(d) = -16*d**3 + 6*d**2 + 15*d + 16. Let b(a) = -3*a**3 + a**2 + 3*a + 3. Let r(g) = 11*b(g) - 2*k(g). Let q be r(-2). Which is smaller: -2/63 or q?
q
Suppose -100 = -0*m + 4*m. Let n = -14 - m. Is 11 at most as big as n?
True
Let b = 5816/5 - 1168. Is b bigger than -4?
False
Let d = 13 - 9. Suppose 31*y - 18 = 25*y. Is y at most d?
True
Let q = -3/4 - -1. Let h(z) = 5 + z - 5 - 4. Let p be h(4). Which is smaller: p or q?
p
Suppose 44 = 3*w - 5*u, 4*w - 3*u - 45 = 32. Let t = 2 + 3. Suppose -x = -4, 5*x - w - 7 = -t*f. Which is greater: -1 or f?
f
Let l = 18.75 - -0.25. Let o = 0.47 - 0.47. Which is bigger: o or l?
l
Suppose -91*w + 105*w + 28 = 0. Let i = 148/65 + -66/13. Which is bigger: i or w?
w
Let c = 0.9 + 2. Let v = c + -2.4. Let f be 1 + 27/(-21) + 0. Is v at most f?
False
Let l = 44 - 63. Let o = l - -12. Let m = o - -7. Is -1.6 <= m?
True
Let d be (-705)/(-18)*32/(-40). Which is greater: d or -31?
-31
Let f be -1*1/5 - 969/(-95). Which is smaller: 37/4 or f?
37/4
Let r(u) = -u**3 - 4*u**2 - 2*u + 2. Suppose -f + 4 - 7 = 0. Let g be r(f). Is -1 less than or equal to g?
True
Let f(b) = -2*b**3 + 14*b**2 + 14*b + 15. Let j be f(8). Suppose 5*n = -l + 13, -3*l + 4*n = -4*l + 11. Which is smaller: l or j?
j
Suppose h = 4*h. Let w be (((-8)/(-4))/2)/53. Are w and h nonequal?
True
Suppose -19 = 5*h + 11. Which is bigger: -34/7 or h?
-34/7
Suppose 14*l - 6*l = 88. Which is greater: -5 or l?
l
Let r = 242162/805 - -4/115. Let d = r + -300. Which is greater: d or 0?
d
Suppose 73*v - 70*v = 3. Let b = 11 + -7. Suppose 0 = -b*a - 5 + 17. Which is bigger: a or v?
a
Let h = -13.1 + 0.1. Let g = 12.9 + h. Let f = -5 - 4. Does g = f?
False
Let n = 1 + 3. Let x be n/3*(3 + 0). Suppose 0 = 4*l + x - 16. Which is bigger: l or 2?
l
Let k(l) = -3*l**2 + 64*l - 177. Let g be k(18). Let c = -24 - -40. Which is greater: c or g?
c
Let k = 141 + -75. Let z = k + -110. Is z smaller than -44?
False
Let f = -0.73 + 0.33. Is f smaller than 11/5?
True
Let a = 365.9 + -363. Is a at most -0.12?
False
Suppose 0 = -5*f + 13*f - 232. Which is bigger: f or -4?
f
Let c = 33 + -16.95. Let b = -9.1 - 6.9. Let q = b + c. Is 2 equal to q?
False
Let y = -634 - -687.1. Let l = y + -53. Let s = -5 - -9. Which is smaller: s or l?
l
Let l = -67/3 + 323/15. Let s = -21 + 30. Let f = s - 9. Is l greater than or equal to f?
False
Let x = 162 - 70. Let d = 1193/13 - x. Suppose 0*m + 3*m - 3 = 0. Are d and m non-equal?
True
Let u be (-2)/7 - ((-122859)/(-7245) + -17). Which is bigger: u or -1?
u
Let m = -12673/24 - -528. Which is smaller: 0 or m?
m
Suppose 2 = -g, -o - 7*g = -5*g + 2. Suppose n + 10 = 5*k - 3*k, -n = -4*k + 22. Let f(t) = -t + 6. Let u be f(k). Which is greater: o or u?
o
Let v(n) = n**2 + 5*n. Let s be v(-4). Let z be (-4)/(-6) - (-116)/(-12). Which is greater: z or s?
s
Let q(p) = -7 + 9 + 0 + p. Let w be q(-6). Which is bigger: w or -5/2?
-5/2
Suppose 0*r + 3*r = 9. Suppose -25 = -r*u - 2*u. Suppose -2*x - 19 = -5*g, 2*g + 5*x = -3*g + u. Which is smaller: 3/2 or g?
3/2
Let t be (1/(20/8 + -3))/(-2). Let i be ((-2)/4)/(18/(-45)). Is i smaller than t?
False
Suppose 5*n + 0*n = -5. Let t be 11 - 10 - n/(-1). Let a be 1*((-60)/14)/3. Is t bigger than a?
True
Suppose -17*h + 10*h = -770. Is h >= 110?
True
