Are c and -2 non-equal?
True
Let g(k) = 47*k + 112. Let j be g(-7). Let v be 3/132*j + (-180)/(-36). Suppose -r - 2*a - 5 = 0, -3 + 1 = -5*r - a. Which is smaller: r or v?
v
Let x = -21698 - -21695. Is x less than or equal to 1328?
True
Let p = 1.2993 + 5.7007. Is p smaller than -297?
False
Let k = 154/603 - 317384/10251. Let n = k - -12210/391. Let l be (-48)/(-28) - 16/(-56). Do l and n have the same value?
False
Let w = -17457 - -17946. Is 490 <= w?
False
Let a = -2 - 0. Suppose 5*o - p = -2*p + 625, 0 = -4*o + 2*p + 514. Let g = o + -892/7. Which is smaller: g or a?
a
Let b be ((-1)/3)/((-15)/(450/(-220)) - 7). Is -84/185 bigger than b?
True
Suppose 0 = 14*n - 11*n + 5*f + 4, 12 = 2*n - 4*f. Suppose -n*l - 1420 = -6*l. Which is greater: 354 or l?
l
Let a be 5 - (56/8 + 1*3965/(-1990)). Which is smaller: a or -1?
-1
Let y = 0.123 - 62.123. Let h = 62.1 + y. Let m = -0.6 + 0.1. Which is greater: h or m?
h
Let h(u) = -2*u**2 - 8*u + 15. Let w = -94 - -87. Let x be h(w). Let a = -28 - x. Which is smaller: a or -1/75?
a
Let w = 3/100447 + -252304/5084526693. Is -1 less than or equal to w?
True
Let k = 8033 - 6045. Is k < 1990?
True
Suppose -3*q + 69 = 3*g, -2*g + 3*q + 0 + 56 = 0. Let h be (65/(-3))/(g/(-90)). Is -3 less than h?
True
Suppose -3*j = -m - 18 - 139, 3*m - j = -479. Let a = -162 - m. Which is greater: a or 2?
2
Let v(q) = 7*q**2 - 502*q + 148. Let n be v(71). Is n at least -207?
True
Let t = -25 + 32. Suppose -t*n + 55 = 4*n. Suppose n*a - 18 = 8*a. Which is bigger: a or 2/11?
2/11
Let s = -212901 + 212971. Let y = -181/77 - -27778/385. Which is greater: y or s?
s
Let v be (-3 - -2)/(-4*(-6)/(-24)). Is 54/37 != v?
True
Let q = -221 + 232. Let p be q/(-22)*20/14. Which is greater: 0 or p?
0
Suppose 7*s + 75 = 3*b + 6*s, -75 = -3*b - 5*s. Let u be (-1445)/b + 1/(-5). Let q = 57 + u. Which is smaller: 2/7 or q?
q
Let k be 16/(-24)*78/37948. Let p = -694371/1328180 - k. Let h = -5/28 + p. Which is smaller: h or 0?
h
Suppose -l + 3*r - 26 = 0, 4*l + 4725 = 2*r + 4701. Let y = -682 - -21124/31. Does l = y?
False
Suppose 0 = 183*j + 4608 - 32790. Which is smaller: j or 1680/11?
1680/11
Let r be (-2970)/(-25) + 1024/320. Let u(i) = -28*i + 5. Let j be u(-6). Let s = r - j. Which is greater: s or -50?
-50
Let q be (0 + 1 - 3) + 27. Let y = -34 - -47. Let v(j) = j**3 - 11*j**2 - 25*j + 11. Let g be v(y). Which is bigger: q or g?
q
Let w = 53056447/2876 + -18448. Is w at least -1?
True
Let c be (0 - (4 + 0)) + 8. Let h be (-122)/(-38) - (c - 1). Suppose -8*p = -17*p + 6*p. Which is smaller: h or p?
p
Suppose 5*k = r + 44, 4*k - 8*k = 5*r + 220. Let y = -32 + r. Which is bigger: -75 or y?
-75
Suppose 39 - 15 = 6*l. Let f(n) = 3*n**3 - 13*n**2 - 2*n - 4. Let a be f(l). Do a and -35 have the same value?
False
Let a be (-2)/(-5)*((7 - -470) + 3). Let p = a + -193. Is 7/25 not equal to p?
True
Let c = 0.2 - 0.1. Let i = 12293.11 - 12293. Which is bigger: c or i?
i
Let m = 244.772 - 244.7. Let h = 1.1 - 1.072. Let r = h + m. Which is smaller: 38 or r?
r
Let w = -7465 + 7468. Let z(x) = x**2 - 9*x + 1. Let s be z(9). Let o be s/4 - 49/(-12). Which is greater: w or o?
o
Let p(g) = -3*g**3 - 28*g**2 - 7*g + 16. Let w be p(-9). Let r be (-3)/(-9) - w/12*2. Which is smaller: r or -0.3?
-0.3
Let u = 12541 + -12541.6. Is u equal to -0.42?
False
Let n(q) = q**3 + 6*q**2 - 11*q - 12. Let r be n(-8). Let h be 2/9 + (-940)/18. Is r > h?
False
Let j = 59 - 74.1. Let w = j - -15. Is w at most as big as 6.4?
True
Let n be (-4)/6*((-1980)/80)/(-33). Is -674 at least as big as n?
False
Let j(c) = -32*c**2 - 30*c + 36. Let v be j(4). Are -598 and v unequal?
True
Let v = 12484 + -12739. Is v at least -24?
False
Suppose 0 = -4*z + 2*y - 3760, -24 = 8*y - 12*y. Are -937 and z equal?
True
Suppose 5*j = -4*h - 36, 3*h + 4*j + 24 = h. Let i be 415/(-135) + (-1 - h). Let m = 41/189 + i. Which is greater: -1 or m?
m
Suppose 22*l = -2*x + 19*l + 2357, 0 = 4*x - 2*l - 4754. Which is greater: 1185 or x?
x
Suppose 0 = 105*r - 113*r - 8. Let s be ((-39)/45 + 1)/(416/(-39)). Which is greater: s or r?
s
Let r be (-54)/3 + 24 + -8. Is r != -98/109?
True
Let u(x) = 31*x - 151. Let b be u(6). Suppose 0 = -45*o + b*o - 40. Which is smaller: o or 12?
o
Suppose -21 + 109 = -3*t - 4*z, -5*t - 3*z - 154 = 0. Let x = 968.2 + -968. Which is smaller: t or x?
t
Let c be 218/((((-12)/30)/2)/((-2)/20)). Let q(p) = p**2 - 3*p + 2. Let w be q(-9). Is c > w?
False
Let h be 2/(-4)*((-13)/(130/90) + 11). Let p be ((-2)/12)/((-201)/27). Which is smaller: h or p?
h
Suppose 5 = -t - 3. Let w be (t/1890)/(6*(-3)/10380). Let z = w + -1/81. Is z smaller than 3?
True
Let h be (3/5)/(20/100). Suppose -20 = -h*r + 274. Does r = 99?
False
Let y = 3180 - 66895/21. Which is bigger: -4 or y?
-4
Let o = 10820.1592 + -10820. Are o and -0.3 nonequal?
True
Let j be 206/53 + (-6 - -2). Let o be (12/(-15) - -1)/((-5)/(-25)). Which is bigger: o or j?
o
Let m(p) = p**2 + 10*p + 12. Let u be m(-8). Let s = u + 20. Let w(v) = 26*v + 355. Let t be w(-13). Is t greater than or equal to s?
True
Let z = 276 + -272. Let o be -1*(0 - z) + 10. Which is greater: 15 or o?
15
Let s be 6/(-46)*(-4)/(-6). Let w be (146258/1288)/(-31) + -2 + 5. Let i = w + s. Which is smaller: -2 or i?
-2
Let h be (5155/(-570) + 36/4)*-3. Is h smaller than -8?
False
Suppose 4*j = 5 - 17, -4*o + 2*j = -6. Which is smaller: -5/4 or o?
-5/4
Let i(n) = -21*n**3 - 1303*n**2 + 47*n - 2. Let r be i(-62). Is -6764 smaller than r?
True
Let i = -37 + 18. Let d = 12 + i. Suppose b = 7, -20*b + 10 = 2*t - 120. Which is bigger: t or d?
t
Let a(n) = -302*n - 39. Let y be a(-15). Let l = y + -606314/135. Let x = l + 2/135. Is x equal to 0.01?
False
Let r = 1609.91 - 1284. Let w = -326 + r. Are w and -15 unequal?
True
Let k = -211 - -210.9. Let y = -41 - -29. Is k >= y?
True
Let g = 44427/1295 + 187/259. Let z = g + -185/7. Which is bigger: 8 or z?
z
Let y = 81366 - 568026/7. Is y greater than 219?
True
Let x(z) = -2 - 3 + 6 + 9 + 11*z + 0. Let p be -1*(-4)/6*-3. Let f be x(p). Is -12 <= f?
True
Let b(i) = -40*i + 1. Let k be b(0). Let o = 1.58 - -120.42. Is k bigger than o?
False
Let z = 5.1707 + -2.1707. Which is smaller: 625 or z?
z
Let z(a) = 32*a + 349. Let s be z(-11). Let v be (0 + s)/(-3 + 40/12). Let c be (1/10)/(2/(-156)). Is v bigger than c?
False
Let w = -0.3 + -57.7. Let q = -58.027 - w. Which is smaller: -1 or q?
-1
Let v = -68213 + 682679/10. Is v < 56?
True
Let m(k) = 2*k - 12. Let v be m(7). Suppose -v*y - y - 3 = 4*c, -c - 3*y - 3 = 0. Let a = -165/8 - -21. Is a > c?
True
Suppose r = 5*r - 12. Suppose k + 40 = 4*b, 0 = 4*k + r*b - 8*b + 116. Let q be 33/(-180) - 8/k. Is -1 < q?
True
Let j = 27 + -31. Let x be (-309)/(-9) - j/(-12). Suppose 0 = -5*c + x - 79. Is c equal to -11?
False
Suppose 80*u - 2412 = -238*u - 84*u. Is u >= -3/1930?
True
Let d be (2/8)/(35/(-70)) + 29463/(-14). Is d less than -2105?
False
Let u = 16/117 + -178/351. Let m(t) = 3*t + 4*t**2 - 104 + t**3 + 104. Let d be m(-3). Is u at most d?
True
Let z be 2/(-2)*(-12)/18*-51. Which is smaller: z or -98/3?
z
Let h be (18/90)/((-5)/(-675)). Suppose 649 - 163 = -h*c. Is -20 <= c?
True
Let l = -1.967 + 1.967. Which is smaller: l or 471?
l
Suppose -9291*c - 1521 = -9292*c. Which is greater: c or 7599/5?
c
Let i be 219/(-17) + (585/85 - 7). Let z = -11 - -11. Is i > z?
False
Let y = 0.08 - -0.92. Let x(c) = c**3 - 6*c**2 + 5*c - 25. Let q be x(6). Let t be ((-6)/q)/(5/150). Is t > y?
False
Let b(k) = k**2 + 41*k + 1. Let y be b(-41). Let c be (-1)/(-2) + (-4730)/9500. Is c < y?
True
Let a = -17983 + 21865. Which is bigger: a or 3881?
a
Let g be -4 + (5/20 - 112874/(-30104)). Are g and 1 equal?
False
Suppose 163*k - 76208 = 82883 - 7338. Which is greater: 932 or k?
932
Let s = -90 - -105. Suppose s*a + 2 = 14*a. Suppose 5 = -4*m + 2*g - 3*g, -3*g = 2*m - 5. Is a > m?
False
Let b = 253 - -613. Let y be (b/24)/(6/18). Let v = y + -875/8. Is v not equal to 1?
True
Let w = -5.29 + 8.23. Let s = w + -7.94. Is s less than or equal to -3?
True
Let s(h) = -h**3 + 2*h**2 + 4*h - 1. Let r be s(3). Suppose -4*f + r = 18. Let x be (18/15)/(2/(-5)). Is f < x?
True
Let l be (1 + -4)*-1 + -18. Let d be -1 - (88/l + (-12)/90). Suppose q - d*q = -n + 5, 3*q + 1 = -2*n. Which is smaller: n or 3/14?
3