3*m - 4*q = -63 + 35, -5*q = -4*m - 36. Is -165 greater than m?
False
Let o = 13877 + -13458. Is 419 bigger than o?
False
Let j = 0.138 - 147.138. Let w = j + 142. Suppose 3*o - 11 = 4. Which is bigger: o or w?
o
Let i = 97.3 - 97. Let j = 59.5 + -5.5. Which is smaller: i or j?
i
Suppose -27 = -s - 2*s + 4*g, 0 = 3*s + 3*g - 6. Suppose s*r = 25, r + 3 = 3*x - x. Let m be x - ((-446)/(-56) - 4). Is m < 0?
False
Let c(z) = -3*z**2 + 146*z - 270. Let a be c(47). Is a at least -31?
False
Let y be 0 + 2 + 268434/(-99). Let t = y - -2714. Which is greater: 4 or t?
t
Let j(a) = 12*a + 47. Let f be -1 + (5 + 13)/(-6). Let y be j(f). Let k be (-4)/10 + (-21)/135. Which is smaller: y or k?
y
Let d be 817/21 - -2 - (9 + -12). Let f = 111688/2541 - d. Are f and 1 unequal?
True
Let m = -32807/5856 - -350/61. Which is smaller: m or -0.1?
-0.1
Let g = 655961/7 + -93709. Let x be 2790/(-8)*(-5)/6. Let f = x - 291. Which is smaller: g or f?
f
Let a = -78 - -388/5. Let t(k) = 3*k**3 - 213*k**2 + 10*k - 692. Let i be t(71). Are i and a unequal?
True
Let o(w) = -w**2 + 3*w + 4. Let x be o(4). Let c be 1/(1450/(-40))*25/(-10). Are x and c unequal?
True
Let x = -3872 - -2439. Let p = x + 1432.9399. Which is smaller: p or 0.1?
p
Let i = -61 - -67. Suppose -5*s - 5*u - 65 = 0, -i*u = -5*s - u - 15. Let w be (-2)/(-5) - 160/25. Is w <= s?
False
Suppose 0 = -26*p - 26*p + 832. Let w be 2*((-24)/p)/3. Which is smaller: -0.46 or w?
w
Let f = -1981208/41 + 48326. Which is smaller: f or 3?
3
Let z = 437507/31 - 14113. Which is smaller: z or 102?
z
Suppose 12*t - 129 = -9. Suppose -5*g = 6*a - 3*a - 22, 2*a - 4*g = 22. Suppose -t*i = -a*i. Is -2/15 < i?
True
Let y be (6/(-33) + (-60)/33)*5848/(-176). Are 67 and y unequal?
True
Let i = 633 - 630. Let u be (1 - 1/i)/(106/(-159)). Are 10/137 and u nonequal?
True
Let c(z) = -z**2 + 16*z - 15. Let k be c(14). Let u = k + 15. Suppose -5*r - 16 = 9, -j + 4*r = -u. Which is bigger: 7 or j?
j
Suppose 0 = 5*m + 5*q + 124 + 381, -m - 2*q - 99 = 0. Let f(h) = h**3 + 9*h**2 - h - 16. Let s be f(-7). Let p = s + m. Which is smaller: p or -12?
p
Let p = -100.57 - -100.34. Do -340 and p have different values?
True
Let b = 107 - 17. Suppose 0 = -2*w - 4*g - b, -w = -4*g + 17 + 34. Which is bigger: w or -48?
w
Let h be (12 - 11) + (-3110)/17. Let g = -182 - h. Let s be (-260 - -260)/(2*(-1 - 0)). Is g less than s?
True
Suppose -4*y = -14*y + 130. Suppose -y*i - 116 = -42*i. Suppose 4*w + 23 = 8*w - 3*l, -2*w - l - 1 = 0. Which is greater: i or w?
i
Suppose -4*n = 5*o - 19, 5*n - 2*n = o. Let b be 18/8 + (1053 - 1055). Is b at most as big as n?
True
Let y(u) = u**2 - 899. Let t be y(30). Do t and 21/278 have the same value?
False
Let y = -0.264 - -15.164. Let g = 1.1 + y. Let b = g + -15.8. Is b greater than -9?
True
Let t = -10877 + 13038. Are 2161 and t unequal?
False
Let t = -2198.43 + 2209. Let l = 0.67 - t. Let c = 3.1 - l. Which is bigger: -1 or c?
c
Let i = 9 - 8.3. Let l = -7.3 - i. Let z be -2 + -5 + 137 + -131. Is l equal to z?
False
Let k(b) = -530*b + 4239. Let j be k(8). Does j = -2/10863?
False
Let x = -34.4161 - -34.4. Let u = x - -0.1161. Which is bigger: u or -10?
u
Suppose 12*l = 9*l + 33. Let q be 38/(((-4)/l)/(-2)). Suppose -5*r + 2*y - 15 = -q, -46 = -r - 2*y. Which is smaller: 39 or r?
39
Let x = -3973 + 3973.1. Which is bigger: 959 or x?
959
Let m(g) = 2*g**3 + 21*g**2 + 52*g + 79. Let n be m(-8). Is -1016/65 <= n?
False
Suppose 0 = 5*z - y - 351995, -5*z + 211180 = -2*z - 4*y. Let o be (-2)/6 - z/(-14421). Let d = -103/23 + o. Which is smaller: d or 0?
0
Let f = -85.16 + 0.16. Let z = f + 40. Let w = z + 53. Which is smaller: -0.2 or w?
-0.2
Suppose 11*m - 69 = 30. Let r be m*(-2)/3 + -212. Is -219 not equal to r?
True
Let x(t) = -2*t**3 - 3*t**2 - 2*t + 1. Let f be x(-2). Let m(y) = -y**3 + 10*y**2 + 2*y - 4. Let b be m(f). Suppose 0 = -6*a + a - b. Is a not equal to -1?
True
Let n = 956 + -1049. Suppose -7*z - 8*z = 1380. Which is smaller: n or z?
n
Let g be ((-172)/(-6))/(6/9). Let b be ((-152)/95)/((-4)/5). Which is smaller: g or b?
b
Let v(q) = -130*q**2 + 504*q - 10. Let b be v(5). Which is bigger: -756 or b?
b
Let a(p) = -p**3 - 14*p**2 - 24*p + 15. Let l be a(-12). Let o(h) = -h**3 + h**2 - 3*h - 3. Let k be o(-2). Is k at least as big as l?
True
Let b = 99 - 99.1. Let o(y) = 3*y**2 - 23*y + 13. Let u be o(9). Let l = u + -32. Is b smaller than l?
True
Let z = 21880/39 - 561. Let y = -5435/9 + 5441/9. Is y < z?
False
Let v be 12127928/13908*-3*(-2)/872 + -6. Are v and 0 unequal?
True
Let s(p) = p**3 - 6*p**2 + 4*p - 83. Let y be s(7). Suppose 2*a - 2 = 2*h, -5*a = -h + 2*h - 11. Let x be (3 + 15/y)/(a/4). Which is greater: x or 10/33?
x
Let z = 742.74 - 742. Let j = -0.4 + 0.6. Is j < z?
True
Let d = -5455.2 + 5449. Which is smaller: 12 or d?
d
Let u(n) = -1. Let x(i) = -321*i - 6. Let q(m) = -6*u(m) + x(m). Let k be q(2). Let b = -39164/61 - k. Is b greater than 0?
False
Suppose 358 = 310*t - 489*t. Is t < -116/147?
True
Let p(i) = -i**3 + 2*i**2 + 4*i - 3. Let x be p(3). Let m be (2*1/(-12))/(112/9912). Let k = m - -15. Which is greater: x or k?
k
Let i be 18/15 - (1914/145 + -17). Suppose -5*v = -5*f + 25, -4*v + f - 3*f = -10. Let l = 1 + v. Which is greater: i or l?
i
Let o(f) = 3*f + 15. Let v be o(5). Let d = -24 + v. Suppose 4*j - 2*a = -d, 5 = -3*a + 2*a. Do -2 and j have different values?
True
Let n = -42 + 120. Let l = -54 + n. Suppose 0 = 5*m + 19 - l. Are 12 and m equal?
False
Let f = 0.491 + -0.37. Let o be -3 + (-124)/(-1953)*21*(-114)/(-56). Is f bigger than o?
True
Let j = -15854 - -15829. Is 77 >= j?
True
Let o = -18.663 + 16.663. Which is smaller: -3596 or o?
-3596
Suppose 2*i - 2281 = -3*k, 3*k - 44*i - 2276 = -45*i. Is -0.2 greater than k?
False
Let n be (-398)/(-30) + 4/10. Let b(k) = 4*k - 5 - 3*k + 28 + 4. Let r be b(-13). Is n not equal to r?
True
Let f be -3 + ((-145)/(-15))/((-4)/(-36)). Let t be (4/276)/(7/f). Suppose a - 3 = -3*w, w + 2*a - 1 + 0 = 0. Which is smaller: t or w?
t
Let y = 113 + -111. Suppose -2*u - 47 = y*u - 3*p, -55 = 5*u - 3*p. Suppose -5*z - 2*o - 29 = 13, 0 = -4*z + 3*o - 52. Which is smaller: u or z?
z
Suppose -33105 = -26*n + 41*n. Is n not equal to -2206?
True
Suppose 1284 = -4*x + d, -d = -9*x + 7*x - 642. Is x <= -332?
False
Let h = -7.3 + 13.3. Let f = h + -6.208. Let k = -0.012 + f. Is k equal to 2?
False
Let m be (-1)/(((-88)/16)/11). Let r be m/(-21)*2*56/48. Is 79 less than r?
False
Let q(s) = 11*s + 3771. Let j be q(-28). Which is greater: 3461 or j?
j
Let k be 2/(-68)*(-642)/(-5). Let n = -2/2311 - -6967/39287. Let r = n + k. Which is bigger: r or -5?
r
Suppose -774*n + 12 = -772*n, 0 = -q + 2*n - 747. Is -736 at most q?
True
Let l be -2*(-78)/4*161/(-69). Let z = -1222 - -1223. Do l and z have the same value?
False
Let c = 16/44261 + -487804/82199. Which is smaller: c or -6?
-6
Let c = -1739/3 + 581. Let y = -6.54 - -6. Let t = y - -0.5. Do t and c have different values?
True
Let s = 25867679/712 - 36331. Is s != -1?
True
Let b = 1977 + -1977. Which is bigger: b or -9/503?
b
Let z be 26/(-117) - ((-33)/27 + -2). Suppose -s + 0*s + z*v = 50, -s - 47 = -4*v. Which is smaller: -57 or s?
s
Let s be ((11 + -12)/(-4))/(2 + 1500/(-752)). Which is smaller: s or 385/8?
s
Suppose 217*w - 278*w = 122. Is w at least 21/2?
False
Suppose -4*f - 4*y = -3 + 11, 10 = f - 2*y. Suppose 0 = f*q - o + 4, -5 = -q + 5*o - 16. Is -100 bigger than q?
False
Let a = -1711 - -1711.9874. Let y = a - -0.0126. Let j = -48.08 + 1.08. Do j and y have different values?
True
Suppose 13*y - 7*y = -2016. Let w = y + 336. Are -7 and w equal?
False
Let m = -5 - -11. Suppose b - j = 6*b, j = b + m. Let s be 4/b - (-2)/((-28)/46). Is s equal to -8?
False
Let c = 3878 + -89193/23. Is -1 not equal to c?
True
Let w be 5 + (-3)/(-14)*2552/(-132). Which is greater: 9.88 or w?
9.88
Let i be ((-18)/(-10))/((-39)/(-4810)). Let k = 447 - i. Do k and 226 have different values?
True
Suppose 3*y + 73 = 70. Let k be (y*(-201)/(-6))/((-2)/12). Let x be (k/9 + -8)/(2/6). Does x = 1?
False
Suppose 0 = 63*y - 16017 + 55329. Let m = y + 623. Is -6/131 equal to m?
False
Let q(s) = -238*s - 1665. Let v be q(-7). Which is greater: v or -10/359?
v
Let z be 22/33 + (-2959768)/(-62). Let s = z - 47738. Let x 