i
Let o be 10/15*66/4. Suppose 0 = -5*p - 1 + o. Suppose p*i = -3*j + 5, 0*i = 5*j + 2*i - 7. Is j less than 2/7?
False
Let z(d) = 6*d - 17. Let g be z(4). Suppose 0 - 6 = 3*h, -5*a + h = -g. Let c = -3 + 3.3. Is c less than a?
True
Let p = 642 - 619. Is p less than -8?
False
Suppose -2*n + 19 = 11. Are 4 and n non-equal?
False
Suppose 16*j + 247 = 55. Let v be ((-3)/j)/((-3)/(-4)). Is v at most -14?
False
Suppose -d + 6*x = x - 38, d - 2 = -4*x. Suppose 17*u = -220 + 577. Which is bigger: d or u?
u
Let n = 42.04 - 36.7. Which is bigger: 1 or n?
n
Let i be ((-140)/42)/(4*(-2)/12). Are i and -165 unequal?
True
Suppose 171*w - 149*w = 7106. Is 324 bigger than w?
True
Let l = -15 - -4. Let v = 0.131 + -10.731. Let j = l - v. Is 0.1 not equal to j?
True
Let b be 2*(3/2 - 2). Let f be (8 + -6)*(-2)/40. Let a = -11/90 + f. Are b and a non-equal?
True
Let w(o) = 30*o**3 + 2*o**2 - 2*o + 1. Let h be w(1). Is h >= 29?
True
Let x = -34/7795 - -17032551/109130. Let l = 156 - x. Which is smaller: l or 0?
l
Let j = 475 - 336. Let o be 2/(-7) + (-73083)/(-525). Let t = j - o. Which is bigger: t or 1?
1
Let s(t) = 10*t + 6. Let c(k) = 7*k + 4. Let j(m) = -7*c(m) + 5*s(m). Suppose 2*r - 3 = -5. Let u be j(r). Which is greater: -4/11 or u?
u
Let d = -1199/3 - -395. Let o be (-16)/((-160)/(-42)) + (-2)/(-10). Does o = d?
False
Let l be 33*(77/(-132) - 1/(-4)). Let g be (-51)/34*(-10)/l. Is -2 less than or equal to g?
True
Let d = -512/3 - -71. Which is greater: -100 or d?
d
Suppose 6*y - 20 = y - 5*a, -5*y + 3*a + 12 = 0. Let l = 521 + -517. Is y equal to l?
False
Suppose -u - 1 = 1. Let m = 11 + -6. Suppose 0 = -m*w - 24 + 4. Which is smaller: u or w?
w
Let u(t) = 2*t**3 + t**2 - t + 1. Let f be u(1). Suppose 2*b - 1 + f = 0. Let s be (36/30)/((-9)/(-15)). Which is smaller: b or s?
b
Let p(j) = -74*j**2 - j + 1. Let i be ((-6)/(-33))/(-1) + 9/(-11). Let v be p(i). Is -72 greater than v?
False
Let u = -948 + 947. Is u at least -5/169?
False
Let b be (-741)/(-114)*(-6)/(1 + 2). Do -11 and b have the same value?
False
Let z = 131/10 - 13. Suppose -u = u - o + 5, -5*u + 2*o - 14 = 0. Let x = u - -5. Which is bigger: z or x?
x
Let n(u) = 35*u - 1. Let z(g) = 34*g - 2. Let c(s) = 4*n(s) - 3*z(s). Let m be c(2). Do 78 and m have different values?
False
Let c = 0.364 + -0.264. Is c equal to 0.12?
False
Let d(t) be the second derivative of -9*t**5/10 + t**4/4 - t**2 + 40*t. Let r be d(1). Which is bigger: r or -1/6?
-1/6
Let k = -1018 + 1016. Which is smaller: 160 or k?
k
Let d be (-39)/117 + 913/3. Which is smaller: 303 or d?
303
Let t = -227 - -80. Is -147 greater than t?
False
Let l = -12307/68133 - -2/1747. Do l and 0 have different values?
True
Let l(g) = g + 2. Let a be l(-2). Suppose 0 = -64*k + 55*k + 54. Suppose a = -m + k*m. Is -6 bigger than m?
False
Let a be (-11)/((-33)/(-60)) + 5. Suppose 0 = 2*d - n + 24, 0 = -0*n + 2*n. Let c = d - a. Which is bigger: c or 2?
c
Let o(x) = -x**2 + 12*x - 15. Let i = 15 + -5. Let s be o(i). Suppose 5*z + q = 8 - 27, 2*q = -s*z - 18. Which is greater: z or -3?
-3
Let t(x) = 2*x**2 + 23*x - 12. Let a be t(-11). Is a greater than -15?
False
Let m = 30 - 30. Let f = 8.9 + 1.1. Let k = -5 - f. Is k less than m?
True
Suppose i + 2*i - 3*x + 102 = 0, x + 114 = -3*i. Let f = 61 + i. Let y be 3/1 - 78/f. Which is greater: y or 0?
0
Let t = 6/449 - 940/3143. Which is smaller: 0.58 or t?
t
Let r(s) = s**2 + 4*s - 1. Let l = -12 - -8. Let f be r(l). Let b be 6 + -5 - f/1. Is b greater than 1?
True
Let h = 130 - 139. Let l be -80 + (-3)/3 - -3. Let d be (-20)/(-3)*l/65. Is h smaller than d?
True
Let y = -1252/3 + 1364/3. Are y and 38 unequal?
True
Suppose 2*n - 15 = 5*b, 3*b + 79 = 5*n + 51. Which is bigger: b or 2/403?
2/403
Suppose -3*i = -4*i - 4*s + 75, s - 5 = 0. Suppose -5*f = 5*w + i, -20 = 2*w + 2*w. Let b be (6/8)/(2/(-16)). Is f smaller than b?
False
Let n = 4801 - 4757.09. Let w = n + -44. Which is smaller: w or 1/2?
w
Suppose w = 5, -229 = 3*z + 5*w - 4*w. Let o be z/104 - 1/4. Let x be -27*(-4)/114 - 1. Is x greater than o?
True
Let r(w) = w**2 - 3*w. Let l be r(3). Suppose f - 2*f - 6 = l. Which is greater: -3 or f?
-3
Let w be 5/(-1) - -1 - (1 - 3). Let d be (-2 - (0 + 16)) + 4/w. Which is smaller: d or -21?
-21
Let g be (-7748)/104975 - (-10)/125. Do -1 and g have the same value?
False
Suppose 2*z + 1012 - 243 = 3*g, 5*z + 1870 = -3*g. Are -377 and z equal?
True
Suppose -5*w = -l, 2*l - 5 = -4*w + 9*w. Suppose -3*f + 2*p = -2 + 3, -l*f - 31 = 4*p. Let k be 1 + -1*(4 + f). Which is greater: -1 or k?
k
Let g be 3 + 766/(-442) - 4/(-34). Is g < -1/2?
False
Let b = 7.9883 - -0.0117. Which is smaller: -13 or b?
-13
Let k = 3/5264 - -48249809/26320. Let l = k - 1861. Let a = l + 28. Which is smaller: a or 1?
a
Let o be (-116 + 115)*(-120)/(-2). Which is smaller: o or -65?
-65
Let k = -4 + 7. Suppose 7*c + k*c = 5*c. Which is smaller: 1/125 or c?
c
Let d be (80/1860)/(3/((-18)/4)). Let y = d - -68/93. Let c(t) = -t**2 - 6*t + 2. Let v be c(-6). Is v at least y?
True
Let z = -755 + 589. Is z greater than 2?
False
Let p = -485 + 485.1. Does p = 188?
False
Suppose 3*k + 8 = 3*s - 7*s, -2*s - 4 = -3*k. Let n(z) = -138*z**2 + 2*z. Let i be n(s). Let g = i + 1651/3. Is -6 not equal to g?
True
Suppose -h = -4*u - 5, 3*h - 13 = 5*u - 5. Let y be 11 - ((1 - u) + 1). Let g = y + -7. Which is smaller: -1/7 or g?
-1/7
Suppose h + 3*c - 7 = 2*h, 5*c = 2*h + 18. Let w be (4 - (-852)/(-39)) + (-6)/39. Which is smaller: w or h?
h
Let h = -1520 + 1484. Which is greater: h or -40?
h
Let a = 0.0068 - 0.0068. Which is smaller: -400 or a?
-400
Suppose -8*k + 3*k = -z - 50, -25 = 5*z. Let n be (-84)/(-10) + 8/(-20). Is k < n?
False
Let m be ((-6)/(-15))/((-5)/(-275)). Let l be 1/m*(-1)/((-1)/(-4)). Let n be (-2)/10*2/(-1). Which is greater: n or l?
n
Let g = 803 + -805. Does -3/47 = g?
False
Suppose -6*q + 10*q = 148. Which is greater: q or 38?
38
Let c = -14 + 20.1. Let d = 5.1 - c. Which is smaller: d or 3/7?
d
Let p be ((-24)/21)/((-4)/14). Suppose 5*z + 9 = p*r, 3*z + 0 = 4*r - 7. Is z != 1/7?
True
Suppose 4*f - 12 = 12. Let d(u) = 10*u + f*u - 4*u + 2*u - 2. Let k be d(-1). Which is smaller: k or -15?
k
Suppose -5*c = -4*o - 25, -4*c = -4*o + 3*o - 9. Is c less than 192?
True
Let c = 370 + -66. Is c at most 304?
True
Let q(n) = -7*n**2 - 17*n - 34 + 6*n**2 + 0*n**2. Let c be q(-15). Let v = 5 + -10. Which is bigger: v or c?
c
Suppose 11*w + 611 = -2*w. Is -41 < w?
False
Suppose 408*z - 415*z + 2996 = 0. Are z and 427 unequal?
True
Suppose 79*s + 1944 = 91*s. Is 159 != s?
True
Let p(y) = -y - 45. Let t be p(0). Let a(w) = -w**3 - 5*w**2 + 6*w - 4. Let h be a(-4). Is h less than or equal to t?
False
Let f(m) = m**2 + 8*m - 100. Let y be f(-15). Let r = -7 + 12. Suppose 5*t - r*d = 3*t - 9, 4*t + 4*d - 24 = 0. Is t at least y?
False
Let l = -280 - -218. Which is greater: -61 or l?
-61
Let n be 0 - (5 + (-5 - (-10)/25)). Is n less than -468?
False
Suppose 9*j - 13*j - 284 = 0. Is 0 equal to j?
False
Let w = -1.6 - -3.6. Let k be (-3)/6*(0 - -1). Which is bigger: k or w?
w
Let q(o) = -o**3 - 2*o**2 + 17*o - 17. Let u be q(2). Let x = 16/37 - 725/1591. Which is greater: u or x?
u
Let p be 4/(-22) - -2*1671/594. Which is greater: p or 6?
6
Suppose 18 - 162 = 6*t. Let m be 3 + (1/6 - (-100)/t). Let r = 4 + -3. Which is smaller: m or r?
m
Suppose 0*o + 18 = -3*t - 3*o, t + 5*o + 26 = 0. Let n be (-36)/38 - (0 - 0). Which is smaller: t or n?
t
Let n = 0.32 + -0.305. Let x = 0.055 + n. Is 0.2 at most x?
False
Let x = 349 - 407. Which is greater: -56 or x?
-56
Suppose 0 + 4 = 4*x. Suppose -104 = 3*h + s - 29, -50 = 2*h - s. Which is bigger: h or x?
x
Let k(x) = -x**3 + 3*x**2 + x - 2. Let f be k(3). Let q(b) = b + 2. Let r be q(-9). Which is smaller: f or r?
r
Let m(p) = -p + 11. Let s be m(6). Suppose 2*l - 25 = 5*n + s, 2 = -3*n - 2*l. Suppose -16 = 4*o, -2*o - 2*o = 2*k + 24. Is k bigger than n?
False
Let h = -0.1 + 0.1. Let k = 115.1 + -21.1. Let p = 94.1 - k. Which is smaller: h or p?
h
Let y = -66.175 + 66. Let a = y - 0.025. Is a smaller than 10?
True
Let v = 2524 - 2523.9. Let y = 17 - 5. Let w be (-2)/y - 1/2. Is w at least as big as v?
False
Let r be (115 - 125)/((-10)/3). Let f = -45/16 - -507/112. Do r and f have the same value?
False
Le