650)/940*2) + -7. Are 0 and u equal?
False
Let k = -45.6753 + -0.0247. Let u = k - -40.7. Let c = 0 + 0. Which is greater: u or c?
c
Let d = -152/179 - -92801/108653. Are d and -0.04 non-equal?
True
Let p = -203 + 285. Let b = 10 + p. Which is smaller: 91 or b?
91
Let z(u) = -u**3 + 46*u**2 - 91*u + 1079. Let s be z(44). Is 947 < s?
False
Let i = -277 + 319. Which is smaller: 38 or i?
38
Let u = 4546 + -36747/8. Which is smaller: u or -46?
u
Let k be (-3)/6*-7*-22*(-16)/4312. Is k greater than 17.8?
False
Let r = 101 + -95. Suppose 13 + r = 5*k + 4*q, -3*q = k + 5. Which is bigger: 6 or k?
k
Let i be (30 - 27)*(-212)/(-6). Let j = 115 - i. Suppose 0 = -c - x + 12, -2*c = 3*c - 3*x - 44. Which is smaller: j or c?
j
Suppose -57 + 17 = 10*p. Is -4 greater than p?
False
Let s = -10723/3 - -3548. Are s and 0.2 nonequal?
True
Let k be (-5)/(-1) + -5415*12/(-144). Let l = k - 456. Are -106 and l equal?
False
Let o = -24565606156/6269059 + -67971/27617. Let s = o - -3921. Which is smaller: 0 or s?
s
Let d = -419992 + 419992. Let b = 51 + -34. Let z = b + -10. Is d greater than or equal to z?
False
Let b = 479 - 1436/3. Which is bigger: -20 or b?
b
Suppose -5*u = -2*v - 27, -u + 0*u = -4*v - 9. Which is greater: -1/218 or v?
-1/218
Let t be 2/(-4 - -5) + (-4)/(-2). Suppose -t*r = -3*j - 0 + 8, 2*r = -2*j + 10. Is -1/75 >= r?
False
Let v(i) = -29*i + 3. Let t = 296 - 292. Let j be v(t). Which is smaller: -114 or j?
-114
Suppose -3*k + 17*j = 15217, -15*k - 10103 = -13*k - 3*j. Which is greater: -5046 or k?
k
Let v be (-6532)/(-5445) + (10 - (-1848)/(-165)). Is -1 < v?
True
Let z = 62 - 97. Let t = 477 + -341. Suppose -156*w = -152*w + t. Is w > z?
True
Let l = -2/251 + -239/1506. Is -1 smaller than l?
True
Let m = -1363/11 - -124. Suppose 49 = -6*p + 157. Let a = p - 18. Do a and m have different values?
True
Let t = -354.465 - -355. Let j = -0.275 + t. Let c = -2 + 1. Is j greater than or equal to c?
True
Let t = -7.86 - -7.7598. Let w = 11.1002 + t. Is w greater than 0.09?
True
Let d = 27.81 + 0.19. Let o = d - 46. Let b = 23 + o. Which is bigger: b or -7?
b
Let v = -211 + 139. Let p = 0.014 + -74.014. Let n = v - p. Is -0.3 smaller than n?
True
Let n = -8.138 + 7.138. Is n < -1327?
False
Suppose -56*m - 384845 + 104565 = 0. Are -5006 and m equal?
False
Let v = -27 - 14. Let q = 38 + v. Let c be q/(-6) + (-3)/(-6)*5. Is -2/3 at most as big as c?
True
Let f = -499 + 746. Let u = -427 + f. Is u at least 2?
False
Let t(b) = b**3 - 25*b**2 + 102*b - 40. Let l be t(20). Let s = -9265/23 + 403. Is l smaller than s?
True
Suppose -17*x - 14 = -10*x. Let t be (5/((-80)/264))/(x/(-4)). Is t at least -32?
False
Let z = 912 + -472. Let r = z + -455. Which is smaller: 5/3 or r?
r
Suppose -51*a - 3726 = -45*a. Let f = a - -546. Is f != -73?
True
Let a = 4/2851 + 5666/25659. Is 398 at most as big as a?
False
Suppose 0 = -4*z + 12, 2*j - 32 = -3*j - 4*z. Let r be (-392)/12 - j/3. Is r > -34?
False
Let u = -73 - -57. Let w(s) = -s**2 - 17*s - 24. Let f be w(u). Let h be (-2)/f + 77/(-84). Is h != 2/11?
True
Let a = 0.5266 - 0.4766. Are -89 and a nonequal?
True
Let m(g) = -g**3 - 2*g**2 - 5*g - 34. Let b be m(0). Is b at most as big as -23?
True
Suppose -2*t - 3 = 3*d + 1, -4*d = t + 2. Let h(j) = 2*j + 5. Let v be h(d). Let c be 1/v - ((-276)/(-10))/(-2). Is 9 greater than c?
False
Let l = -128953/13 + 9919. Let a(c) = c**2 + 7*c + 8. Let g be a(-6). Let v be (g/10)/(2/4). Which is bigger: l or v?
v
Suppose -654*x - 6 = -660*x. Which is greater: 153/118 or x?
153/118
Let z = 370092 - 141514. Let y be (-94898)/z + (3/7 - 0). Let n = 2/563 - y. Which is smaller: 1 or n?
n
Let y = 8663 - 17325/2. Is y greater than or equal to 31/24?
False
Suppose 0 = -17*y + 18*y - 8. Suppose -149*l + y = -148*l. Which is smaller: l or 10?
l
Let r(l) = -4*l + 47. Let o be r(11). Let i(h) = 3*h**3 - 3*h**2 - 2*h + 4. Let w be i(o). Let a be 2 - (-2 - (-212)/w). Which is smaller: 1 or a?
a
Suppose -4*u - 560 = 2*o, -4*o + 3*u - u = 1150. Let h = -283 - o. Which is greater: h or 32/13?
h
Let l = 189 - 180. Let y be l + 6 + -12 + -48. Is 0.1 at most as big as y?
False
Suppose -262*f = 22737 + 35951. Is f equal to -218?
False
Let w(k) = -20*k - 13. Let h(v) = -29*v - 20. Let u(f) = -5*h(f) + 7*w(f). Let y be u(-2). Are y and 8 nonequal?
True
Let v(y) = -31*y. Let w be v(-1). Let h(c) = -22*c - 6*c**2 - 14360 + c**3 - 29*c + 14348. Let t be h(11). Is t at most as big as w?
False
Suppose 320 = p + 4*p + 5*d, -140 = -2*p - 5*d. Let k = -54 + p. Suppose 4*f - 2*c - k = 0, f + 3*f = 3*c + 9. Is f at most 11/8?
True
Let w = -365956/259267 - 4/15251. Let s(d) = d**3 + 2*d**2 + d. Let j be s(-1). Which is smaller: w or j?
w
Let f be -1*1 - (22968/(-54))/(-22). Let j be 0 + (-1 + -20 - -1). Let n = f - j. Which is smaller: n or 4?
n
Let v be (-1352)/(-468) - 23408/(-396). Let b(r) = 7*r - 1. Let z be b(-7). Let h = 11 - z. Do v and h have the same value?
False
Let d = 1839 + -1840. Which is greater: d or 2/3183?
2/3183
Let s = 115 - -165. Suppose -9*q + s = -19*q. Is q < -24?
True
Let b = -25 - -162. Let s be b/5 - (-12)/(-30). Suppose -4*n - i = s, n + 25 = 4*i - 3. Which is smaller: n or 0.2?
n
Suppose -483*z + 474*z - 2403 = 0. Is -1338/5 < z?
True
Let d(x) = 2*x**3 + 25*x**2 - 4*x + 43. Let h be d(-13). Let b(z) = -12*z - 8. Let j be b(-11). Let m = h + j. Which is smaller: m or 49?
49
Let b = 220 + -400. Let i be 0 - 9/(b/(-8)). Are 140 and i non-equal?
True
Let c = -4338 + 4228. Which is greater: -95 or c?
-95
Let h(d) = 39*d + 745. Let f be h(-19). Is 5/2 less than f?
True
Let s(u) = -7*u**2 - 16. Let t be s(6). Let g = t - -275. Which is bigger: g or 6?
g
Let g(p) = 400*p**2 - 7*p - 11. Let w be g(-2). Let c be (10/(-6) + 2)/((-7)/w). Is c bigger than -75?
False
Suppose -n + 0 - 1 = 0. Let b = 180798 + -180796. Which is smaller: b or n?
n
Let n be ((-3)/(-18)*92)/((280/12)/2). Which is greater: n or 0?
n
Let k(a) = -a**2 - a + 6. Suppose -17*s - 10 = -12*s. Let g(b) = -b**3 - 2*b**2 - 2*b + 1. Let m be g(s). Let o be k(m). Which is smaller: o or -23?
o
Let f = -109 + 314. Let n = 207 - f. Do n and 1/45 have different values?
True
Let l(q) = 1193 - 602 - 3*q - 599. Let y be l(18). Which is greater: y or -61?
-61
Let q be (-119538)/232 - (-3)/12. Is q at least -490?
False
Let t(x) = 2*x + 46. Let z be t(-23). Suppose -4*i + 3*g - 167 = z, 170 = -5*i + 2*g - 6*g. Is i at least as big as -40?
True
Let a be 31 + (-7)/(-42)*18. Are a and 203/6 equal?
False
Let q = 1030 - 13378/13. Which is smaller: q or 1?
q
Let n be (18 + 282/(-15))/(2/(-180)*-2). Is -3 not equal to n?
True
Let k be (-15)/(-3*1/2). Let n be k*((-220)/25)/(-2). Let b = -104 + n. Is -59 >= b?
True
Let b be (10/(-425))/((-68)/1156). Which is bigger: 8829 or b?
8829
Let a be (2 + 312/28)/((-42)/(-7644)). Which is smaller: 2391 or a?
2391
Let q(i) = -41*i + 22. Let h be q(6). Let m be 1*(12 + 4 + -4). Let c be h/m*3/(-10). Which is smaller: 7 or c?
c
Let h be 13/(-52)*24/(-3). Suppose g + 0 = -1, 3 = -2*s - 3*g. Which is greater: h or s?
h
Let q be -18*(-5 + 1)/8. Let m(i) = -2*i**2 + 21*i - 22. Let r be m(q). Suppose f + 6 = r*k - 7, k - 3*f = 11. Is k bigger than 16/5?
False
Let g = 30/857 + -10264/244245. Suppose 0 = 121*q - 658 + 537. Is g smaller than q?
True
Let h = -1838 + 1843. Is 293 < h?
False
Suppose 0*t - t + 9 = -p, -4*t = -2*p - 28. Suppose t*m + 0*a = 3*a + 54, 2*a + 33 = 3*m. Suppose -4*h + m*h + c = 0, 3*c + 20 = 5*h. Is h >= -1/9?
True
Let o = 14 + -28. Let q be 1 - (0 + -1 - 308) - 2. Let h = -309 + q. Is o smaller than h?
True
Let c = 95 - 91. Let k(y) = 2*y - 7. Let l be k(5). Suppose -2*q - o - l = -9, -c*o = 4*q - 16. Is q != -3?
True
Let d = -9149 - -8779. Which is smaller: 7 or d?
d
Let t = 10 + -17. Suppose 2607 = 2*c - 3*o, 0 = -c - 4*c + 2*o + 6490. Let b be c/(-126) - (-4)/14. Are b and t unequal?
True
Let m be 2283/(-1545)*1 + 4*(-3)/(-30). Which is bigger: 0 or m?
0
Let z be 12/20 - ((-12165534)/568485 + 22). Which is greater: z or 0?
0
Suppose -3*r + 10704 = -5*u, 4*u + 5*r - 4*r = -8570. Let m be 1238/u - (-3)/21*4. Which is smaller: m or 0?
m
Suppose -a - x - 44 = 2*x, 0 = x + 2. Let n = a + 40. Let k be ((-16)/(-10) - n) + 156/15. Which is smaller: 8 or k?
8
Let c = 363 - 357. Let s be ((-316)/(-8