1 and t unequal?
True
Let j = -154537 - -154559. Let x = -3581/6 - -618. Which is smaller: x or j?
x
Let o be 128/(-5*8/(-20)). Let l be o/(-36)*(-2)/8. Let k = -420 + 421. Is k greater than or equal to l?
True
Let q(f) = -61*f - 32. Let d be q(-4). Let h = -203 + d. Is 9 <= h?
True
Let j = 1.24 + 52.76. Let i = 56 - j. Let m be ((-1)/6)/((-3)/96). Is i greater than or equal to m?
False
Let j = -17128 - -119503/7. Is j != -55?
True
Let y be (4840/64)/(-5) - -3. Let b = 755/24 + y. Which is greater: 1/5 or b?
b
Let q = -3725/18 - -221723/1071. Which is smaller: q or 0?
0
Let y be 8*1 - (31 + -3 + -14)/2. Are y and 26/1249 equal?
False
Let r be (-3283705)/1185525 - (-6)/(-11). Let h = r - -149/45. Is h less than 0?
True
Let y = -6302 + 6303. Is 11633 != y?
True
Let v be 12/(-27) - 166377/4185. Let x = -46782/5 + 9405. Let u = v + x. Which is greater: 9 or u?
9
Let u = -1.0955 + 0.5955. Is u at most as big as -329?
False
Let y = 0.0347 + 0.1653. Which is smaller: y or 14/23?
y
Suppose 0 = -5*q - 3 + 13. Suppose -5*u - 92 = -4*b - 3*u, -q*b + 38 = -5*u. Let z be ((-1)/(-4))/(52/b). Is -1 greater than z?
False
Suppose l + 7 = -3*v, -l = 15*v - 11*v + 10. Let t be (-48)/(-20) + 2/(-5). Suppose -2*h - l*h = -t*h. Is h equal to 1/77?
False
Suppose 3*a = -4*h + 245, -3*h + 153 = -2*a - 52. Let v = h - 71. Let n be ((-1 - 0) + (-9)/v)*0. Do n and -34 have the same value?
False
Let b = -174 - -262. Let u = b + -156. Let s = -96 - u. Is s not equal to 2?
True
Let r(t) = 136*t**2 + 818*t + 11. Let v be r(-6). Is -48/799 at least as big as v?
True
Suppose -15*q + 14*q - 3 = 0, 3*b + 6 = -4*q. Suppose -5*d + 47 = -2*j, b*d - 5*j + 6*j - 26 = 0. Does d = 77/8?
False
Suppose 4*c = 5*j + 972, -35*c = j - 31*c + 180. Let r be 12848/j - 1/12. Which is smaller: r or -61?
r
Let y be 22/2 + 156 + 8. Suppose 708 = 4*a - 0*a. Is a <= y?
False
Let k(s) = -4*s**2 - s - 11. Let n be k(0). Let d be (n/((-44)/(-8)))/(-5). Let w = 8.7 - 9. Is w != d?
True
Let d = 50 + -123. Suppose 0 = -24*m + 21*m + 483. Suppose -u - 369 = 5*z, m + 220 = -5*z - 4*u. Is z bigger than d?
False
Let y = -31 - -30.911. Let r = -0.09 - y. Let a = r - -0.101. Which is smaller: a or 0.06?
0.06
Let f = 5 - 11. Suppose 63*w - 192 = 39*w. Let i = w - f. Is 29/2 <= i?
False
Let v = -4191.1356 - -4191. Which is greater: -7/5 or v?
v
Let r(f) = 2*f**3 + 11*f**2 + 6*f + 5. Suppose -3*y = m + m, y - 3*m - 11 = 0. Suppose p + 10 = z, -20 = y*z - 6*z. Let v be r(p). Is -1 equal to v?
False
Let f be (-2 - (-51)/18)*16/14380. Is f not equal to -1?
True
Let d = 24191 + -38830. Which is smaller: d or -14638?
d
Let z = 709/364 - -25/52. Let y = z - 191/70. Suppose 8 = 4*m - t, t + 5 = 5*m - 4. Which is greater: y or m?
m
Suppose -2*p + 112 = 5*g, 3*p = -p + 3*g + 224. Suppose -p = -7*r - r. Let w be (11 - r) + (-3)/1. Is -1 at most w?
True
Suppose 4*j + 3 + 16 = k, 4*j + 24 = -4*k. Let i(t) = -3*t - 2. Let g be i(2). Let l be -6*-3*4/g. Which is smaller: j or l?
l
Let r = -5443 - -5442.963. Which is greater: r or -28?
r
Let z = -398.9 + 415.9. Is -4 less than z?
True
Suppose -51*p - 7 = -58*p. Let y be p*(-4)/(-156)*-1. Let j = 29 - 29. Which is smaller: y or j?
y
Suppose 888*c - 12 = 886*c. Let q be (-495)/110*284/c. Are -213 and q non-equal?
False
Let r = -1708 - -1707.94. Is r greater than or equal to 66/5?
False
Let d = 147 - 144. Suppose 92 = -2*c - s, 4*c = d*s - 0*s - 184. Is c at most as big as -46?
True
Suppose -103*w - 22422 - 354661 = 0. Which is smaller: w or -3660?
w
Suppose 13*n - 4*n = -10*n. Which is smaller: n or 5/1329?
n
Suppose -40*u + 39*u + 2 = 0. Suppose z - 2*p = p + 7, -p = u. Which is smaller: 0.4 or z?
0.4
Let d be 1*-1 + 0 + -4 + 20 + -14. Which is smaller: d or -19/123?
-19/123
Suppose t - 178 = -2*s, -4*s - 5*t = -0*s - 344. Let n(a) = -4*a**3 + 72*a**2 + 2*a + 56. Let o be n(18). Is o > s?
True
Let r(o) = 44*o + 119. Let j be r(-4). Let m(w) = -2*w**2 - 9*w + 1. Let l be m(-8). Which is greater: l or j?
l
Suppose 0 = -4*n - 28, 67*b + 12314 = 62*b - 2*n. Is -2457 <= b?
False
Let m = 6 + -6.18. Let d = m + -0.92. Let z be (-46)/(-35) + (-232)/145. Which is smaller: d or z?
d
Let c(v) = -v + 60. Let l be c(7). Suppose 3*r = -3*o + 20 + 37, -2*r = 5*o - l. Which is smaller: -2/13 or r?
-2/13
Let g = 184 - 181. Let c be (g/104)/((27/6)/3). Suppose 0*t = 3*t - 3. Are c and t non-equal?
True
Suppose 1377 + 749 = 608*p - 914. Which is smaller: 292/47 or p?
p
Suppose 5*h + 3*n + 5477 = 6*n, -5*n + 5475 = -5*h. Which is smaller: -1097 or h?
-1097
Let z(l) = -327*l - 7868. Let k be z(4). Which is greater: k or -9174?
-9174
Let w(i) = -5*i**2 - 69*i - 2. Let q be w(-14). Are q and -14 non-equal?
True
Suppose 2*p + 164 = -3*j, -2*p - 3*j - 156 = -4*j. Suppose 153 = 2*o - r, 5*o - 4*r = 293 + 91. Let x = p + o. Is -16/5 <= x?
True
Let r = -26041/7348 - 1/668. Is -5 at least r?
False
Suppose 98*u + 4*i = 99*u + 15, 6 = -2*u + 2*i. Is u equal to -3/4960?
False
Let x = 446130/53 - 8418. Let d = 8803/106 - x. Let m = 81 - d. Is -1 at least m?
True
Suppose -r + 3*p = 1491, -5*r - 3493 = p + 3930. Let x = -8875/6 - r. Which is smaller: x or 0.1?
0.1
Let d = -1326/7 + 54363/287. Is 1 less than or equal to d?
False
Let n(j) = 28*j - 28. Let r be n(-9). Let z = 1398/5 + r. Is z at most as big as 1.27?
True
Let p be (-3)/((20/(-8))/5). Let v be (17 + -1)/((-18)/p). Let u(r) = r**3 + 12*r**2 - 6. Let j be u(-12). Do v and j have the same value?
False
Let d = 237 + -98. Let m = -141 + d. Which is smaller: m or -33/2?
-33/2
Let v be -1*((-64)/8 - -192). Which is bigger: v or -182?
-182
Let b = 47037 - 47036.93. Suppose 0*u + 3 = p + 5*u, -4*u = -2*p - 22. Which is bigger: b or p?
b
Let z(w) = 14*w - 168. Let o be z(12). Let d be (4 + (-76)/20)*o. Let r be -2 - ((-399)/100 - -2). Is r greater than d?
False
Let y be (27/(-5))/((-33)/330*2). Do y and 16 have different values?
True
Let x be ((-6)/(-21))/((-128)/448)*(1060 + 0). Is x at most -1060?
True
Suppose 20 = 4*w - 5*v - 0, v = -4*w - 4. Which is bigger: w or -19/109?
w
Suppose -328*j - 3 = k - 329*j, -4*k = 2*j - 6. Is -3/6490 bigger than k?
False
Let k(f) = f**2 - 16*f + 29. Let b be k(2). Is b bigger than -1/3211?
True
Let t = 749616/13 + -57696. Let k = t + 34. Which is smaller: 2 or k?
k
Suppose 2*c = -4*s - 6, 5*c + 2*s - 37 = 5*s. Suppose 5*j - 32 = h + 18, 50 = c*j + 5*h. Suppose -r + j = -0*r. Which is bigger: r or -0.1?
r
Let p = -221 + 425. Let b = p - 24275/119. Are 1 and b non-equal?
True
Let n be ((-16842)/884)/7 - -1. Let o = 9941/13 - 763. Let y = o + n. Which is smaller: 0 or y?
y
Suppose 66*j - 70*j - 1192 = 0. Let t be (j - -1)*55/(-165). Which is smaller: 195/2 or t?
195/2
Let m(g) be the first derivative of g**3/3 + 27*g**2/2 + 26*g - 29. Let s be m(-26). Let r be (-4)/(-9)*3*(s - -1). Are 2 and r unequal?
True
Let m = 361.92962 + 0.07038. Is m bigger than 1/7?
True
Let q(j) = -2*j - 6*j**3 + 5*j**3 - 6*j**2 + 4*j - 3*j + 21. Let s be q(-5). Is 1/10 smaller than s?
True
Let p(b) = 7*b - 9*b**2 + b**2 + 0*b**3 + b**3. Let n(l) = -14*l + 7. Let m be n(0). Let q be p(m). Is -4/25 greater than or equal to q?
False
Let w(c) = c**2 + 14*c - 4 - 11*c - 3*c. Let h be w(-5). Suppose 2*n + h = 3*d, -5*d - 15 = 6*n - n. Is -6 at least as big as n?
True
Let k = 9304 + -9430. Which is greater: -2/47 or k?
-2/47
Suppose -3*b = 2*y + 5, 76*y = -5*b + 77*y - 17. Let s be (-6 + 0 + 5)*48 + b. Is -59 at least as big as s?
False
Let d(i) = 3*i**2 - 163*i + 4219. Let g be d(0). Which is smaller: 4220 or g?
g
Let a be 10/((-2280)/(-6129)) - (-2 - (-45)/20). Which is smaller: a or 26?
26
Let h be 2/6 + 4/(-6). Suppose -5*x - 12 - 29 = -36. Is x less than h?
True
Suppose 5 = -5*v + 4*v, -349 = -4*j - 3*v. Suppose -2*y = -p - 684 + 510, -y + 112 = 2*p. Which is bigger: j or y?
y
Let d(o) = -3*o**2 + 6*o + 2. Let h be d(-8). Let x be (-12)/66 + h/22. Let c = -10 - x. Is c > 2/73?
True
Suppose -34*u + 8851 = 103*u + 42827. Is 5 != u?
True
Let w = -346 + 345. Let v be w/(120/(-63)) - 46/368. Let x = -49 + 19. Which is smaller: x or v?
x
Let b = 952 - 951.93. Let r = -13 + 33. Let q = -23 + r. Is q greater than b?
False
Let c = -5625 - -4749. Is c less than or equal to -871?
True
Let j = -8618 - -8639. Which is smaller: 7 or j?
7
Suppose 0*b = -b - 61. Let 