s t at least x?
True
Let u be 16/(-8) - (22/(-2) - 0). Which is smaller: u or 11?
u
Suppose 0*l - 2*u = 3*l - 71, -2*l - 2*u + 46 = 0. Suppose 4*m - l = -2*d + 3*m, 4*d = 5*m + 15. Let g be ((-2)/(-15))/((-2)/d). Which is smaller: -1 or g?
-1
Let k be 184/(-32) + 5 + 0/(-2). Let s = 4.7 - 5. Let w = -2.3 - s. Which is smaller: w or k?
w
Let d = 2 - 3. Let w(p) = 4*p**2 + 4*p + 4. Let f be w(d). Let l(x) = -2*x + 1. Let h be l(-2). Which is greater: f or h?
h
Let d(q) = 2*q - 15. Let i(h) = 3*h - 30. Let s(j) = -5*d(j) + 3*i(j). Let b be s(-13). Is b bigger than -4/7?
False
Let u be -1 - (40 + -5)/5. Is 4 at most u?
False
Suppose -3*x - 12 = 3*s, 2*x - 5*s + 0 = 6. Let k be x/5 - 84/(-60). Is 2/165 bigger than k?
False
Let v(j) = j**2 + 4. Let r be v(0). Let x(y) = -y**2 - 5*y + 4. Let u be -4 + -3 - (-5 + 3). Let w be x(u). Is w smaller than r?
False
Suppose l + 42 = 8*l. Let x be (-4)/l - 34/(-6). Is 2 greater than or equal to x?
False
Let f = 13.094 + -13.694. Suppose 2*p = -3*p. Is p at most f?
False
Let g be (-6)/(-4)*(0 - 2). Let r be 842/(-42) + 1/g. Let w = 62/3 + r. Is -0.2 bigger than w?
False
Let k = 4727 + -33021/7. Which is greater: 11 or k?
11
Let d be 395/(-1170) - 6/(-27). Let s = d + -5/13. Which is smaller: -1/3 or s?
s
Let f = 174 - 166. Which is smaller: 15 or f?
f
Let h be 11/((-550)/40) - (-146)/(-5). Suppose -2*f - 11 = 53. Is h not equal to f?
True
Let w = 128 + -128.59. Let u = w - -0.39. Which is bigger: 13 or u?
13
Suppose -4*d + 17 = 5. Let k be d - 0 - (10 + -3). Which is smaller: k or 0.01?
k
Let p be (36/(-3632))/(49/(-14) - -5). Is p at least as big as -1?
True
Let h(g) be the first derivative of -g**3 - g + 9. Let a be h(1). Let m be a + 5 - 74/78. Is 1 less than m?
False
Let r = 387 - 389. Which is smaller: -12/23 or r?
r
Let l(y) = -2*y - 7 + 1 + 10 + 0*y. Let k be l(5). Let m be 2/k - (-9)/27. Is -1 bigger than m?
False
Let n(h) = -h. Let m be n(-7). Suppose -27 = -4*c - u, 4*c + 2*u - 36 = -2*u. Let k(f) = f**2 - 3*f - 11. Let b be k(c). Is b at most as big as m?
True
Let s(h) = -6*h - 60. Let y be s(-10). Which is smaller: 7/20 or y?
y
Let j be ((-6)/(-36)*9)/((-6)/(-740)). Which is smaller: j or 184?
184
Suppose -76*z + 74*z = 0. Is 2/509 at least z?
True
Let r be 0*(-21)/(-28)*4/(-6). Let y be 24*(r + (-4)/8). Which is smaller: y or -11?
y
Let a = 0.3 - -0.1. Let r = -0.1 - -0.5. Let j = r - a. Which is greater: 2/3 or j?
2/3
Suppose -5*b + 16 = 3*j, 18 = -5*j + b - 2. Which is smaller: j or -18/11?
j
Let r be ((-2)/3 + -4)*-3. Let s = r + -9. Let b = 12 - s. Which is smaller: b or 5?
5
Let o(k) = k**2 - k - 1. Let f(b) = b**3 + 23*b**2 - 6*b - 17. Let n(t) = -f(t) + 6*o(t). Let x be n(-17). Let g = 11 - 0. Is g equal to x?
True
Let w = 488 + -402. Which is smaller: 171/2 or w?
171/2
Let m(r) = -5*r**2 - r. Let y be m(-1). Let v be (y/(-10))/((-11)/(-20)). Which is bigger: v or 0?
v
Suppose o = 5*k - 3*o - 1, 0 = k - o. Let c be ((-2)/711)/((-35)/630). Which is greater: k or c?
k
Let t be (15/12)/(-2*3/4). Let v be (-1)/(-3)*(2 + -1 + -1). Which is smaller: v or t?
t
Let s = 1125 + -1067. Which is bigger: 57 or s?
s
Suppose 2*b - 10 = 12*b. Which is smaller: b or -48?
-48
Let b = -13 + 0.2. Let x = 13.2 + b. Is x < 0?
False
Let r = -87027/44 + 1978. Let n = r - -713/308. Is 3 at most n?
False
Suppose -324*q = -310*q + 14. Which is bigger: 25 or q?
25
Let g = 2481 - 2464. Is 2/5 at most g?
True
Let h be 1/((-15)/(-3140)) + -2. Let b = 210 - h. Let r(c) = -c**3 + 4*c**2 + 4*c + 7. Let g be r(5). Does g = b?
False
Suppose 0 = -4*q + 6*q. Suppose 2*v = -3*z - q*v + 6, 4*z - 4*v = -12. Is 0.18 < z?
False
Let t be -4 + 47186/6210 + 2. Let m = t - -1/621. Which is greater: m or 6?
6
Let a = 177 - 156. Let i(z) = -10*z - 1. Let u be i(3). Let j = a + u. Which is smaller: j or -12?
-12
Let z = 102.927 + -101. Let y = z + 0.073. Let w = -2 + 5. Which is smaller: w or y?
y
Suppose 6*k - 8 = -2. Let r be (k/2)/((-8)/(-24)). Is 3 not equal to r?
True
Let o be ((24 + -23)/(-1))/(1/18). Suppose -2*n = 24 + 16. Which is bigger: o or n?
o
Let i be (-6)/(-15) - 192/5. Let s be (-12)/(-9)*60/(-8). Let f be i/s + (-12)/(-60). Which is smaller: 3 or f?
3
Let y be 2/(-90) - 12/(-54). Let p = 0.2 + -0.1. Which is smaller: y or p?
p
Suppose 540 = -20*n - 260. Which is smaller: -1 or n?
n
Let u(y) = -41*y + 245. Let k be u(6). Which is bigger: -3/491 or k?
-3/491
Let w be (-28)/(-8) + -3 - 42/(-4). Suppose -w*r + 8*r - 9 = 0. Is r bigger than 1/19?
False
Let d = -379 + 381.63. Let v = d + 1.37. Let j = -0.9 - 0.1. Are j and v equal?
False
Let b = 15037 + -165665/11. Which is greater: b or -23?
-23
Let l = 13.9 + -10. Let n = l + 17.1. Which is bigger: n or 1?
n
Let d be (3/(-6))/((13/(-6))/13). Suppose 0 = -n - n - 2*b + 20, -d*b - 3 = 0. Which is bigger: n or 7?
n
Let r(d) = d**3 - 9*d**2 + 10*d - 13. Let t be r(8). Suppose 2*n + t*q = 4*n - 27, n - 5*q - 10 = 0. Which is smaller: n or 17?
n
Let k(i) = -i - 6. Let u be k(-5). Let r be 32/180 + u/5. Which is smaller: r or 0?
r
Suppose 2*h + 648 = o, -3 - 1623 = 5*h - o. Is -326 bigger than h?
False
Let r(p) = p**2 + 8*p + 5. Let m be r(-7). Let d be 3/m*(-2)/3. Let b be 0/3 - 12/(-8). Which is smaller: d or b?
d
Let l be (29/(-4292))/((-1)/6). Are l and 1 equal?
False
Suppose 2*z + 18*h - 16*h = 56, -168 = -5*z + 2*h. Are z and 29 non-equal?
True
Suppose 94 - 29 = 5*g. Suppose -g = w + 9. Is -23 less than w?
True
Suppose -5*p + 5*y = -15, p = -5*y + 9*y + 12. Suppose 0 = -x - 0*x - p*x. Which is bigger: x or 1/25?
1/25
Let i = 3.2 - 2.2. Let c = -3 + i. Is c less than or equal to 0?
True
Let f = -0.01 - 7.99. Let c = -5 - f. Let h = c + -1.7. Is -2/5 smaller than h?
True
Let f = -91 - -97. Suppose 8*c - f*c = 6*c. Suppose 0*b = -5*b - 15. Which is smaller: c or b?
b
Let h be -11 + 0 + 7668/60. Is 117 less than h?
False
Let p be (2/(-4))/(4/(-24)). Let x be p*-1*(-112)/42. Is x > 8?
False
Let u be 4 - (2 - (4 + -5)). Suppose 5*w = f - u, 5*f - f + 71 = -5*w. Is f at most as big as -15?
False
Let f = -11 + 9. Let z be 115380/130 + f + -1. Let q = z + -885. Which is greater: q or 1?
1
Let g = 332 + -332. Is g <= 3/17?
True
Let b be (-126)/7 + (-7)/((-42)/12). Is -4 less than or equal to b?
False
Suppose -7*t + 909 = 699. Which is smaller: t or 20?
20
Let f(h) = h**3 - 2*h**2 + h - 2. Let v be f(3). Let z be 2/5 - 224/v. Suppose 100*q - 93*q + 11 = -136. Which is smaller: z or q?
z
Suppose 3*p = -5*p + 32. Let s be ((-119)/28)/(1/p). Which is smaller: -1/2 or s?
s
Let s(x) = -5*x - 52. Let j be s(-9). Which is bigger: -39/5 or j?
j
Let h = 85/33 - 32/11. Which is smaller: -326 or h?
-326
Suppose -8*t + 4*t - 252 = 0. Let h be ((-96)/10)/(3/t). Let i = -201 + h. Which is greater: 1 or i?
1
Suppose 0 = 11*l + 5*l - 1120. Which is greater: 59 or l?
l
Let o = -26 + 21.5. Let t = -1.5 - o. Is 0.05 less than t?
True
Suppose -234 = 4*x + 102. Let o be 16/28 - (-447)/x. Let j = o - -25/4. Is 3 at most j?
False
Suppose 4*r + 2 - 14 = 0. Let g = r - -4. Let b = -4 + g. Which is bigger: 5 or b?
5
Let r = -527 - -521. Suppose -l = 3*l - 28. Let n = l - 5. Which is greater: r or n?
n
Let p(r) = -14*r - 44. Let z be p(-6). Suppose -4*s - 3 = a - 18, -5*a = -3*s + z. Let y be ((-1)/10)/((-6)/45). Which is smaller: s or y?
y
Let t(x) = 3*x - 26. Let q be t(11). Suppose 4*k = o + q, -4*k = -0*k - 3*o - 5. Suppose 2*s = -2, 5*f = -k*s - 2*s - 34. Which is smaller: f or 0?
f
Let f be 0 - -3 - -305*3. Let t be 8/36 + (-258)/f. Which is smaller: 2/9 or t?
t
Let o be ((-39)/(-6))/(-1 - (-21)/18). Let h be ((-18)/(-27))/(0 - o/(-63)). Which is bigger: h or 0?
h
Let y(v) = v**2 + 10*v + 8. Let s be y(-7). Let z = 25 + s. Let l be 2/z*(-24)/(-36). Which is smaller: 1 or l?
l
Suppose 2*n = -4*z + 114, 2*n - n = 5*z - 146. Let k = -478 + 1348/3. Let t = k + z. Is t at most as big as 5/2?
True
Suppose -4*d - 1 = -45. Suppose 21 = -8*n + d*n. Suppose 0*o + 27 = 3*o. Which is bigger: n or o?
o
Let v = 0.2 - -2.8. Let y = v - 2.7. Are y and -0.04 unequal?
True
Let p(h) = 4*h - 39. Let d be p(9). Let u = -22 + 18. Is u at most as big as d?
True
Let d = 1 + 1. Suppose t - 15 = -5*c, c = 1 + 2. Suppose t = -3*z + z - d. Which is bigger: -3/7 or z?
-3/7
Let p = -0.041 + -0.059. Which is bigger: p or -0.03?
-0.03
