0.3728 + -0.1151. Let x = 3.1787 - o. Let p = x + 0.079. Is p greater than 2?
True
Let y(a) = a**3 - 2*a**2 - a - 1. Let l(d) = 6*d**3 + 8*d**2 - 23*d + 37. Let v(o) = -l(o) + 5*y(o). Let q be v(-19). Is q smaller than -24?
False
Let t be 38/(15960/(-1909050)) + (-1)/7. Is t equal to -4545?
False
Let o be 4/14 + (-54)/(-7). Let b be (2*1)/(o/64). Suppose a - 13 = -0*r + 4*r, -14 = -a + 3*r. Is b > a?
False
Suppose -2*m + 5*i - 23 = 0, -3*i = -0*i - 9. Let a be (-4)/(-1) - (m + 3). Let c be (5/3 - 1)*6. Is a >= c?
True
Suppose 373*d - 44796 - 5932 = 0. Suppose 3*p + 3*x - 257 - 157 = 0, -2*p + 276 = -3*x. Is d < p?
True
Suppose 7*q + 18 = 5*q. Let u(b) = b - 20. Let c be u(19). Let w be c + ((-2)/((-12)/q) - 3). Is w at least -5?
False
Let o(i) = -12*i**3 + i**2 + 8*i + 7. Let a be o(-1). Suppose -a*t + 240 = -48. Is t >= -2?
True
Let h be (-1 + 7)/(57/38). Suppose 34 - 10 = -8*c. Let l be h/3 + (c - -4). Which is bigger: l or 1?
l
Let p be (1/((-39)/(-4)))/((-33)/(-39908)). Let m = 124 - p. Do 0 and m have different values?
True
Let u = 340 - 350. Let c be -6 + (0 + -1)*u. Which is smaller: c or 31/12?
31/12
Let v = 4326 + -4325.91. Which is greater: v or -38?
v
Let i = -153 - -152.53. Let y = -0.37 - i. Is 2/125 less than or equal to y?
True
Let l be 1516/(-38) - 12/114. Let n = -18 - 26. Is l != n?
True
Suppose 4*n = -2*z + 2 - 6, 0 = n - 4*z + 19. Let s be -13 + 11 + n - 43/(-8). Let w be (-1)/(-1)*(-1)/(-1). Which is smaller: s or w?
s
Suppose 12 = 2*l - 14. Let z be (-6)/16 - l/((-520)/15). Which is smaller: z or 6/107?
z
Let k(s) = -3*s + 19. Let t be k(6). Let x = 302093 + -5137164/17. Let i = -93 - x. Is t less than or equal to i?
False
Let v be 2*7/((-84)/(-30)). Suppose -17*t + 223 = 3*q - 12*t, v*t - 365 = -5*q. Which is bigger: q or 70?
q
Let m = -8816 + 7013. Which is smaller: 1/3 or m?
m
Let t be (-4)/14 - 4/(-14). Let i(c) = -18*c - 42. Let a be i(-2). Let v be (2167/(-429) - -5)/((-2)/a). Which is smaller: t or v?
v
Let t(o) = -2*o**2 + 2*o. Let c be t(1). Suppose -4*x - 3*n - 912 = c, 2*n - 209 = 2*x + 261. Is -231 at most as big as x?
True
Let u(w) = -2*w**2 - 4*w + 13. Let z(h) = h**2. Let s(n) = u(n) + 3*z(n). Let o be s(3). Which is greater: 3 or o?
o
Suppose 6*s + 14*s + 780 = 0. Let y = -36 - s. Which is smaller: y or 29?
y
Let m = -12500 + 11820. Which is bigger: m or -678?
-678
Let l(o) = 46*o**3 + 2*o**2 + 3*o + 2. Let p be l(-1). Let w(n) = -n**3 - 10*n**2 - 15*n - 34. Let a be w(-8). Is p bigger than a?
False
Let m = -44 + -56. Let a be -7 + 3 + (-68)/(-16). Which is bigger: m or a?
a
Suppose 0 = -153*r + 17*r + 136. Which is smaller: 2/6781 or r?
2/6781
Let d(j) = 0*j + 17 - 9 - 3*j - 9 + 19*j**2. Let r be d(-1). Let a = 0.1 - 0. Which is smaller: r or a?
a
Let l = 4906 - 24418/5. Suppose 4*v = a - 14 + 95, 0 = -4*a + 12. Which is smaller: v or l?
v
Let d = -286 - -371. Let g be 90 - (3 - (-3 - 2)). Which is greater: g or d?
d
Let r = -0.0734 + 3.2734. Which is smaller: 19/2 or r?
r
Let t = 17.233 + -17.25. Which is greater: t or 22?
22
Let f be (-5*10/125)/(-229). Let r = -28611/8015 - f. Which is smaller: r or -3?
r
Suppose -13755 = -197*r - 213*r + 17*r. Which is smaller: r or 48?
r
Suppose -150841 = -34*y - 65*y + 82*y. Is y greater than 8873?
False
Let l = -0.2566 + 0.0476. Let m = l - 0.791. Which is smaller: m or -3/14?
m
Suppose -2*i + 32498 = -36*b + 40*b, -40640 = -5*b - 5*i. Which is smaller: 8119 or b?
8119
Suppose 1929 = i + 3*y + 567, 4*y - 8 = 0. Suppose 4*a - 20*u = -16*u + i, 4*a + 3*u - 1356 = 0. Are 338 and a equal?
False
Let b = 10249.1 + -10249. Which is smaller: b or 6252?
b
Let g(l) = 2*l**2 + 8*l + 4. Let c be -2*((-12)/(-8) - -1). Let p be g(c). Is -1/3 <= p?
True
Let j be 4/(-12)*1 - (-107)/(-3). Let o = j - -36. Suppose d - 1 + o = 0. Which is greater: -6/49 or d?
d
Suppose 58*f - 55*f - 4*u + 11 = 0, -u = 2*f. Suppose o + 33 = -0*o. Let s be -1*(2 + o/17). Which is greater: s or f?
s
Let q = 267 - 252. Let t be (-10)/q + 1/2. Let o = 1.02 - 0.12. Is o greater than or equal to t?
True
Suppose 0 = -6*i + 3*i + 54. Let m = 2 + i. Let v be (-12)/(-3)*5/m. Which is smaller: v or 5?
v
Suppose 177*b + 54 = 150*b. Let f = -0.135 - -0.16. Which is smaller: f or b?
b
Let h(z) = -93*z - 1637. Let r be h(4). Which is greater: r or -2010?
r
Suppose 120*c + 18 = -124*c + 253*c. Which is smaller: 113/39 or c?
c
Let f be 5/(-30) - 124/(-24). Suppose 0 = -6*t + 2*t + 3*h + 12, 5*h + 20 = -f*t. Which is smaller: t or -2/89?
-2/89
Let g be 3556/98 - ((-32)/(-14) + -2). Let w be -7 - 2*(-123)/g. Which is bigger: w or 82?
82
Let x = 1/1498 + 15354/749. Let b be -2 + (31 - 3 - 4). Which is bigger: x or b?
b
Let u be (-1)/(-5) + 6/(-5). Let r(x) = x**2 + 22*x + 143. Let a be r(-15). Suppose -4*j + 2*j = a. Is j at most u?
True
Suppose 0 = 3*p - 5*f - 160, 5*p - 2*f - 113 = 160. Suppose -2*s - p*n = -50*n + 8, 0 = -4*s - 5*n + 4. Let l = -3 - -9. Is s >= l?
True
Let t be 55932/(-3160)*10/1. Which is smaller: t or -176?
t
Suppose 0 = -3*p + 3*n + 93, -3*p = 4*n - 62 - 59. Suppose 314 = p*k - 36*k. Is k >= -314?
True
Suppose 0 = 5*w - 4*b + 69, 4*b = 5*w + 2*b + 67. Let n = w - -12. Let x be 0/n + 8/124. Is 0 < x?
True
Let h be ((-1)/(-3))/((-4)/(-48)). Suppose m = 13 - h. Let p be (-15)/11 + -8 + m. Which is smaller: -1 or p?
-1
Let c = 26587 + -236951/9. Which is smaller: c or 259?
259
Let n be -1 + (-6)/(-2) + 84. Let u(c) = c**2 + 1101*c + 20645. Let z be u(-19). Which is smaller: z or n?
n
Suppose 0 = -25*i - 15*i - 14*i - 21924. Which is smaller: i or -404?
i
Let x = 0.3 - 0.2. Let f = 356 + -60. Let z = f - 250. Which is bigger: x or z?
z
Let i = -272.2 + 272. Which is greater: i or -68/13?
i
Suppose -195*d - 2*r + 50992 = -192*d, -5*d + 84991 = -r. Which is smaller: d or 16999?
d
Suppose -5*t + 11 = -609. Let y be 6/42 - t/(-112). Is y not equal to 0?
True
Let n = 3515 + -9753. Is n != -6237?
True
Let g be ((-54)/14 - -3)/((-2)/854). Let d be (0 - (-2)/(-8)) + g/(-8). Are d and -47 equal?
False
Let h = 2 + 8. Let x = h - 7. Suppose -2*u + 4*w - x = -9, -w + 6 = 2*u. Does u = 7?
False
Let x = 66.9977 + 1.0023. Is x > 21?
True
Let x = 5/8477 + -19539495/16954. Is -1154 at most x?
True
Let n(z) = z**2 + 7*z + 9. Let i be n(-6). Suppose -i*m = -m + 5*w - 159, -5*w = -3*m + 251. Suppose 2*s + 324 = 6*s. Which is smaller: m or s?
s
Suppose 33*a + 39*a = -30449 + 109937. Is a greater than 8835/8?
False
Suppose -4*y = -3*c - 1033, -3*y = 37*c - 38*c - 771. Suppose -22*j + y = -6*j. Which is smaller: 31/2 or j?
31/2
Let v be (8/112*(-42)/(-120))/112. Is 0 less than v?
True
Suppose 11481 = -37*t + 2268. Let v be 1251/t - -3*35/21. Which is smaller: 0.3 or v?
v
Suppose -493*h - 106190 = -458*h. Is h less than -3035?
False
Let h be -4 - (-5)/(-10)*-6. Let q be 4/2 + 8/(1 - h). Suppose -4*m = -4*g - 132, -4*m = -q*g + 5*g - 42. Which is greater: g or -29?
-29
Let y = -6 - -3. Let q(h) = h**3 - 10*h**2 - 2*h + 9. Let f(k) = k**3 - 9*k**2 - k + 8. Let o(r) = y*f(r) + 2*q(r). Let d be o(7). Is d less than -13?
False
Suppose -45*a = -49*a - 28480. Let d be (-4)/(-26) + a/47970. Which is greater: 0 or d?
d
Let c = 3515 + -87923/25. Let b(r) = 2*r**2 - 222*r + 2019. Let v be b(101). Which is greater: v or c?
v
Let z = 8113 + -6852. Which is bigger: z or -2?
z
Let t = -4421/798 + 29/114. Let g = -34/7 - t. Let c = 0.174 - 2.174. Which is bigger: g or c?
g
Let d be 618 - -3 - (-6 - 9 - -8). Is d greater than 630?
False
Let u = 4347/16 - 11997/112. Is 164 at most u?
True
Let j = -773.89 + 77.89. Do -5 and j have the same value?
False
Let t = 1528443/40 - 38208. Which is smaller: 2 or t?
2
Let i = 27981/4 + -6948. Let v be ((-345)/(-10))/(9/12). Which is greater: v or i?
i
Suppose c + 5*h - 12 = -0*c, -3*h + 148 = 5*c. Suppose -5*m + 156 - 41 = 4*y, -c = -m + y. Which is smaller: 28 or m?
m
Let j be (554 + (14 - 15))/1. Is j at most 553?
True
Let r(f) = f + 9. Let c be r(-12). Let l(v) = 4*v - 3*v - 11 + 22 + v - 9. Let d be l(c). Which is greater: d or -0.13?
-0.13
Suppose 3*b + b = 0. Let w = 3/11162 - -61301/334860. Is b at most w?
True
Let m = 48 - 49. Let q(p) = -125*p - 3. Let f be q(m). Let w = f - 977/8. Which is smaller: w or -1?
-1
Let i(l) = 3*l**2 + 33*l - 26. Let a(g) = -4*g**2 - 36*g + 25. Let p(k) = 2*a(k) +