 Let j be (-3 - -2)*(-572 + -1). Let u = j - 2874/5. Are u and l unequal?
True
Let i = 11802 - 11872.47. Which is smaller: 0.1 or i?
i
Let u = -32 + 79. Let c(a) = -3958*a + 7965. Let y be c(2). Which is smaller: u or y?
u
Suppose -h - 129 = -4*h. Let v = h + -22. Suppose 2*o = 3*u + 32, -u - 25 = -o - 4*u. Which is greater: o or v?
v
Let d = -7 - -6.87. Let k = d + 0.19. Let x = 1176 + -1176.3. Are x and k unequal?
True
Let u be (1 - 0) + 3/(6/(-68)). Let p be u/27 + (-5 - -6). Let j = 0.1 + -0.2. Is p at most j?
True
Suppose 2*h + 657 = 3*q - 218, 4*q - 1176 = 5*h. Let f = -290 + q. Is -2/309 > f?
True
Suppose -f + 13 - 11 = 0. Suppose -f*y + 13 - 5 = 0. Suppose -2 = y*g + 14. Is g < -14/3?
False
Let b be (-6)/16*(-128)/192. Let h be ((-2)/99)/((-7)/21). Let p = 8/11 - h. Which is greater: p or b?
p
Let n = 66533 + -66544. Let y = 0.4 - 0.39. Let d = y + 0.02. Which is smaller: n or d?
n
Suppose 0 = -f + 26*f + 25. Let j be (60/(-8))/(-3)*4/f. Is j < 0.08?
True
Let y be 5/((-5)/72*-6). Let t be (-3)/(27/y) - 2/(-6). Is t at least -1/513?
False
Let a = 37168 + -37125. Is 545/13 equal to a?
False
Suppose -1087*x = -1107*x. Is x less than 0.9132?
True
Suppose 4*s + 5 = -3. Let n be ((-6)/(-12))/(2/s). Let a = -18403/6 + 3068. Is a > n?
True
Let s = 2/111 - 13/37. Let f be 5 + (-52)/46 - 4. Let v = f - -32/69. Do v and s have the same value?
False
Let m(d) = 494*d + 524. Let g be m(19). Which is greater: 9911 or g?
9911
Let s be (-6)/(((-1)/21)/(4/(-24))). Let i = -912 - -4462/5. Is s at most i?
True
Let q(v) = 2*v**3 + 18*v**2 - 70*v - 23. Let l be q(4). Is 121 > l?
True
Let m be 1 - -3 - 3 - 0. Let o = 15/2 + -611/82. Is o equal to m?
False
Let h = 42652/9 - 554467/117. Let x = 0.3 + 1.7. Let j = -2.1 + x. Are h and j equal?
False
Let q = -5 - -7. Let t = 1/30265 - -393424/635565. Is q not equal to t?
True
Let x be ((-8)/(-20))/(((-12)/(-2355))/(-4)). Which is bigger: 6 or x?
6
Let j = 4491 + -2222. Is j less than or equal to 2268?
False
Let a be (-4)/(-14) + (-2)/7. Let t = 164/15 - 6683/105. Let d = 53 + t. Is a smaller than d?
True
Let w(n) = -25*n - 95. Let y(i) = i**2 - 51*i - 189. Let q(d) = 5*w(d) - 2*y(d). Let g be q(-7). Are g and -32 equal?
False
Let d(w) = -w**3 - 14*w**2 - 3*w - 41. Let m be d(-14). Is 4/2289 < m?
True
Let n = -9/340 - 11157/2380. Suppose 266*t - 3*z - 19 = 262*t, 27 = 5*t - 4*z. Which is smaller: n or t?
t
Let i(s) = 49*s + 1823. Let z be i(-37). Which is bigger: 14/37 or z?
z
Let p(d) = 3 + 22*d - 33*d - 2 + 4*d**2 + 15*d. Let m be p(-6). Is 122 <= m?
False
Let y be 4/(-8)*0*(-7)/(-56). Let p = -2 + 12. Which is smaller: y or p?
y
Suppose -p + 25 = t, 5*t - 4*p - 71 - 36 = 0. Suppose 0 = -5*b + 175*v - 179*v - 14, 2*v = -3*b - 10. Let u be (-2*(-12)/t)/(b - -4). Is u > -2?
True
Let h = -6999 + 4386. Which is smaller: h or -2614?
-2614
Suppose -6*w = -38 + 14. Suppose 13 - 41 = -w*c. Let f be (-9)/12*26/(-3). Which is smaller: f or c?
f
Let z(i) be the first derivative of i**3/3 - 3*i**2/2 + 2*i - 9. Let k be z(3). Suppose 5*a + 69 = -3*u, u - k*u - 2*a = 24. Is -19 less than u?
True
Let q be (-120*16/(-48))/((-2)/(-12)) - -3. Is q bigger than 243?
False
Let n(h) = 3*h - 27. Let y(o) = 3*o - 28. Let i(a) = 6*n(a) - 5*y(a). Let q = -667 - -677. Let j be i(q). Does 7 = j?
False
Let u = -70 + 70.01. Let n = 2.01 - u. Which is greater: 26 or n?
26
Suppose d + 4 = -73. Let s = d - -132. Is s less than or equal to 55?
True
Let m(y) = y**3 - 10*y**2 - 12*y + 3. Let r be m(11). Let o be (-677)/(-225) + (r - -5). Is 1 >= o?
True
Let w be ((-1998)/185)/((-2)/(-5)). Let d = -17 - -11. Let c be w/84*(-7)/d. Is 0 bigger than c?
True
Let p = 0.21 + -0.242. Let h = 0.968 - p. Which is smaller: 22/9 or h?
h
Let u(x) = 12*x - 5. Let r(d) = 1. Let s(z) = -5*r(z) + u(z). Let l be s(4). Let g = l - 43. Which is greater: -13 or g?
g
Let w = -113 + 22. Let p = -87 - w. Suppose -25 = 5*g, -p*n + 3*n - 3*g - 76 = 0. Which is smaller: n or -62?
-62
Let q be (-12)/14 + 3*1/(-21). Let a(m) = -4*m**2 - 5*m - 21. Let s(p) = -p**2 + p. Let z(t) = q*a(t) + 3*s(t). Let u be z(-8). Which is greater: u or 2?
u
Let y be 778 - (6/21 + 372/217). Which is smaller: y or 780?
y
Let l be (-2)/(-4)*(-30)/45. Suppose 0 = -5*g + 9*g - 20. Suppose -11*z = -6*z + 5*r - 20, -14 = -g*z - 3*r. Is l less than z?
True
Suppose 8*m + 54 = 17*m. Suppose 7*h = -104 + m. Is -12 at most as big as h?
False
Suppose 5*v - 330 = 16*v. Let w be 124/(-222) + (-20)/v. Is w <= 1?
True
Suppose 0 = -31*r + 40*r - 63. Does 84/13 = r?
False
Suppose 283350 = 361*u - 211*u. Is 1889 < u?
False
Let w(y) = 4*y**2 + 6 + 86*y - 80*y - 5*y**2. Let v be w(7). Do -13/12 and v have the same value?
False
Let q(k) = k**2 - 7*k - 12. Let y be q(9). Let l be (-12)/(-14)*161/46. Suppose -y*t = -l*t. Which is greater: -4 or t?
t
Let s = 1.1 + 43.2. Let c = -40 + s. Let x = -12.3 + c. Is x smaller than 2?
True
Suppose -5*j = -w - 98, 0 = 2*w + 3*w - 5*j + 490. Let v = w + 46. Let d = v - -47. Are -4 and d unequal?
True
Let y be (954/(-55))/((-276)/8 - -36). Is y >= -11?
False
Let n = -10207 - -10456. Which is smaller: 270 or n?
n
Let t be 1167/((-190)/20 - -8). Suppose -4*n = 2*j + 3116, -2*j + 324 = 3*n + 2663. Is n > t?
True
Let l be ((-74)/(-148))/((-5)/(-10)). Is 11401 smaller than l?
False
Let o = 20.3 - 20. Let w = 114 - 96. Suppose -18*p = -36 - w. Do p and o have different values?
True
Let c(i) be the first derivative of i**2/2 - 12*i - 243. Let b be c(8). Is b greater than or equal to 7?
False
Let l = 0.0765 - 7.1965. Let x = -7.02 - l. Which is smaller: -0.068 or x?
-0.068
Let g = 977 - 599. Let p be (-8)/(624/g) + 5. Suppose -a + 5 = -7. Which is smaller: p or a?
p
Suppose 5*w + 2 = 3*w, 5*j - 22 = 2*w. Suppose 0*c + 22 = 2*c. Suppose c*l - 8*l = 12. Is l greater than or equal to j?
True
Let w be (-91)/(-91) + 38/(-34). Which is smaller: -30 or w?
-30
Suppose 0 = 5*y + 19 + 31. Let m = -1643 - -1646. Suppose 0 = -4*n + 5*x - 0*x - 77, -64 = m*n - 5*x. Which is bigger: y or n?
y
Let w(y) = -2*y**2 - y + 9. Let n be w(-4). Let b = -77/4 - n. Let q = -0.6 + -7.4. Which is smaller: b or q?
q
Let z = -1915 + 1996. Is z greater than or equal to 78?
True
Let s be (-5831)/(-42) + -9 - (-1)/6. Let l = -117 + s. Is l less than or equal to 14?
True
Let u = -174.5 - 2111.5. Is u greater than -2/5?
False
Let f(b) = 57*b - 312. Let g be f(12). Let j = g + -351. Let m be (-39 + 1)/(2*-1). Do j and m have the same value?
False
Let b = 11.9 + -11.9. Let p be (-282 + -2 + 2)/(-1). Suppose 0 = 4*n + 26 + p. Which is greater: b or n?
b
Let q = -2462 - -1611. Which is greater: -3403/4 or q?
-3403/4
Suppose 3*i = -4*i + 14. Let d = -234 + 2586/11. Which is smaller: d or i?
d
Suppose 0 = 12*o - 29*o + 68. Let k be 440/o*(-2)/(-6)*3. Which is greater: 108 or k?
k
Let q = -399.95952 + -0.04048. Which is smaller: q or 7/3?
q
Let w be (-130084)/(-36225) - 2/(-7). Let n = 7/575 + w. Is 4 less than n?
False
Let g = 276 + -206. Which is smaller: 71 or g?
g
Let t be (-12 + 0)/3 - -2. Let q be t/((24/164)/3). Let f = q - -41. Is 6 greater than f?
True
Let f be ((-1)/(-174))/(18/72). Suppose -2*w - 4*b - 6 = 0, 2*w = -2*b + 4*b + 6. Which is greater: f or w?
w
Let w = 82 - 77. Let a be -1 - (-9 + 4/10*w). Let j be (a - 8)/(1/16). Is j not equal to -31?
True
Let w = -84 + 92.66. Let t = 8.59 - w. Which is smaller: -10 or t?
-10
Let d(x) = -x**3 - 15*x**2 - 20*x + 84. Let z be d(-12). Which is smaller: z or -109?
-109
Let a(w) = -9*w - 57. Let i be a(-6). Let j be (i - (-4 + 0)) + 9 + -10. Is -1/88 at least j?
False
Let j = 2088/11 - 190. Let m = -28 + 26. Let o be m*1*1/2. Is o greater than j?
False
Let n = -102 + -269. Is n > -375?
True
Let r be (31 + -36 - (-2)/(-1))*-1. Let k = -12 - -17. Which is greater: r or k?
r
Let w be 11*(-3865)/(-127680) + 15/45*-1. Which is greater: -1 or w?
w
Let t = 130 - 78. Let u = -3616 + 3578. Let x = t + u. Which is greater: 2/5 or x?
x
Suppose 5*j - 6 = 4, j - 737 = 5*t. Let p = 148 + t. Is 3/32 greater than p?
False
Let a = -72.46 - -72.56. Let y = 0.6 + -0.57. Let t = -0.065 - y. Which is smaller: t or a?
t
Suppose 5*r + 5*y - 10 = 0, 3*y + y = 0. Suppose 17 = r*q - 11. Is 15 bigger than q?
True
Suppose 2*h + 3*r = -89, -3*r - 199 = -1036*h + 1040*h. Suppose -o - 3*o + 156 = 0. 