equal?
True
Let a = 1 - 1. Let k(c) = 6*c**2 + 31*c - 109. Let j be k(3). Let r be j/(-19)*(-3 + 22/7). Is a bigger than r?
True
Let b = -433195611626123481 + 732967011945164420441/1692. Let s = 21911208362 - b. Let i = -2501/4 + s. Are i and 1 unequal?
True
Let s(q) = 143*q - 1264. Let l be s(13). Is l > 2385/4?
False
Let t = 346.3 - 346.3. Are -1/9019 and t equal?
False
Let m = 5645 + -4417. Are m and 1229 nonequal?
True
Let m = 8 + -5. Let x = 74876/11 - 6807. Which is bigger: m or x?
m
Suppose 0*j = 2*j + 4. Let p be j/(-6) - 102/9. Suppose 0 = -4*z + 2*d - 56, 2*d - 29 = z - 12. Is z at least p?
False
Let a be 519/(-6)*(32/344)/2. Let l = 56657/14061 + a. Is l < 1?
True
Let m(d) = -4*d - 49. Let c be m(-17). Let h(w) = -3*w**2 + 57*w - 28. Let t be h(c). Is t != -30?
True
Let i(z) = -4*z - 2*z**3 - 1 + 0*z**3 + z**3 - 13*z**2 - 1. Let a be i(-13). Let g be -8*(a/45 - 1). Which is smaller: -1 or g?
-1
Let o = 19426/1119 - 10/373. Let h = o + -154/9. Let k = -3766/9 + 418. Which is greater: k or h?
h
Suppose 4*n - 60 = -n. Let d = 4/92759 + -185530/278277. Is n less than or equal to d?
False
Let y = 6 + -13. Let j(s) = s**2 - 226*s - 6. Let u be j(0). Which is smaller: y or u?
y
Let w be (-6 + 1 + 4)/(5/(-745)). Suppose k - 5*g - 57 = -4, -5*g - w = -3*k. Which is bigger: 51 or k?
51
Let i be (4983/385 - 13) + (-796435)/(-175). Is 4552 < i?
False
Let t = 34.23 - 32.23. Which is bigger: 0.73 or t?
t
Let m = -542.7 - -518. Let x = m - -5.7. Which is smaller: 7 or x?
x
Let o be (2/(-6))/((-6)/4). Let m = -865 - -705. Let h = 195 + m. Are h and o unequal?
True
Let h be ((-5)/1)/((-55)/66). Suppose -7*d - 1 = h. Let i be 294/12 - d/(-6)*3. Is i equal to 24?
True
Let g = 20.702 + -20.2. Let w = g - -49.698. Let j = w + -51. Is 1 smaller than j?
False
Let i = 35 + -37. Let o be i/(2/(-7))*24/(-48). Which is bigger: o or -1/2?
-1/2
Let d = -183 - -185.84. Let b = d - -16.56. Which is greater: b or -1?
b
Let s = 134 - 127. Suppose -s*j = -3*j + 12. Let c(h) = -10*h + 1. Let x be c(j). Which is greater: x or -2?
x
Let u = -917485/19 - -96577358/1995. Let m = u - 835/7. Is 3 >= m?
True
Let z = -76.9 + 95.08. Is z < -1?
False
Let i(t) = t**2 + 6*t + 11. Let s be i(-4). Suppose -4*p + 64 = -2*c - s*c, 2*c + 8 = 0. Suppose 4*n = -q - p, 2 = -5*q - 4*n - 5. Does q = -1/8?
False
Suppose 2*c = 2*t - 14, -41 = 3*c + 5*t - 12. Suppose -3*y + 5 = 2*w, y - 2*w - 3*w - 13 = 0. Let i be (1 + y)*(-7)/4. Which is bigger: i or c?
i
Let v be 7/(-4 - ((-14 - -7) + -2)). Is -4.8 > v?
False
Let x(q) be the second derivative of -q**3/6 + q**2/2 + 21*q. Let f be x(-3). Let u be f/10*(-75)/(-5). Which is smaller: u or 0.1?
0.1
Let j = 8 - 2. Let f be (-4)/(-9)*j/20*-2. Let r = 63 - 64. Is r > f?
False
Let k = -72 - -72. Suppose -3*s = f - 20, -2*s + k*s - 4 = 0. Suppose -6*t = -98 + f. Which is greater: 11 or t?
t
Suppose 52*x + 12*x = -8*x - 22*x. Is -7/2298 bigger than x?
False
Let w = -48124 + 7026077/146. Let i = w + 2371/584. Let g be ((-22)/(-10) + -4)/(564/(-940)). Which is smaller: i or g?
g
Suppose -l + 5*t - 178 = 0, 4*l - 8*l - 787 = 5*t. Which is bigger: l or -191?
-191
Let w(h) = h**2 - 1. Let l be w(2). Suppose t = 3*g + 33, l*g = 2*g - 5. Let v be 205/720 - 4/t. Which is smaller: v or -3/2?
-3/2
Suppose -40*p + 13110 = -55*p. Which is greater: -866 or p?
-866
Suppose -3*y + 4*d = -646, -5*y + 2*d = 6*d - 1098. Suppose -365 = -2*c + 73. Are c and y nonequal?
True
Suppose -13*t + 73170 = 32*t + 9*t. Is 2707/2 greater than or equal to t?
False
Suppose 2*o - 3*o = -5*z - 15, 0 = 3*o. Let r be (-1156)/56 + (-3)/(-18)*z. Which is greater: -20 or r?
-20
Let n = 4801 - 4801. Let u be (-4)/197*2/4. Which is greater: n or u?
n
Let g be (18/12)/(6/(-12)). Let h be ((-72)/(9/g))/2. Is 20 greater than or equal to h?
True
Let l be (-24)/(-26)*(-259571)/(-82). Which is greater: l or 2919?
l
Suppose o - 16 = 2*p + 8, -5*o - p + 54 = 0. Which is smaller: o or 5/3?
5/3
Let v = 671829/434 + -1548. Is 0 bigger than v?
True
Let w(j) = -2*j**2 - 10*j + 12. Let c be w(-6). Suppose y - 5*y + 12 = c. Suppose -24 = -3*q - y*o, 3*q + 0*o = 4*o + 24. Which is smaller: q or 2?
2
Suppose -2832 = -4*r + 2*c, -11*c + 8*c = 0. Let a = 659 - r. Which is smaller: -50 or a?
-50
Let t be (5 - -3)*2/6*-3. Let c be 396/t*(-14)/21. Let g be 67*(-2)/(-30) - (c + -30). Which is smaller: g or 0?
0
Suppose 4*j - 36 = 2*o - 104, 3*j = -3*o - 24. Which is smaller: -11 or j?
j
Suppose -i - 2*i + 10 = -2*l, -i = -l - 5. Suppose -90 = 3*x - 4*q + 242, -3*x - q - 307 = i. Is -104 at least as big as x?
True
Let a = -23252 - -22845. Which is smaller: -1 or a?
a
Let i = 93 + -29. Let c = i + -63. Which is greater: 5/11 or c?
c
Let l = -7392040/701 + 10545. Are l and 0 non-equal?
True
Let u = -13 - -13. Let z(o) = o**2 - o - 1. Let v be z(u). Let h be (-5)/5 - (-3)/((-162)/(-46)). Which is greater: v or h?
h
Let d(g) be the second derivative of -g**5/20 + g**4/12 + g**2 + g. Let c be ((-90)/60)/((-6)/(-4))*-3. Let v be d(c). Which is greater: -14 or v?
-14
Let o = -5469/2 + 38275/14. Which is smaller: 6/353 or o?
o
Let k = -3504 - -3503. Which is smaller: 3/1991 or k?
k
Let a = -0.54086 - -0.50086. Let s = -0.41 + 1.2. Is a equal to s?
False
Let g = -108 - -105. Let l = 313 + -317. Which is bigger: l or g?
g
Let k = -46.9 - 156.1. Let z = k + 202.92. Is z equal to -16?
False
Let k = -1124/4977 - -2/553. Let v(h) = -h**2 - 47*h + 22. Let z be v(-47). Suppose 0 = z*x - 19*x - 4*f + 20, 3*x + f = 5. Which is bigger: k or x?
x
Let w be (75/(-56125))/(2/(4/3)). Do w and 0 have different values?
True
Let p = 1.99 + -52.99. Let z = 1155 + -1206.1. Let b = z - p. Is b at most -1?
False
Let r = 34 + -22. Suppose 0 = -4*t - 2*t - r. Let d be (1/t)/(9/2 + 3). Are 0 and d nonequal?
True
Let b = 3139 - 3255. Is b smaller than -117?
False
Suppose -3*n = -7*n + k - 14, -4*n + 3*k = 18. Let c be (-22908)/415*10/n. Which is bigger: 183 or c?
c
Let f = -2.6 - 1.2. Let r = -3.95 - f. Let h = r + 0.11. Is h at least as big as 0?
False
Let b = 701 + -65895/94. Let w be 0*(-6*5/(-15) - 8/8). Which is greater: w or b?
w
Let k = -1097 + 1999. Let z = k - 904.9. Which is bigger: 2/11 or z?
2/11
Suppose 5 = q, -2*b - 38 + 4 = -2*q. Let h = 14 + b. Let y = 467/6 - 78. Which is smaller: h or y?
y
Let u(r) = 100*r + 719. Let a be u(-17). Which is smaller: a or -979?
a
Suppose -j = 78*w - 82*w + 16, 3*j = w - 15. Suppose -1 = -24*l + 23*l, 2*y + w*l + 107 = 0. Is -53 bigger than y?
True
Let f be 0*4/12 - -408. Let v be 4/(-10) + f/255. Is v not equal to 1?
True
Let b be (-54)/(6 - 15)*(-146)/(-20). Let c(p) = 6*p + 285. Let t be c(-40). Are t and b non-equal?
True
Let o = -394 - -391.41. Let i = o - -6.59. Which is smaller: -0.069 or i?
-0.069
Let o = -4 + 5. Let r(p) = -366*p + 1761. Let t be r(5). Is o greater than or equal to t?
True
Let q = -12 - -13. Let t = -2335/202797 + 1/1073. Do t and q have the same value?
False
Let r be 3*152/(-285)*(-125)/4. Which is smaller: 656/13 or r?
r
Let p be (-10 + (-714)/(-72))/(9/27). Which is bigger: p or -4.39?
p
Let d = 13891 + -13916.047. Let i = d - -0.047. Are 0.4 and i equal?
False
Let j be 142/284 + 2/4*-1. Is -54/575 less than j?
True
Let p(o) = 9*o**3 + 4*o**2 - 50*o + 26. Let k(b) = -4*b**3 - b**2 + 24*b - 13. Let z(y) = -5*k(y) - 2*p(y). Let l be z(5). Is l at most as big as 88?
True
Let i(o) = -5*o**2 - 81*o + 72. Let t be i(-17). Is 2/929 smaller than t?
True
Suppose 2*v = 3*o + 10 - 1, 2*o - 2*v = -8. Let d be (-1 - 0 - -9) + 4/4. Suppose 0 = d*x - 3*x. Which is smaller: o or x?
o
Suppose -97*l = 321*l - 149*l + 268*l - 54774. Suppose -232 = -3*k + 71. Is l at most as big as k?
False
Let m(g) be the second derivative of -3*g**3/2 - 21*g**2 - 88*g. Let w be m(8). Is w greater than -114?
False
Suppose 5*i = 15 - 5. Let w(m) = m**2 - 2*m - 2. Let l be w(-1). Let p be l + -3*(-2)/(-14). Which is smaller: i or p?
p
Let j = 3774 + -3746. Which is bigger: -0.61 or j?
j
Suppose 23*v - 40*v - 58 = 41*v. Which is smaller: 1141 or v?
v
Suppose 0 = -4*u + 323 + 445. Suppose y + 35 + 49 = -2*x, -2*y = -5*x - u. Is x at least -40?
True
Suppose 3*j - 38 = -4*o, j + 3*o - 4 = 7. Suppose j*t = 15*t + 15. Which is bigger: t or -73/5?
-73/5
Suppose 13*u = 4*n + 10245, 0 = n - 7*u + 9*u + 2556. Is -25