aller: n or 3/4?
n
Suppose -5*u = -u. Suppose 7*y - 2*y + 50 = u. Let x = 10 + y. Which is smaller: -2/21 or x?
-2/21
Let l(c) = -c**2 + 16*c + 14. Let u be l(17). Let p be (u/(-2))/((-15)/100). Is p >= 0.1?
False
Let c = 45 - 46. Suppose -5*h + 0*h - 100 = 0. Let p be (-1)/(-2 + (-38)/h). Is p less than c?
False
Let q = 3/1054 - 39025/9486. Which is bigger: -4 or q?
-4
Suppose 4*j = -16*j + 120. Suppose -z - 2*z + 12 = 0. Suppose z*w = -2*b + 3 + 13, 2*w - 8 = b. Is j at most as big as w?
False
Let a(v) = 445*v**2. Let t be a(1). Suppose 0 = -3*o + y + 288 + 36, -3*y + t = 4*o. Suppose -x = -2*u - 29, 2*u = -5*x + 3*u + o. Are 22 and x non-equal?
True
Suppose -q + 3 = -0*q. Suppose 0 = -q*y + 4*y - 2. Let d(t) = t + 4. Let o be d(-5). Which is greater: o or y?
y
Let l = 0.115 + 0.885. Let a be 4/8*(-16)/(-11). Is l smaller than a?
False
Let v = -2/419 - 16746/2933. Let y = -15 - -10. Which is smaller: y or v?
v
Let p(n) = 5*n**2 - 89*n - 18. Let r be p(18). Which is bigger: 3/65 or r?
3/65
Suppose -2*w + 5 = -t, 5*t + 7 = -4*w + 10. Is 2/129 less than or equal to t?
False
Let b(u) = 3*u**2 + 11*u - 40. Let s be b(-6). Which is greater: s or -23?
s
Suppose -12*t + 17*t + 495 = 0. Let h be (-10)/(-9) + 11/t. Which is greater: -6 or h?
h
Let d = 0.4791 + 0.0209. Let q = -8.5 - -7. Let g = q - d. Which is greater: 2/23 or g?
2/23
Suppose 5 = -19*m + 24*m. Let l be 9/54 - -11*m/(-42). Which is greater: 1 or l?
1
Let z = 1/994 - -5216/2485. Which is smaller: 3 or z?
z
Let o be (10/1075)/((-2)/9245339). Let t = -43002 - o. Let i = 1/43 + t. Are 1 and i nonequal?
True
Let i = 83.66 - 0.66. Is i != -1?
True
Let t(g) = 3*g**3 - 7*g**2 - 3*g - 6. Let d be t(3). Are d and 70/23 equal?
False
Let u be 3/(3/(-7) - (-396)/(-56)). Which is bigger: -4/805 or u?
-4/805
Let x = 241/1869 - 3/89. Let i be (-24)/(-14) - 6/(-21). Suppose -f + i = f. Is f at most as big as x?
False
Let w(x) = -16*x + 12. Suppose 5*q = 5, -2 = 2*h + 4*q + 12. Let g be w(h). Let t be 76/g - (-1)/(-3). Which is smaller: t or -1?
-1
Let k(i) = i**3 + 9*i**2 + 8*i + 5. Let q be k(-8). Suppose u + 4*r - 26 = -2*u, q*u - 4*r + 10 = 0. Which is bigger: -0.9 or u?
u
Let k be (3/9)/((-2)/(-150)). Let c = 25 - k. Let t be c + (-50)/(-11) + -4. Which is greater: t or 0?
t
Let l = 0.058 - 67.058. Let t = 66.8 + l. Which is bigger: t or 0?
0
Suppose -21 = 3*n - 24. Which is bigger: 3/13 or n?
n
Suppose -154*v = -152*v + 2. Let u = 40319/89 - 453. Is v >= u?
False
Suppose 4*p - 38 = -3*z, 3*p = -3*z + 2 + 25. Suppose 5*o + p = 2*j, 2*j - 2 = -0*j + 2*o. Which is greater: -24 or j?
j
Let j = -715/24 + 33/8. Let q = j - -26. Which is smaller: q or 0.09?
0.09
Let k = -2/7121 + -42712/49847. Suppose -3*q + 2*q - 5*i = 0, 4*q = 2*i. Are q and k nonequal?
True
Suppose -2*q - 10 = 8. Let j be (-4 + q/(-2))*-6. Let b be j/(-2)*2/3. Is 1 at most b?
True
Suppose -4*b = -3*r - 395, -4*b = -5*r - 9*b - 670. Which is greater: r or -403/3?
r
Suppose 0*y + 4*f - 14 = -5*y, 0 = -f - 4. Let v be ((-15)/y)/(4/8). Is -5 less than or equal to v?
True
Let m be (0 + 6)*(-1)/2. Let s = m + 2. Let u be ((-32)/(-88) - -7) + -7. Is u != s?
True
Let j = -69 - -62. Let y(b) = -b**3 - 2*b**2 - b - 2. Let h be y(-2). Suppose h = -s + 4*s + 24. Are s and j non-equal?
True
Let s be (-5 + -4)*-7*1 + 1. Let o = s + -64. Which is greater: 1 or o?
1
Let m be 6/(-9)*12/8. Suppose -a - 8 = c + 4*c, -2 = -2*a - c. Which is smaller: m or a?
m
Let c = -797 + 886. Is c > 2/5?
True
Let l be (-2*(-1)/6)/(876/216). Does l = 1?
False
Let c = -73 - -184. Which is greater: 1/5 or c?
c
Let p = 19.2 + -23.2. Let b = 1.97 + 0.03. Is p at least as big as b?
False
Let p be 106245/79623 + 4/(-3). Does 0 = p?
False
Suppose 4*c + 8 + 16 = 0. Let u be c*(20/6)/5. Is u bigger than -4?
False
Let y be ((-36)/(-30))/(0 - -3 - 97). Which is greater: y or 1?
1
Suppose 2 = 3*r - 19. Suppose -r*m + 5*m = 0. Let c be (m - -1)*(-2)/(-6). Are c and -0.02 unequal?
True
Suppose 2*d - 63 = r, 16 - 1 = 5*r. Suppose 0 = -2*v + q + d - 13, 3*q = 0. Suppose 4*b - v - 26 = 0. Is b greater than or equal to 10?
False
Let s(u) = -u**2 + 13*u - 13. Let o be s(12). Let p be ((-3)/4)/((-132)/64). Which is smaller: p or o?
o
Let v be (-9)/(-6)*(-8)/(-6). Let r be 12/16 + 2/8. Let p(t) = t**2. Let g be p(r). Which is smaller: v or g?
g
Let b(v) = v**3 + 4*v**2 - 12*v - 6. Let z be b(-6). Let y be (135/(-24) - z)*(-5)/3. Which is smaller: y or 0?
y
Suppose -2*w + 154 = -n, 12*w - 15*w = -n - 231. Is w <= 76?
False
Let c = -1784 - -1781. Let b = -1 + 1.04. Which is smaller: b or c?
c
Suppose 0 = 6*c - 8*c - 176. Let t be (-3 + -3)*((-92)/c + -1). Let r(w) = w + 4. Let p be r(-3). Which is smaller: t or p?
t
Suppose 2*x = 3*v - 17, -3*x = -15*v + 10*v + 28. Let a = -14039/39 - -360. Which is smaller: a or x?
x
Let i = -6.14 - 4.86. Which is smaller: i or 1/27?
i
Let a be 32072/(-627) + 4/(-22). Let y = -1093/21 - a. Suppose -5*x - 9 = 3*l, -2*x + 3*x + 3*l + 9 = 0. Is x bigger than y?
True
Let g = 32 + -30. Let j be 2*g - (-14 + 15). Let z = 6 + -1. Which is greater: j or z?
z
Let v be (-1)/3 + 10/38. Let i be (-2)/76*(-148)/30. Let x = i - v. Which is smaller: x or -3/5?
-3/5
Let h be 1/(-4) - (-2)/(-8). Suppose 13 = k + 3*g - 4, 25 = k + 5*g. Let a = k + -4. Is h bigger than a?
False
Suppose 92*u - 7 = 85*u. Which is smaller: u or 23?
u
Let p = -3 + -7. Let f be (32/(-40))/((-2)/p). Suppose 9*r = -4*b + 4*r - 20, 3*r + 12 = -b. Which is smaller: f or b?
f
Let b be 1586*(22/(-66) - (-4)/(-6)). Is b bigger than -1587?
True
Let s = 0.18 + 0.62. Let j = s + -7.8. Let p = j - -8. Is p < 3?
True
Let v be (-4)/((-20)/9)*20/(-15). Let p = -2 - v. Is 1 at least p?
True
Let h(g) be the third derivative of -g**5/60 - 5*g**4/24 + g**3/3 - 5*g**2. Let y be h(-4). Let c be y/(-9)*3/6. Is -0.6 smaller than c?
True
Let w = -997 - -1272. Which is greater: w or 827/3?
827/3
Let h = 41.9 - 40. Let t = h - 1.6. Which is smaller: 0 or t?
0
Let a = 300.2 + -300. Which is bigger: a or 1.9?
1.9
Let a = -3897/17 - -229. Which is greater: -1 or a?
a
Let i be (4/6 - (-33)/(-63))*1. Is i greater than 1?
False
Let s = 14 + -18. Let i = s + 9. Let c = -6 + i. Is c greater than 3/8?
False
Let k(l) = -46*l**2 - 4*l - 1. Let p be k(-4). Let o be 4/(-26) - p/39. Let n = 21 - o. Are 3 and n equal?
False
Let i(p) = p**2 - 3*p - 20. Let f be i(-4). Suppose 0 = -4*d + 2*b - f, 4*d + 3*b + b = 4. Is d at least 10?
False
Let p be 20/(-28)*2/5. Let j = -11 + 12. Let l = j - 3. Is l not equal to p?
True
Let p(x) = x - 19. Let b be p(15). Let f = -1 - b. Suppose 0 = f*z + 2*z. Which is greater: 2/3 or z?
2/3
Suppose 6*k - k = -5. Let f = 0 - k. Let g be f + -4 - (-2 + -1). Is -2 at most as big as g?
True
Suppose 88*r - 80*r - 8 = 0. Let p = -11452/25 + 458. Which is bigger: p or r?
r
Let q(o) = o**2 + 5 - 21 + 2*o**2 - 10*o - 4*o**2. Let z be q(-9). Let f be -6 - -1 - (1 + 0). Is f > z?
True
Let p(n) = 115*n + 12. Let v be p(8). Let y = v + -1773. Let i = y - -4223/5. Which is smaller: i or 5?
i
Suppose -3*o - 2*j - 14 = -6, 0 = 3*o + 3*j + 9. Let k be 6/(-21) - o/7. Let n = -104 - -937/9. Which is bigger: k or n?
n
Let i = 48 - 48. Suppose -6*u + i*u - u = 0. Which is smaller: -1.5 or u?
-1.5
Let q(d) = 4*d**2 - 3*d + 3. Let g be q(1). Let l(k) = -5*k + 10. Let i be l(g). Which is greater: 1/3 or i?
1/3
Let b be 45/7*4/(-10). Let m(i) = i**2 + i - 1. Let p(v) = -v**3 - 10*v**2 - 9*v + 6. Let f(o) = -3*m(o) - p(o). Let s be f(-6). Which is bigger: s or b?
b
Let z = -139 - -165. Is 30 > z?
True
Let z = 10 + -10. Let k be 310/(-84) + (-2)/(-6). Let x = -20/7 - k. Is z not equal to x?
True
Let x = 119 + -101. Which is smaller: x or -3?
-3
Let y = 0 + 0. Let g = -1.2 + 5. Let a = g - 4.2. Which is greater: a or y?
y
Let j = -155/6 - -26. Suppose 7 = 5*y + 2*y. Is j at most as big as y?
True
Let n = 81 - 104. Let s be 12/(-3) - (6 - n). Is s greater than -33?
False
Let w be 47/(-4) + (-2)/8. Suppose 3*r + 5*s + 606 = 546, 5*s = 3*r. Which is greater: w or r?
r
Let m = 423 + -595. Which is smaller: m or -173?
-173
Let m(k) = -k**2 - 5*k + 8. Let o be m(-7). Let f be (-122)/(-60) + o/3. Let l = 117.9 + -118. Which is bigger: l or f?
f
Let x(i) = i**3 + 5*i**2 - i - 5. Let f be x(-5). Let d(o) = -o + 3. Let q = -8 + 13. Let n 