Are 3 and m unequal?
True
Let p(f) = 36*f**2 + 2*f - 14. Let z be p(-4). Suppose -10*i - z = -8*i. Let a = i + 13018/47. Is a at most as big as -1?
False
Let i = 24.9 + -25. Let v = 1393.1 - 1497.1. Does v = i?
False
Suppose -v - 3*x = 0, -4*v + 3*x = -6*v + 12. Let r be 11/(198/v) - (-316)/3. Let h = -105 + r. Which is bigger: h or -4/15?
h
Let z be ((-75)/12900)/((-2)/112*106). Which is smaller: 0 or z?
0
Suppose 0 = -3*c + 6*i - 9*i - 15, 25 = 3*c - 5*i. Suppose -2*f - 7 = -3*r + 3, c = -r + 4*f. Suppose -r*x + 1 = 273. Which is smaller: x or -67?
x
Let m = -208 - -199. Let c be (-15)/m*(-14)/(-60). Which is smaller: c or 1?
c
Let m = 2420 - 2422. Is -62/75 greater than or equal to m?
True
Suppose -13*g + 4 = -15*g. Let c(y) = 2*y + 8. Let w be c(g). Suppose w*q = q. Are q and -1 unequal?
True
Suppose 167*t - 63371 - 25770 = 51640. Is t != 843?
False
Let v = 1185.64 - 1186. Which is smaller: 0.4 or v?
v
Let s be ((1092/62307)/(-26))/(2/8). Is 1 > s?
True
Let s be -6 + (-2504)/5 - (-13)/(-65). Which is smaller: s or -511?
-511
Let y = -245277 + 944071165/3849. Which is smaller: -1 or y?
-1
Let f = 3312 + -10009/3. Which is smaller: f or -23?
f
Let w = 222.84 + -170.3. Let y = -0.54 + w. Let v = y + -51.87. Which is bigger: 0.2 or v?
0.2
Suppose 0 = -3*a - g + 20, -2*a - 2*g = -7*a + 26. Let y be ((-15)/a)/(1/(-6)). Let v = -32 + 46. Which is smaller: v or y?
v
Let b(c) = -c**2 + 50*c - 226. Let t be b(5). Which is bigger: 2/4049 or t?
2/4049
Let j = -30 + -7. Let f(o) = -2*o - 10. Let n be f(9). Let p = n - j. Which is smaller: 8 or p?
8
Let f = -88.126 - -87.967. Let u = 2.01 - 0.01. Which is smaller: u or f?
f
Let y = 231 + -234. Let m be y + (-5 - -6) - 60. Which is smaller: -64 or m?
-64
Let a = -13 + -13. Let s(m) = -m**3 + 10*m**2 - 12*m - 18. Let r be s(8). Suppose -3*o - r = 5*n, 0 = -4*n - 16. Are o and a unequal?
True
Suppose 0 = -2*l - 4*x + 2, 9*l - x = 5*l + 13. Suppose 3*d - 2*f + 1 = 0, l*d + 5*f + 9 = 1. Which is smaller: -8/5 or d?
-8/5
Let k = -5163 + 5120. Is k at most -91?
False
Let q = -829 + 1189. Let f be (206/(-625))/(459/q). Let h = f - -14/51. Is h bigger than -1?
True
Let p be (8/(-590))/((-190732)/410). Is p greater than or equal to 1?
False
Let r be -9 + 1/(-4)*(1 - 13). Let z be ((-9)/r)/(3/(-66)). Let h be (-1)/((-6)/4 + z/(-24)). Which is greater: 11 or h?
11
Suppose 0 = 2*x + 5*c - 3*c - 452, 901 = 4*x + c. Let o = -225 + x. Which is bigger: 7/57 or o?
7/57
Let f = 0.037 + 0.823. Let n = 0.14 - f. Which is smaller: n or -0.3?
n
Let k be (-6)/(-7) + 1776/(-14). Let y = -626/5 - k. Which is greater: y or -0.5?
y
Suppose 0 = 733*p - 797*p - 25600. Which is smaller: -386 or p?
p
Suppose -33 = -4*c + 27. Suppose -g + 5*t - 12 = t, 4*g = 5*t - c. Suppose -2*x + 2*r + 4 = g, -5 = -x + 2*r - 1. Is x bigger than -3/16?
True
Let n = 79 - 79. Let h be 3 + 2/(-29)*332/8. Which is greater: h or n?
h
Let w = -34 + 39. Suppose 4*n - 6*n - 2781 = -w*u, 0 = -n - 3. Let k be 117*(-10)/u - (-4)/2. Which is smaller: k or -1?
-1
Let n = -1 + 0. Let w be 4*-1 - 1*(-161)/45. Let i = w - -59/225. Which is smaller: i or n?
n
Let a(c) = 3*c**2 + 6*c - 9. Let q be a(-9). Suppose k = 7*k - q. Suppose -5*s = 5*w - k, s + 2 - 4 = -5*w. Which is smaller: s or 9?
s
Let t = -94 + 56. Let v = t + 38. Suppose -3*p + 15 = v, 7*a - 5*p + 19 = 4*a. Is a at most as big as -14?
False
Let i = -156809/9435060 + -3/19780. Is -1 greater than i?
False
Let b(n) = 3633*n**3 + n**2 - 6*n + 6. Let w be b(1). Let c = -1188319/327 + w. Is -1 smaller than c?
True
Let x = -4539 + 4305. Are 2/9 and x non-equal?
True
Let i be (26/(-18))/(10/(-15)). Let y = 109/42 - i. Let r = -0.08 + 0.18. Which is smaller: y or r?
r
Let l be -6*(6 + (-183)/9). Let f be -2*(l + 9 + -6). Is f equal to -1/2?
False
Let c = -3353 + 3352.8. Let r = -196.5 - -182.49. Let l = r + 0.01. Is c < l?
False
Suppose 0 = n + 3, -7*r - 3*n = -2*r + 14954. Is r <= -2989?
True
Let d = 8253 + -91158/11. Is d < -34?
True
Let i = 18777461/108 - 173864. Which is smaller: i or 2?
i
Let v = 13 + -11. Let a(s) = 0*s**3 + s**3 + 9 + 13*s**v + 432*s - 431*s. Let i be a(-13). Do -4 and i have the same value?
True
Let j = 71 + -157. Let k be (396/(-14) - 0) + 22/77. Let r = k - j. Is r equal to 57?
False
Let o(l) = 19*l - 13. Suppose -110 = -242*p + 232*p. Let t be o(p). Which is smaller: 195 or t?
195
Suppose 5*f + 201 = -24. Let y = f + 119. Let j = y - 220/3. Does j = 0?
False
Let b = -1504 - -13550/9. Let u = -0.118025 - -0.318025. Which is smaller: b or u?
u
Let m = 18317 + -17179. Is m smaller than -1?
False
Let i be 94/(-1652) + (-118)/(-413). Which is greater: i or -1?
i
Let s(w) = w**2 - 4*w + 14. Let c be s(7). Suppose -c = 3*j - 10*j. Let o = 230078/42185 + 2/3835. Is j equal to o?
False
Let g be (15/6)/((-16)/(-736)). Let v = 1952/17 - g. Which is greater: 1/26 or v?
1/26
Let k = 4492671 + -116833889/26. Let z = 940 + k. Which is smaller: z or 0?
z
Suppose 23 - 19 = 4*c. Let g be -20 + 1490/86 - 6/(-2). Is c at most as big as g?
False
Let p(u) = -8*u**2 + 85*u - 51. Let k be p(10). Is k > -5/163?
False
Let t be ((-176)/(-704))/(0 - -1). Are t and -1784 equal?
False
Let c = -41 - -37.44. Let u = c + 0.76. Let t = -2.7 - u. Are -3.1 and t non-equal?
True
Let x be (16/(-4))/(4/26). Let r = -26 - x. Let z be 4 + (-520)/265 + -2*1. Which is smaller: r or z?
r
Let f = 0.96 - -165.04. Let z = -164 + f. Is z != -23?
True
Let i be 2*5*2*(-12)/(-80). Suppose 2*g - 3*u - 2*u = -16, 3 = g + i*u. Let k be g - (-2 - (-92)/(-2)) - -1. Which is bigger: 47 or k?
47
Let q be -2*1047/(-36) + -2. Let w = q + -170/3. Which is greater: w or -58?
w
Suppose -7*q + 2*q + 30 = 0. Let i(c) = -c + 1. Let l be i(-6). Suppose q*u + l = -u. Which is smaller: u or -2/101?
u
Let t(w) = -20*w. Let s(z) = -z**2 + z + 1. Let i be s(2). Let k be t(i). Suppose 4*h + a - k = 0, -2*h + 4*a - 8 = -0*h. Which is bigger: h or 0?
h
Let j = -60.5 + 73. Let m = j - 12.3. Is m equal to 0.2?
True
Let h be (15/9)/((-2)/4). Suppose -4*q + 5*k + 37 = 0, 6429 = -3*q - 2*k + 6405. Which is smaller: h or q?
h
Let d = -688.21 + 688. Let o = d + 0.41. Is o != -1.71?
True
Suppose 131*r - 128*r - 114 = 51. Which is smaller: -13 or r?
-13
Suppose -y + 21*y = 7*y - 98995. Which is smaller: y or -7616?
-7616
Let x be ((-2 - -1) + -110)*42/1512*-348. Is 1070 at most x?
True
Suppose 3*x - 420 = 3*u, 0 = 2*x + 6*u - 3*u - 270. Let v be ((-58)/(-4))/(23/x). Are 90 and v equal?
False
Let d = -3071/311311 - 3/1001. Which is smaller: d or -1?
-1
Let n be (14/(-2328))/((-14)/(-56))*3/10. Which is greater: n or 0?
0
Suppose 4*z - 2*t = 4, -2*z - 4*t = -0*z - 22. Suppose j = 2*n + 36, -96 = -3*j + z*n - n. Let a be 32/28*(-1575)/(-60). Are a and j equal?
True
Let x(y) = 4*y - 11. Let u be x(10). Let t = 35 - u. Suppose 7*v - t*v + 2 = 0. Which is greater: v or 9?
9
Let h = -5828 - -5878. Which is smaller: 0 or h?
0
Let x(o) = -o**2 + 3*o + 10. Suppose 3*i + 4*g - 24 = 0, -27 = -2*i - 3*g - 10. Let l be x(i). Which is greater: l or 51/10?
l
Let f(m) = -m**3 + 9*m**2 + 24*m - 16. Let u be f(11). Let p = -11 + u. Let v be 14*(p + (-44)/(-8)). Is -4/7 greater than v?
False
Suppose -3*o = -5*o. Suppose q + q - 6 = o. Let v be 135/(-36)*-2*(-1)/(-5). Is q greater than or equal to v?
True
Let q be 65/(-4 - ((-595)/50 - -8)). Which is greater: -656 or q?
q
Let f = -2/4779 + -4344095/38232. Let b be (-171)/2*4/(-3). Let u = f + b. Is 0 at most as big as u?
True
Suppose -9 = -3*q + 3*n, 3*q - 13 = -n - 0*n. Suppose q*d = -p - 5 + 2, 5*d - 3*p = -8. Let s = 121 + -1571/13. Which is smaller: s or d?
d
Let k = 9 + -9. Let r be (0 + k)*1/(-3). Let u = -23/24 - -581/456. Which is smaller: r or u?
r
Let r be (5/(-135))/((-3420)/(-216)). Is r > 1?
False
Let l = -33.04 + 5.34. Let z = -26.7 - l. Which is greater: z or -0.024?
z
Let i = -161 + 194. Let g be (-2)/(-6) - 44/i. Which is bigger: -20/47 or g?
-20/47
Suppose 11445 = 5*l - w, 3*l - 6832 = -w + 35. Which is bigger: 2290 or l?
2290
Let j = -12.6 + -44.8. Let b = -0.6 + j. Let d = b + 58.15. Which is smaller: d or 1?
d
Let y = 25 - 28.2. Let j = y + 3. Let v = 0.0401 - -0.7599. Is j greater than v?
False
Let w = 51 + 4. Let f be 1/(-6) + w/(-30). Let x be 10/20 - ((-22)/(-8) + f). Which is greater: x or -0.2?
-0.2
Suppose 