 u?
False
Let a = 19.977 + 0.023. Let y be (28/63)/(12/9). Is a > y?
True
Let w be (-22)/(-198) + (-4)/(-18). Which is smaller: w or -0.058?
-0.058
Suppose -x + 4 = 1, -3*x - 3 = -4*d. Let z be -3 + (d*-2)/3. Which is bigger: z or -22/5?
-22/5
Suppose 78*i - 83*i + 165 = 0. Which is greater: 29 or i?
i
Let x be (-2)/5 - 1812/(-30). Suppose -2*d + 3*a = 2*d - 48, -5*d = a - x. Does 11 = d?
False
Let l be (2 - 54)*7/14. Let d = l - -21. Does d = -17/3?
False
Suppose -d - 3 = -12. Suppose -6*p - d = 3*p. Is p greater than or equal to 3/29?
False
Let f = -723 + 1064. Which is bigger: f or 342?
342
Suppose -n = -3*j - 430, 715 = -5*j - 5*n + 7*n. Let k be 2588/18 + 1 + 0. Let q = k + j. Which is greater: q or 1?
1
Let f = 15 - 12. Suppose -2*c - f = c. Which is bigger: 0 or c?
0
Let y = 2122241/75 + -28297. Let l = y + 3/25. Which is bigger: -2 or l?
l
Let u(f) = -21*f**3 + 2*f**2 - 3*f + 1. Let m be u(1). Which is smaller: m or 1?
m
Let q = -284 - -283. Which is greater: 1/5 or q?
1/5
Let y = 45 - 58. Is -2.4 less than y?
False
Let q = 1/231 - 2545/924. Are -4 and q unequal?
True
Suppose -5*z + 109 - 94 = 0. Let g = -2 + 6. Are z and g nonequal?
True
Let j = -8 + 5. Let i = 8 - 19. Let w = j - i. Is w >= 8?
True
Let p be 2/(-8) + 110/(-8). Let u = p - -8. Let k = u - -19/3. Is k >= -1?
True
Let p = 2/139 - 427/695. Let h = 7/20 + p. Is -7/5 <= h?
True
Let p(i) = 0*i - i + 3 + 0*i - 4. Let d be p(-1). Let t be d - ((-76)/28 - -3). Is 0 > t?
True
Let r = 3/4993 + 14337/1068502. Let v = -9407/642 - r. Let m = 15 + v. Is m at most as big as 0.6?
True
Let m = 0.004 + -34.004. Let c = 33.93 + m. Which is smaller: 4 or c?
c
Suppose -2*g = -3*d + 3*g - 75, -100 = 4*d + 2*g. Let l be -5 + 5 + (-1 - -1). Suppose l*o - 25 = o. Are d and o equal?
True
Let p be ((-3)/2)/(((-406)/56)/(-29)). Is p at least as big as -3?
False
Let i(c) = -3*c - 25. Let n be i(-10). Suppose 0*w - 5*w + n = 0. Are w and 7/20 unequal?
True
Let i be (-48)/(-44) - 7588/7238. Let q be (-1 - -1)*2/4. Which is smaller: q or i?
q
Suppose -5*i + 3*f - 15 = -2*f, 4*i + 20 = -4*f. Which is bigger: -5 or i?
i
Let o = 14/5 - 47/15. Let n = -0.0573 - 10.7427. Is n at most as big as o?
True
Let z = -3 + 4. Let u be 828/32 - (-1 - 1). Let n = -28 + u. Is n <= z?
True
Let t = 0.093 - 0.154. Let h = 1.171 + t. Let v = 1.2 - h. Is 1 >= v?
True
Let u = 20 + -18. Suppose 2*k = 6 + u. Which is greater: k or 1?
k
Let s = -1947 - -1945.969. Let n = s - -0.031. Are -1/11 and n nonequal?
True
Suppose 0 = -d - 4*o + 40, -2*d - 2*o + 20 = -54. Let f be (12/(-10))/(d/(-120)). Which is greater: f or 6?
6
Suppose -2*s + 10 = -5*q, 7*s = -q + 2*s + 25. Let w = -410303191/579798954 - 153/248734. Let u = -2/333 + w. Is u at most as big as q?
True
Suppose 3*c - 5 + 2 = 0. Suppose -7*u = 8 - c. Which is greater: -1/18 or u?
-1/18
Let l = -49 + 58.8. Let h = -3.8 + l. Let q = 0.9 - 1. Which is smaller: q or h?
q
Let p = 145 - 145.4. Let g = -0.5 + 0.43. Is p smaller than g?
True
Let n = -29417/37 - -795. Which is greater: 6 or n?
6
Let k = -0.258 + 0.158. Which is greater: 0.143 or k?
0.143
Let k be (-28)/12*(-2)/(-7). Let x = -0.266 - 0.334. Is x less than k?
False
Let n(p) = -6*p**2 + 10*p + 33. Let m be n(-4). Is m greater than or equal to 1?
False
Let f be (-845)/1183 + (-4)/14. Which is greater: 12/373 or f?
12/373
Let s be 1 + (-3)/(-15) - 2. Let c be (-3 + -1)/(-4) + -2. Let r be (4 + -2)*c + 2. Which is smaller: s or r?
s
Let r = 13569.19 - 13638. Let s = 69 + r. Which is smaller: s or 0?
0
Let r be ((-2)/(-2) + 0)*-1. Let b be 32/12 - (-5)/15. Let q be (-4)/b*(-45)/(-110). Is q > r?
True
Let c = 16.36 - 0.36. Which is smaller: -36 or c?
-36
Let q be 6*(-5)/((-50)/14433). Let i = -128324/15 + q. Let p = 105 - i. Which is smaller: p or 1?
p
Suppose -b - 3*t + 6*t = 12, -5*t + 20 = 2*b. Let h = -2027/13 + 156. Is h equal to b?
False
Let i be (1 - 1)/(8 - 6). Suppose -2*m + 21 - 17 = i. Suppose -2 = -m*r - 16. Is r < -5?
True
Let r be ((-3)/(-2))/(27/(-23244)). Let u = -1256 - r. Let z = 35 - u. Is 2/9 greater than or equal to z?
True
Let s = 0.334 - 23.334. Are 11 and s nonequal?
True
Let t be (4/(32/6))/(-3). Let u = 5.452 + 9.548. Which is smaller: u or t?
t
Let o = 1304 - 1317. Which is smaller: 0.3 or o?
o
Let m be 216/(-60) - 4/10. Let u be ((m - -4)/(-3))/(-1). Suppose u = -2*f + 5*f + 36. Is f equal to -12?
True
Let s = -73 - 15. Let a be s/(-55) + (-2)/(-5). Which is greater: a or 20/7?
20/7
Let p be (-253)/(-3) + (-4)/12. Suppose -3*r - 54 - p = 0. Which is bigger: -47 or r?
r
Suppose -2*u - 5*n = 0, -5*n = 5*u - 0*n. Suppose u = 9*t - 6*t - 5*x - 7, -4*x - 2 = -3*t. Let v = -15 - -11. Is v at least as big as t?
True
Let x = -335 + 335. Which is smaller: 3/379 or x?
x
Let s(m) = -m**2 + m + 4. Let o be s(-3). Let z(x) = 39*x - 39*x - 8 - x**3 - 6*x**2. Let q be z(-6). Is o smaller than q?
False
Let p = -88 + 87. Do 13 and p have the same value?
False
Let n(s) = s**3 - 5*s**2 + 2*s - 5. Let u be n(4). Let c = u + 10. Let q be (-38)/3 + (-2)/c. Is q at most as big as -11?
True
Let g be -3 + 48/4 - 4 - -63. Are 1 and g equal?
False
Suppose -1082 = -52*y + 66*y - 256. Let k = 0 + -1. Are k and y nonequal?
True
Let u = 1877 + -60061/32. Is -0.08 equal to u?
False
Let r(q) = 2*q**3 - 11*q**2 + 12*q - 19. Let k be r(5). Let x = -29 + 44. Which is smaller: k or x?
x
Let p = 15 - 12. Suppose -p*j = -j + 10. Is j > -2?
False
Let t = -4.12 + 4.02. Let r = 1/345 + 133/1725. Do t and r have the same value?
False
Suppose 0 = -5*r + 2*v + 19 + 32, -3*v + 27 = 4*r. Suppose 3*l + 2*b + r = -b, -3*b - 3 = 0. Which is greater: l or -5/7?
-5/7
Suppose 18 = -g - 17*g. Which is greater: g or -11?
g
Suppose -w - 3 + 0 = 0. Let j be w - 4 - (0 - 3). Which is smaller: -3 or j?
j
Suppose 2*x + 15 = 5*t, -3*x + x - 7 = 3*t. Which is bigger: -15/46 or t?
t
Let q = 5.4595 + -0.1095. Which is bigger: q or -1/4?
q
Let l be (-1)/3 + (-1445)/(-4290). Which is smaller: l or -1?
-1
Let p = -15264/2315 - 3/463. Is -7 bigger than p?
False
Let y = -0.0723 + 0.1723. Is y greater than 107?
False
Suppose 3*f = -b + 20, -f = f - 6. Suppose -l + b*l = 10. Which is greater: l or -4/19?
l
Suppose 2*y + 3*y = 0. Let v be (3 + y)/(36/(-24)). Let m = 5 - 6. Is m bigger than v?
True
Let g(v) = -5*v - 43. Let b be g(-10). Suppose -2*q - 2*o - 4 = 0, 6*o - 4*o = q - b. Which is greater: 11/5 or q?
11/5
Let g = 866 - 1291. Do -426 and g have different values?
True
Let l be (-74)/(-12) - 6 - 46/(-12). Suppose 0*a + 655 = -5*a - 2*r, l*r + 262 = -2*a. Is -131 > a?
False
Let i be (8/(-6))/((-4)/6). Let z(k) = k - 1. Let r be z(-3). Let v be ((-4)/21)/(r/18). Which is smaller: i or v?
v
Let q be (-109)/(-2) + (-5)/10. Let z(o) = -6*o. Let p be z(-1). Suppose -2*l = 4*w + p + 6, -5*l - 2*w - q = 0. Is l at most -11?
True
Suppose 0 = -13*k - 2*k + 2*k. Is k equal to -3/166?
False
Let d = 0.53 - 0.13. Let h = 9.6 + d. Let p = 7 - h. Are 2 and p non-equal?
True
Let d be 0 + (2 - -1 - 0). Let b(j) = j**2 - 3*j - 1. Let a be b(d). Is a at most as big as 3/14?
True
Let p = -503971533/530 + 950889. Let n = p - 4/265. Is n < -1?
False
Let n be -4 - 1083/(-181) - (-5 + 7). Is n at most -1?
False
Let u = -854 + 856. Is u >= 439?
False
Let o = -1133 - -1151. Which is smaller: 0.03 or o?
0.03
Let f be 2*(-4)/16*2. Let u be (1/(-30))/(((-1)/4)/f). Which is bigger: 0.4 or u?
0.4
Let f = -800 - -800. Which is smaller: f or 38?
f
Let d be -2407*(6 - (-20)/(-4)). Let s = -358641/149 - d. Which is smaller: -1 or s?
-1
Let x = -10/163 - 216/1793. Suppose 8*d - 3*d - 19 = 2*s, 2*s = 2*d - 4. Suppose 2*k + 10 = 4*j, -s*k + 0*k = -4*j + 13. Is j > x?
True
Suppose -7*p = 8*p + 1500. Are -98 and p nonequal?
True
Let n = 281 + -530. Is n at least as big as -250?
True
Suppose 0 = 5*u - 2*g - 8, -u - 4*g - g + 7 = 0. Let o be (9/4)/((-6)/16). Let w be (((-48)/(-15))/4)/(o/(-25)). Which is smaller: u or w?
u
Suppose 3*k = -5*l + 1, 0*k = 5*l - 5*k + 15. Is 1/70 equal to l?
False
Let v(m) = 56*m - 59. Let s be v(2). Is s <= 49?
False
Let t be (-3)/45 - (-24)/160. Is 0.1 < t?
False
Let f(d) = d + 1. Let j(p) = -p**3 + 10*p**2 + 7*p + 4. Let q(k) = 3*f(k) + j(k). Let x be q(11). Suppose -4*l - 8 = -0*l. Is x bigger than l?
False
Let h(k) = k - 1. Let y be h(3). Suppose -34 = 11*v - 3