alse
Let a = 88 - 26. Which is smaller: 63 or a?
a
Let l = -26 + 26. Suppose l - 2 = -u. Which is smaller: u or 8/7?
8/7
Suppose 5*b = -5*t + 35, 0*b - 3*b + 18 = 2*t. Let w be -1 + -3*b/(-6). Let s = -184/35 + 27/5. Which is smaller: w or s?
s
Let x(w) = w**2 - 5*w - 2. Let a be x(7). Let l be ((-64)/a - -4)*9/330. Is -1 greater than l?
False
Let y = 0.7 + -0.2. Let s = 1.6 + y. Let p = s + -2. Which is smaller: p or 1/2?
p
Let c = 122 + -205. Let z = 59 + c. Is -2 < z?
False
Let l = -23185547248/605 + 38323208. Let s = l + -1/121. Which is smaller: s or -11?
-11
Suppose -6*c + 24*c = 2574. Is 0.2 equal to c?
False
Suppose -11 = -10*k - 21. Let l = 1.5 + -2. Let o = l - -1. Which is greater: k or o?
o
Let y = -1864 + 1817. Is y bigger than -40?
False
Let v be 9 - 294/36 - 363/(-18). Which is smaller: v or 81/4?
81/4
Let y be (5 - 1)/((-4)/(-14)). Let f(a) = 10*a - 57. Let o be f(7). Is y at least o?
True
Let i(c) be the second derivative of -c**4/12 + c**3/6 + 3*c**2/2 - 19*c. Let z be i(-2). Which is greater: z or 0.01?
0.01
Let y be 0 + (0 - (-4)/(-46)). Let w = 4.8 - 4.13. Let o = -0.67 + w. Which is greater: y or o?
o
Suppose 14*l = 65 + 439. Let i be (10*(-6)/l)/((-1)/(-33)). Is -55 > i?
False
Let n be (-3)/(-2) - 119/(-2). Let p = n + -26. Let q be (-4)/(-9)*(-21)/p. Is 1 greater than q?
True
Let d = -3 + 6. Suppose d*r + 47 = -76. Let m = -122/3 - r. Which is smaller: m or 1?
m
Let r = 68/7 - 678/77. Which is smaller: r or 1?
r
Let q = 13619/19 + -717. Is q greater than or equal to -7?
True
Suppose 20*d - 16*d = u + 63, -3*d = -5*u - 43. Suppose 4*h - h - 48 = 0. Is d at least as big as h?
True
Suppose 20 = -y + 6*y. Suppose -4*d = 4*v - 36, 2*d - 23 = -y*v + 1. Suppose 3*g = -3 + d. Which is smaller: 2 or g?
g
Let s = 174.1 + -178. Suppose -3*j - 2*j + 19 = -b, 5*b = -3*j + 17. Is s <= b?
True
Let v be ((-540)/(-3))/(-4 + 5). Let d be -1 + -1*v/(-183). Which is greater: d or -1?
d
Let w(b) = b**2 + 13*b + 4. Let g = 16 - 28. Let t be w(g). Let s(z) = -z**2 - 5*z + 11. Let x be s(t). Is -11 at most x?
False
Let c = -45.6 - -46. Let w = c + 1.6. Let q = -101/3 - -301/9. Is q greater than w?
False
Let i = -222 + 217. Are i and -6 unequal?
True
Let h be 30/3*(-2)/5. Let p(k) = -6*k - 20. Let u(i) = 3*i + 10. Let m(d) = 2*p(d) + 5*u(d). Let a be m(h). Do a and -1 have different values?
True
Let v(g) = -g - 16. Let b be v(-12). Let n be (-1)/(-4) + b/16. Let a = -261 - -258. Which is bigger: n or a?
n
Let g be 3/9 - 22/(-6). Let m be 2*(-3)/(-6) - -3. Suppose m*a - 23 = -7. Is g <= a?
True
Let t = 14 - -39. Let u be 3 + (0 - 174/t). Let p = 307/1272 + u. Which is smaller: 1 or p?
p
Let m = -50978 + 408385/8. Which is greater: 71 or m?
71
Let n(p) = -p**2 + 13*p - 6. Let y be n(10). Suppose -208 = -5*a - 3*a. Let i be -3 + a + 0 + 1. Is y >= i?
True
Suppose -750 = h - 745. Is -7 at most h?
True
Let k(a) = a**2 - 12*a - 12. Let x be k(13). Suppose -5*h + 8 = l - 7, 2*h = l - x. Let u be 1 - 5/(5/h). Is u > -8/3?
True
Suppose -7*r + 3*r = -12. Let i be r/9 + 6/9. Let v be 4 + -4 + 15/40. Which is smaller: v or i?
v
Let q be (-3)/(-2)*56/21. Suppose -3*f = 5*r + 56, 0*r = -q*f + 3*r - 36. Let p = 23 - 35. Is f at most as big as p?
True
Let r = -1/19154 - -4975/3572221. Is r less than 1?
True
Suppose 32 = 9*y - y. Suppose -2*q + 2*g - 6*g - 16 = 0, -q = -y*g - 10. Do q and 0 have the same value?
False
Let r(z) = z + 3. Let o be r(-4). Let p be o*4/(-12)*3. Which is bigger: -6/29 or p?
p
Let m = -9.1 - -0.1. Let i = m - -10. Let v = 3 - i. Is v less than or equal to 2?
True
Let l = -307 + 500. Which is smaller: l or 192?
192
Let m(s) be the third derivative of -s**4/8 + s**3/6 - 9*s**2. Let k be m(0). Which is smaller: -1/25 or k?
-1/25
Let w be (-222)/2701*(-6)/(-9). Which is smaller: -1 or w?
-1
Suppose 0 = f + 2, -4*f - 11 = -3*q. Do q and -24 have different values?
True
Let y be (-13)/(-4) + 1/(-4). Suppose -2*w + 20 = y*w. Let g be (-6)/30*(w - -1). Is -1 != g?
False
Let w(l) = l**3 - 6*l**2 + 7*l - 4. Let c be w(4). Let g be (3 - 27/1) + -4. Let u be c/g*14/24. Are u and -1 equal?
False
Let i = 7 + -7. Let v = 3 + 1. Suppose 0 = 3*w - r + 5, 3*w + 0*r - v*r = 7. Which is smaller: w or i?
w
Suppose 0*j - 4*j + 16 = 0, 0 = -5*x + j - 224. Let d be (4 - (-1768)/x) + (-4)/(-22). Is d <= -37?
False
Suppose 77 = -5*x + 16*x. Let v = x + -7. Is 4/5 < v?
False
Let a = 1752 - 1751. Is a greater than 25/47?
True
Suppose l - 5*h = 13, 5*l - 21 = 2*h + h. Suppose 2*v - 26 = 2*r, 0*v - 33 = 5*r + 3*v. Let i be l + (r*1)/3. Which is smaller: 5/7 or i?
i
Let x = -733 - -742. Which is smaller: x or 44?
x
Let n = 23721218392/803 - 29540756. Let w = -119/11 - n. Which is bigger: w or 0?
0
Suppose -11*x + 85 + 69 = 0. Suppose x = -5*c + 12*c. Let i = -1 + 1. Which is greater: i or c?
c
Let a(s) = -s**3 + 5*s**2 - 9*s + 46. Let j be a(5). Which is smaller: j or 1/3?
1/3
Let z = -6 + 0. Let p = 8 + z. Let a(i) = -i**2 - 11*i - 20. Let v be a(-8). Which is bigger: v or p?
v
Let d = -0.02 - -0.72. Let h = 3.3 + d. Let o = h - 4.1. Does o = 0.9?
False
Let r be 20/264 + 5/(12 + 43). Let d = -10 - -21/2. Which is greater: d or r?
d
Let u be (2 - -1) + (1 - 2). Let r be (u/3)/((-34)/(-3)). Let t = 0 - 0. Is t at most as big as r?
True
Let q = -0.03 - -0.03. Let a be ((-6)/(-4))/(2/(-4)). Let f be (-8)/(-36) + 1/a. Does f = q?
False
Let h = -17/9 - -359/171. Let j(s) be the second derivative of -s**3/6 + 3*s**2/2 + 4*s. Let d be j(2). Is h greater than or equal to d?
False
Let k be 1066/(-1872) - (-1)/8. Suppose -3*l + 2*l = 0. Are l and k non-equal?
True
Let b be 3 - (193/51 - 1). Let m = 471/4148 - -1/244. Let a = m + b. Is a greater than -1?
True
Let k = 22831/348 - -7/116. Which is greater: k or 65?
k
Let x(q) = -q**2 - 7*q + 10. Let l be x(-8). Suppose -3*t = -3*m - 4*t - 38, 3*t - 40 = 5*m. Let w be 14/m + 0 + 2. Is w bigger than l?
False
Let n(f) be the second derivative of -f**3/3 + 7*f**2 - 8*f. Let c be n(6). Suppose l = 4*i - 6, -4*l - i + 5 + 5 = 0. Is c >= l?
True
Let v = 33 - 14. Let p = 28 - v. Are p and 10 nonequal?
True
Suppose -5*b - 1 = 4. Let k = -4 - -0.4. Let o = k + 3.3. Is b greater than o?
False
Suppose -6*h + 18 = 6. Suppose 0 = 3*j + 9, -h*y + j = -j - 4. Which is smaller: y or -1/16?
y
Suppose 0 = 4*f - 2*f - 10. Let p = f - 3. Suppose 0 = 3*n - 5*n + p. Does 2/9 = n?
False
Let w be 44/(-14) + 2 + -1. Suppose -19 = -4*g - 11. Suppose 5 = -3*a + 4*v, -4*v + 4 = -2*a + g. Which is greater: w or a?
w
Let i = -50 + 1152/23. Suppose 2 = 2*v - 0*v. Is v at most as big as i?
False
Suppose -12*w = -16 + 16. Suppose w = -4*f - p - 36, 0*p - 2*p = 5*f + 48. Which is bigger: f or 2/5?
2/5
Let b(o) = 3*o + 13. Let w(d) be the second derivative of 2*d**3/3 + 6*d**2 - 4*d. Let x(p) = 5*b(p) - 4*w(p). Let q be x(14). Which is greater: 7/2 or q?
7/2
Let a = -3.09 - -3.2. Which is greater: 1 or a?
1
Let v = -7.198 - -7.3. Let t = v + 6.798. Let z = -7 + t. Which is greater: -16 or z?
z
Let j = -13.59 - 39.41. Is j at most 0.3?
True
Let k = 6.17 + -0.17. Let m = k + -2. Let z = 6.8 + -7. Are m and z equal?
False
Let z be 9790/275*(-4 + -1). Does -177 = z?
False
Let x(n) = 8 + 5*n**2 - 4*n**2 + 1 - 8*n. Let z be x(6). Which is greater: -1 or z?
-1
Let s(x) = -36*x**2 + 7*x - 22. Let z be s(2). Does z = -152?
True
Let u be (-40)/(-300) - 43*(-2)/30. Let v be (-1 + u)*(5 - 33/6). Let r be (-7)/((-175)/6) - 0. Which is greater: r or v?
r
Let p(t) = 4*t. Let w be (-8)/20 - 6/(-15). Let n be p(w). Is n not equal to -1/3?
True
Let k(n) = -n**3 - 7*n**2 - n + 3. Let q be k(-5). Let j = q + 87/2. Which is smaller: 3 or j?
j
Suppose 0 = 4*w + w - 10. Let i(a) = -6*a + 54. Let r be i(8). Which is smaller: w or r?
w
Suppose -180 = -330*y + 332*y. Which is bigger: -452/5 or y?
y
Suppose 2*s = 221 - 29. Let d = s - 117. Is d less than -22?
False
Let k be ((-1 - -3) + -1)/1. Let y be (226/15)/(12/(-54)). Let b = y - -1693/25. Is k >= b?
True
Let g be ((-8)/(-6))/(50/555)*-5. Let c = g + 79. Are 12 and c nonequal?
True
Let v = 1027 + -1027. Is 13/11 at least v?
True
Let v be ((-27)/180)/(16/(-40)). Which is greater: v or 1?
1
Suppose 430*o + 3984 = 418*o. Is -334 at least as big as o?
False
Let o = -316 - -312. Is o at most as big as 64?
True
Suppose 2*n = -5*t - 0*n -