aller: c or x?
x
Let w = 24.43 - 27.43. Let c be 10/12*(-3)/15. Which is smaller: w or c?
w
Suppose -12*d - 5*d = -34. Suppose 3*g = -2*g + 2*j + 22, -d*g = 5*j - 3. Is g equal to 3?
False
Let k be (5*1)/(-37 + 36). Is -0.06 at least as big as k?
True
Let i = 28145163/91 - 309283. Let a = i - 66/13. Which is smaller: a or -1?
-1
Suppose 24*p - 22*p = 32. Suppose 4*u - 76 = -12. Is u <= p?
True
Let x = 36 - 32. Let q = 8 + -3. Let o be q/2*7/5. Which is greater: o or x?
x
Let w be 13/(-130) + (-23)/170. Which is bigger: 0 or w?
0
Suppose -2*j = 2*j - 2*n - 122, 3*j - 4*n = 84. Suppose -6*g - j = -4*g. Are -16 and g unequal?
False
Suppose u - 3*u + 4 = d, 5*u = 0. Is 49/18 >= d?
False
Let z = 72.2 - 76.2. Are z and 18 unequal?
True
Let u(x) be the third derivative of x**4/24 + 2*x**3/3 - 2*x**2. Let t be u(-4). Let d be -2 + (0 - (-3 - t)). Do d and 7/4 have the same value?
False
Let x = -165.01 + 165. Which is bigger: 7/4 or x?
7/4
Let x = -222 + 412. Which is greater: -1/4 or x?
x
Let o be (7 + 1 - 5)*3880/15. Is 774 at most as big as o?
True
Let s = -8484 - -24208/3. Let y = s - -410. Which is bigger: y or -4?
-4
Let h be (-4)/8 + (-62)/(-4). Suppose 5*x + h = 5. Let i be -1 + (3*-1)/3. Is i bigger than x?
False
Let s(w) = w**3 + 12*w**2 - 13*w + 18. Let m be s(-13). Let i = 3/1513 - -84719/4539. Which is smaller: m or i?
m
Let x be ((-74)/(-8))/((-4)/(-32)). Let v = x + -72. Is 14/5 greater than v?
True
Let k(n) = 2*n**2 - 12*n + 7. Let h(w) = w**2 - 6*w + 3. Let f(b) = 5*h(b) - 2*k(b). Let t be f(7). Let p = t - 13. Which is smaller: p or -4?
p
Let o(k) = -k**3 + 10*k**2 - 8*k - 4. Let m be o(9). Let a be (-1243)/(-434) - (m + -2). Let g = a + 2/31. Is 0 at most as big as g?
False
Let u = -2696/25953 + 4/633. Let i = 94/123 + u. Is i less than -4/21?
False
Let l be 3/(-261)*1*(1 + 14). Which is smaller: l or 1?
l
Let m be (16/5)/((-6)/30). Let r be m/7 + 2 - 111/(-217). Which is smaller: 1 or r?
r
Let k = 4 - 2. Let g be 4/6 - k/(-6). Let l = 1596/5 - 319. Which is smaller: l or g?
l
Let u(w) = -25*w - 1. Let o be u(1). Let t = 18 + o. Let j(p) = -p**2 - 8*p - 1. Let i be j(t). Is -1 bigger than i?
False
Let l be 10/35 - 19/(-7). Suppose -l*w - 12 = -0. Which is greater: -9 or w?
w
Let k(b) = -b**3 + 24*b**2 - 10*b + 7. Let z be k(24). Is -234 at most z?
True
Let o = -8.53 + 8.93. Which is bigger: 48 or o?
48
Suppose -6*m = 5*m + 2*m. Which is smaller: -2/715 or m?
-2/715
Suppose -80 = -4*g - g. Suppose 4*w = 3*w - 2*c - 9, g = -4*w - 4*c. Let d be (w - -1)*2/(-1). Which is bigger: d or -1?
-1
Let u = 16.12 - 0.12. Let s = 7.7 + -7.84. Let z = s + 0.24. Which is smaller: z or u?
z
Let v(z) = 20*z - 124. Let k be v(4). Which is smaller: -43 or k?
k
Let q = -314.9 + 268. Let s = 47 + q. Which is bigger: 2/83 or s?
s
Let l be (-22)/(-30) - 1/3. Let o = 86.08 - 86.074. Which is bigger: o or l?
l
Let c = 2060/336951 - -2/1291. Let m = c + 160/1827. Which is smaller: -2 or m?
-2
Let m = 9 + -9. Suppose m = -4*u - u. Let s = -2089/1477 - 3/211. Are u and s nonequal?
True
Suppose 2*c + 4 = y + c, -y + 8 = -5*c. Are -10 and y equal?
False
Let b = 323 + -323. Is b >= -136?
True
Suppose -1 - 19 = -5*s. Suppose a = -s*a. Let b = -966.12 + 966. Is b smaller than a?
True
Let n = -193 - -194. Let u be 2/(-6) + 4/21. Which is smaller: u or n?
u
Let t = -1.87 + 0.17. Let r = 1.73 + t. Let k = -308/5 + 62. Is r at most k?
True
Suppose 0 = -3*k + k + 4. Suppose v = -k*v + 3. Suppose -7*b - 94 + 87 = 0. Which is bigger: v or b?
v
Let l be (-538905)/(-66447) - 8 - 3/27. Which is greater: l or -1?
l
Let l = 0.174 - 0.274. Which is smaller: l or -2?
-2
Let f = -216.1 + 216. Which is smaller: f or -22/19?
-22/19
Let h be (-22)/(-77) + 164/14. Suppose 3*s - h = -y - 1, 5*s + 3*y - 17 = 0. Is s at most 2?
False
Let o(z) = -9*z - 54. Let p be o(-13). Are p and 63 equal?
True
Let c = 247 + -247. Is c >= 5?
False
Let k = -1 - -2.6. Let s = k - 1.7. Which is smaller: -0.05 or s?
s
Suppose -r = 5*p - 28, 5*r = -5*p + 6*p + 140. Is 33 at least as big as r?
True
Let q = 1556 + -1603. Is -36 > q?
True
Let s = -4.94 - -5. Let i = -0.16 + s. Suppose 2 - 1 = -u. Which is bigger: u or i?
i
Let z be 12/8*92/6. Suppose -k = -25 + z. Let g = 394 - 1964/5. Is g > k?
False
Let x be (21/(-12))/7 - (-5578)/(-56). Let t = x + 100. Is -1 > t?
False
Let a be (-1505)/15 - (-45)/(-27). Is a greater than -103?
True
Let z(x) = x**2 + 8*x - 23. Let u be z(-12). Let q be (-2)/(-4) + u/2. Is q > 14?
False
Let z be 3/(-14) + (-45)/(-63). Which is smaller: 755 or z?
z
Suppose 5*a = 0, a = -2*r - 2*r + 16. Suppose r*o - 5 = -o. Suppose -7*p = -3*p + 12. Which is smaller: o or p?
p
Let h = -0.068 + -0.932. Let s = -49 + h. Which is greater: 2 or s?
2
Let o(s) = s**3 + 3*s**2 + 2*s. Let a be o(-2). Let c = 1661/36865 - 2/505. Is a equal to c?
False
Let p(z) = z**3 + 3*z**2. Let c be p(-3). Let i be (1 + 0)*(-2)/(-6)*-3. Which is smaller: i or c?
i
Let z be (-6)/(-5)*(-90)/27. Let k(c) = -c**2 - 2*c + 9. Let s be k(z). Let h = -5/187 + 2/17. Which is smaller: s or h?
h
Suppose -4 = -2*w, -3*l + 45 - 6 = -3*w. Suppose l = 2*t + 7. Suppose q - 23 = -t*o, -q - 2*o + 28 = 3*o. Do q and 3 have the same value?
True
Let w = 6154/22965 + -2/1531. Let j = 8.2 + -10.65. Let o = 2.35 + j. Is o at most w?
True
Let j = 2.169 + 0.001. Let h = j + -2.1. Is h bigger than 0.2?
False
Let s = -5 - -4.94. Let o = -0.219 + 0.269. Are s and o equal?
False
Let u = -20.3 + 26.3. Let y = 32.9 + -39. Let n = y + u. Which is bigger: n or -2/7?
n
Let k = 260 + -252. Which is greater: k or 7?
k
Let l = 0.288 + 0.032. Let o = -1.32 + l. Is o bigger than -34?
True
Let k = -145 - -325. Is 179 >= k?
False
Let x = 5.5 + -24.5. Which is greater: 0.3 or x?
0.3
Suppose -35 - 16 = 3*k. Let w(o) = -o**3 + 14*o**2 + 15*o + 17. Let y be w(15). Let z = y + k. Are -2/103 and z equal?
False
Let h(m) = -m**2 + 2*m - 1. Let u be h(1). Let o be (-6)/20*(-4)/63. Is o less than u?
False
Suppose -2*j = 3*n + 3, 0 = -4*n + 3*j - 0*j + 13. Suppose 3*r - 5*z - 12 = 2*r, -n = z. Which is bigger: 15/2 or r?
15/2
Let l = -41.4 + 96.3. Which is smaller: l or 1/4?
1/4
Let u = -8 - -6. Let h = 261 + -261. Which is greater: h or u?
h
Let l = 3 - 1. Let v(w) = 2*w**2 - 3*w - 2. Let h be v(l). Which is greater: -2 or h?
h
Let c = -509 + 502. Is -2/11 less than c?
False
Let r = -4 + 6. Let b = r + -2.05. Let u = -4.95 + b. Which is smaller: u or 2/5?
u
Let o = 15475/2733 + 4/911. Let j = -0.3 + 0.2. Which is bigger: j or o?
o
Let a = -763 + 950. Which is smaller: a or -1?
-1
Suppose -2*s = -0*s. Suppose 5*d = 5*p - 255, 2*d - 3*p + 7 = -93. Let f = d - -52. Which is bigger: f or s?
s
Let p(g) = g**3 - 19*g**2 + 34*g + 9. Let t be p(16). Is -215 equal to t?
True
Let b be (-20)/(-3)*(-18)/12. Suppose -3*k = -6*k + 48. Let c = b + k. Is c bigger than 7?
False
Suppose -23 = -4*l + a - 122, 0 = l - 2*a + 16. Is -6 < l?
False
Let u(o) = o**3 - 5*o**2 - 7*o + 2. Suppose 4*r = -2*n + 16, 0*r - 16 = -2*n - 2*r. Suppose 5*l + 18 = n*l. Let s be u(l). Which is greater: -5 or s?
s
Let i(f) = -3*f**2 - 2*f + 1. Let a be i(1). Let n be (-1)/(2*(-2)/a). Let x = 0 - n. Which is smaller: -1/5 or x?
-1/5
Let t = 22/281 + -7651/94135. Which is smaller: 0 or t?
t
Suppose -p + 3*s + s + 7 = 0, 5*p + 4*s + 37 = 0. Suppose -105*b = -99*b - 6. Is p less than or equal to b?
True
Let u = -3206/9 + 356. Which is greater: u or -1?
u
Let o = 47/88 - 9/22. Let i = -728 + 727. Is o less than i?
False
Suppose 4*t + 3 = t. Let o be 5/2 + -1 + t. Which is smaller: o or 2?
o
Let o be 70/350 + (-488)/90. Which is smaller: 0 or o?
o
Suppose 24 = 58*r - 60*r. Is -12 at least as big as r?
True
Let t = -2442/7 + 109892/315. Are 1 and t non-equal?
True
Let r(x) be the first derivative of -x**4/4 + 2*x**3/3 - x + 19. Let n be r(1). Which is smaller: n or -5/16?
-5/16
Let h = 12 + -22. Let g = 5576 - 5588. Which is bigger: h or g?
h
Let l be (32/112)/(6/1456). Let c = -70 + l. Is c bigger than -1.5?
True
Let w = 0.026 + -0.376. Let q = w + -0.55. Let d = -5/33 - 2/11. Which is bigger: q or d?
d
Let n = 16 + -28. Let q(d) = 3*d - 1. Let o be q(4). Let s = o - 24. Which is bigger: n or s?
n
Let x = 1/22 + -117/154. Suppose -i + 0 + 7 = 4*l, i = l - 3. Which is smaller: i or x?
i
Let i = 0 + 14. Let j 