ame value?
False
Let p = -0.19 + -0.05. Let m = 138 - 17. Let u = -121 + m. Is p <= u?
True
Suppose 5*h + 41 = 2*b, -4*b + 9*b = -h + 35. Suppose 0 = 3*j + 3*l - 7 - 8, -5*j - 2*l = -19. Let m be j/(0 + b - 4). Which is smaller: m or 2/5?
2/5
Suppose 116 = -4*d - 0. Let z = 55838 + -55869. Which is smaller: d or z?
z
Let p(l) = -2*l**3 + 10*l**2 - l - 1. Let n be p(5). Let d be 5*(n/(-129) - 0). Which is bigger: -1 or d?
d
Suppose 39*t = 37*t + 2. Let c be 4/(-20)*(21/7 - t). Does 6/35 = c?
False
Let i = -30.864 - -31. Let j = 1.136 - i. Are 73 and j non-equal?
True
Suppose -2*m = -2, 2*x + 0*m - 103 = -3*m. Let a = x + -25. Let l = -35186 + 35209. Is a bigger than l?
True
Let t be (30 - 140/42)/(4/30). Which is bigger: t or 6?
t
Suppose 3*l - i = 18, 0 = -5*l + i - 0*i + 30. Suppose 5*m - 15 = 4*p, 2*m = 2*p + 4*m - l. Is -3/40 at most p?
True
Let x be (-18)/333 - (-162364)/296*2. Which is smaller: 1096 or x?
1096
Suppose 2*s - 164 = 5*n, -2*n - 105 = n + s. Let l be (288/(-36))/((-4)/n). Which is bigger: l or -67?
-67
Suppose 22 = 24*x - 11 - 15. Which is smaller: 2/13 or x?
2/13
Let n be (1 + -9)*(-3)/6. Suppose 6 = o - n. Suppose -b - 7 = m - 20, -5*m = -3*b - 9. Is b less than o?
True
Suppose -33*w = 859 - 331. Suppose -4*f + 20 = 4. Let t be w/f + 87/(-6). Is t greater than -1?
False
Let l = -2185.1 - -2185. Which is smaller: -8/731 or l?
l
Let l be (-2)/(-14) - 739782/5182051. Which is bigger: -1 or l?
l
Let j(i) = i**3 - 4*i**2 - 3*i + 4. Let k be j(4). Let w(u) = u**2 - 56*u + 383. Let l be w(8). Is l at least as big as k?
True
Let i be 89806718126/(-468) - (-12)/(-72). Let k = i + 191892650. Let a = k - -2047. Is a greater than -1?
True
Let s = -183.1 - -53.1. Which is bigger: s or -3?
-3
Suppose -8683 + 15817 = -6*i. Do i and -1187 have the same value?
False
Let t = 491.385 - 0.385. Let r = t - 491. Is -5 smaller than r?
True
Let l = 4264 - 4272. Let s = -40 + 39.84. Which is bigger: l or s?
s
Let w(q) = q + 1. Let k(d) = 20*d + 2. Let n(t) = k(t) - 3*w(t). Let p be n(5). Let l = -2861019 - -2861102. Which is smaller: p or l?
l
Let t = 0 - 1. Let d = -60.39 + 34.1. Let c = d + 26.1. Is t != c?
True
Let r be (0 + (-1 - -1))/1. Suppose 0 = -p - 2*j - 6, -2*p + 2*j + 11 + 1 = r. Suppose u + 4*x + 0 = 10, -u - 2*x = -p. Which is smaller: u or -5?
u
Let k be ((-9744)/(-80) - 4)/((-1)/(-5)). Is 1179/2 at least as big as k?
True
Let o(i) = i**3 - 41*i**2 + 78*i + 2. Let k be o(39). Suppose -4*r - 440 = -k*t + t, -4*r - 456 = 3*t. Is r at most -111?
True
Let k = 1501/4 + -372. Let o = 7 - 4. Suppose 1 + 5 = o*a. Is a equal to k?
False
Let c = 94 - 219. Let h = -115 - c. Which is bigger: -2 or h?
h
Let m = 6069 - 5746.1. Let b = 295 - m. Let k = -28 - b. Is k at most as big as 7?
True
Let g = -133 - -256. Suppose g = 37*l - 40*l. Is l >= -39?
False
Let x be 34963/(-90) - (-7 - (-585)/81). Let k = 389 + x. Is -0.2 at least k?
False
Let b(o) = -o**3 - 18*o**2 - 18*o - 15. Let j = -46 - -32. Let l be (j/(-21))/1*51/(-2). Let u be b(l). Which is smaller: u or -23?
-23
Let c be (-16)/30 - 2/(-10). Let v be (-42)/(-10176)*-727 - 6/(-2). Let g = v - 30517/18656. Do c and g have different values?
True
Suppose 4*c + 5994 = -1499 - 3091. Are c and -2646 non-equal?
False
Let z be (1 + 6/54)*(483/(-28) + 15)*-34. Let i be 84 - (1 - (-1 - 0)). Is i at most as big as z?
True
Let d = -12.1 - -12. Let s = d + -11.9. Let y = s + 16. Which is smaller: 2/7 or y?
2/7
Let q(p) = -p**2 - 4*p - 2. Let d be q(-3). Let v be ((-2)/d)/(688/(-24)). Is -1 smaller than v?
True
Let b = 240 - 24722/103. Let x be (2/6)/(38/(-114)). Which is smaller: x or b?
x
Let r = -4204.38 + 138.38. Which is bigger: r or -2?
-2
Let b be (-674)/5*(-6 + -9). Let k = b + -188048/93. Is k != 1?
True
Let x = -2851/34 - -1434/17. Which is bigger: 6831 or x?
6831
Let y = -264.41 + 264.63. Let m be 55/21 - (-8)/(-28). Which is bigger: m or y?
m
Let h(j) = -j**2 - 3*j + 16. Let o be h(-5). Let a be o/20*(1 + (-15)/(-9)). Let k(i) = -i**2 + 14*i + 34. Let b be k(16). Is a at least b?
False
Let y(h) = -6*h + 13. Let m be (-2 + -4)*4/(-8). Let p be y(m). Let o be p/((-45)/22) + -3. Which is smaller: o or -2?
-2
Let x(b) = 11*b**3 - 3*b + 2. Let p be x(2). Let n = p + -34. Let d be (-3)/(-15)*(-4)/n. Which is greater: d or 0?
0
Suppose 0 = 4*i - 4*a - 4, 2*i - 4*a + 2 = -i. Let v be -7 - (-228 + 6)/3. Suppose -27*r + 283 - v = 0. Which is smaller: i or r?
i
Suppose -41 = -2*d - 31. Let z(g) = 43*g - 219. Let u be z(d). Which is greater: u or -67/15?
u
Suppose -91*w + 100 = 9. Is w less than or equal to 4/1029?
False
Let o = -835 + 829. Which is smaller: 6/49 or o?
o
Let t = 898.1 - 899.535. Which is smaller: t or -0.4?
t
Let h be ((-2)/(-36))/(28/(-1491)). Let b = -140 + 1125/8. Let y = h + b. Is 2/5 <= y?
False
Let k = 35607 + -1424359/40. Is k bigger than -1?
False
Let n = 98.302 - 98. Let i = n + -0.102. Is -2/9 smaller than i?
True
Let g(j) = 10*j + 23. Let m be g(-3). Let k(p) = 5*p + 40. Let c be k(m). Suppose s = -2*r + 3*s - 8, -c*r - 24 = -s. Which is smaller: -4 or r?
r
Let y be (-654)/9810*(-7 + 1)*-1. Which is bigger: -8/1689 or y?
-8/1689
Let j = 1022.0368 + -0.0368. Is 2/9 at least as big as j?
False
Let y(n) = -2*n**2 - 19*n + 492. Let d be y(34). Which is bigger: -2467 or d?
d
Suppose -3*b - 6 = -2*s, -8 = -8*s + 10*s + 4*b. Suppose s = 24*q - q + 92. Let d = 3 + -8. Are q and d unequal?
True
Let v = 3.5 - 32.5. Let c = v + 26. Let a = 13 + -13. Which is smaller: a or c?
c
Suppose 424*m + 16 = 422*m. Let a be (-3 - 803/(-275))/(m/110). Is a equal to 1?
False
Let i = 2672 + -1899800/711. Which is smaller: i or -2/11?
-2/11
Suppose 0 = -0*z - 9*z + 27. Let n(x) = -x**3 + 8*x**2 - 8*x - 2. Let g(w) = w**2 - w. Let d(b) = 3*g(b) - n(b). Let h be d(z). Which is bigger: 0.2 or h?
0.2
Suppose 0 = 75*m - 26*m + 49. Is 1/1123 equal to m?
False
Let r = -10636 + 10645. Which is bigger: r or 187/20?
187/20
Let g = -860.75 + 961. Let o = -101 + g. Let h = -2.15 - o. Is 5 not equal to h?
True
Suppose -g = -5*q - 46, 3*q - g + 34 = -2*g. Let j be (8/(-26))/((-20)/q). Do j and -2/17 have the same value?
False
Let x = 907 - 1891/2. Let i = -30 - x. Let k = -13/4 + i. Which is smaller: 0.1 or k?
0.1
Let s(r) = -5*r**2 - 19*r + 9. Let q be s(-6). Let x = q - -51. Which is smaller: 2 or x?
x
Let d be 920/60 - (-4)/(-3). Suppose -d*g = -15*g - 2. Let n be 0 + (g - (1 - -1)) + -53. Is n != -58?
True
Let d(q) = 3*q + 6. Let l be d(-4). Let v be (-7)/(-14) + (-57)/6. Is l > v?
True
Suppose n + 21 - 16 = 0. Let v be -290 + 5*(-1)/n. Let p = 1169/4 + v. Is 3 <= p?
True
Let o be (260/(-140)*(-14)/8)/((-5)/(-720)). Is 1/13 smaller than o?
True
Let a(q) = 11*q**2 + 123*q + 24. Let z be a(-11). Suppose z*k = -8, 2*w + 323 = w - 3*k. Which is bigger: w or -310?
-310
Suppose 5*l = 13 - 58. Let h be (-3 - (-48)/9)*l. Let m be ((-4)/50)/(h/(-5) - 4). Which is greater: m or 0.5?
0.5
Let t = 9590 + -9590. Which is greater: t or -7072?
t
Let m = 42183/2 + -41086269/1948. Let q = m - -417381/177268. Let j = 3/13 + q. Is j at most as big as 4?
True
Let c = -164 + 5. Let a = -159 - c. Is 35 > a?
True
Let c(r) = -r**3 - 6*r**2 - r + 23. Let q be c(-5). Which is greater: 294 or q?
294
Let b be 2/(-4)*14*-18. Do 83 and b have different values?
True
Let l = 17 + -10. Let p = 10 - 8. Suppose 1 + p = c. Which is smaller: l or c?
c
Let r(g) = 2*g**3 - 13*g**2 - 24*g + 1. Let t be r(8). Which is smaller: t or -5/844?
-5/844
Let o = -639/5 - -1922/15. Let r = 19 + -19.055. Which is bigger: r or o?
o
Suppose 4*t = 286*i - 284*i - 10, -2*t + 5*i - 25 = 0. Which is smaller: t or 487?
t
Let d be -25 + (-1547)/(-65) + 160/(-200). Let i(t) = -t**2 + 2. Let s(p) = p - 1. Let l be s(-1). Let c be i(l). Is c greater than or equal to d?
True
Let i be (-1116031)/1673421 - (-4)/6*1. Which is smaller: i or 1?
i
Let v be ((-40419)/54)/((-42)/(-12)). Which is greater: v or 0?
0
Let h be (-6)/764*4/2. Let r be 2*5 + 44/(-2) + 12. Is r greater than or equal to h?
True
Let t = -42.83 - 3436.17. Which is greater: -2/5 or t?
-2/5
Let w = -393460 - -110955895/282. Which is smaller: w or 1?
w
Let p be 8 - -7 - (-6)/(-2). Suppose -5*i - 3*a + 34 = 0, -3*a + 4*a = -3*i + 18. Suppose i = -p*x - 127. Which is smaller: x or -10?
x
Let r(w) = 4*w**2 + 82*