Let b(w) = w + 30. Let r be b(0). Is r less than k?
False
Let f = 0 + 1. Let j = -126/5 - -1154/45. Which is greater: f or j?
f
Suppose -4*y - 15 = 5*o, 0 = y + 5*o - 1 + 16. Let n = -7 + 7.01. Let d = n - -0.03. Is y bigger than d?
False
Let w = -347/11562 - -5/123. Which is smaller: 3 or w?
w
Suppose 6*d + 2*d = -88. Let c be 12/66 + 596/d. Which is smaller: -53 or c?
c
Let g be (-4)/(-60)*5*(-189)/48. Is g equal to -1?
False
Let m be (3200/(-390))/(-16)*(-36)/(-10). Which is bigger: m or 3?
3
Suppose p - r = -79, 2*p - 314 = 6*p - 3*r. Which is smaller: -76 or p?
p
Suppose 83*b = 84*b - 1. Which is smaller: -36 or b?
-36
Let b be ((-36)/(-27))/(1/3). Let u(q) = q**3 - 3*q**2 - 2*q - 1. Let j be u(b). Which is smaller: j or 4?
4
Let q(l) = 2*l**2 + 5*l - 2. Let k be q(-4). Suppose 3*h = -4 + k. Suppose -5*j = -h*j. Is 2/25 at least as big as j?
True
Let k = 44 - 38. Suppose -8 = -k*o - 2*o. Is 0 <= o?
True
Let l(s) = s**3 + 2*s**2 - 3*s - 4. Let w be l(-2). Suppose t - w*b = -4*t - 1, 0 = -5*t + 3*b - 4. Let n = -4.2 + -0.8. Is t smaller than n?
False
Let j = -3.3687 - -0.3687. Let y(f) = f. Let r be y(4). Suppose 7 = r*z + 3. Which is greater: j or z?
z
Let n(j) = j**3 - 9*j**2 - j - 16. Let l be n(9). Let m be (-228)/20 - (-15)/l. Are -10 and m equal?
False
Let v = -44 + 25. Is -35/2 smaller than v?
False
Let d be (-6)/21 + 72/7. Suppose -4*n + d = n. Let c = 2194 - 6580/3. Which is smaller: c or n?
c
Let y = 1108 - 1108.0513. Is 2/5 greater than y?
True
Let u = -487 + 484. Which is bigger: -19 or u?
u
Let c = -0.941 + 1.941. Is -7/40 less than c?
True
Let l be 1 + (221/(-140) - 30/(-75)). Is 0 <= l?
False
Let c be (2/2)/((-1)/(-23)). Let x = c + -24. Which is smaller: x or -12/13?
x
Let y = -97 - -92. Let o(a) = -7*a - 4. Let i(u) = 8*u + 3. Let d(r) = 6*i(r) + 7*o(r). Let c be d(-5). Is c >= y?
True
Let d = -916 - -943. Which is greater: d or -3?
d
Suppose 410 = 2*w - k - 84, 0 = -5*w - 4*k + 1222. Is w at least 246?
True
Let v be 1*(-6)/(-405)*-3. Is -4 less than v?
True
Let p = -5766.09 + 5766. Let i be (4/(-3))/((-28)/12). Which is smaller: p or i?
p
Let z = -171 + 129. Is z not equal to -43?
True
Let l be 2/(-3)*(-12)/8. Let b be (-1)/4 + l/4. Is b < 2/9?
True
Let d(w) = 2*w**3 + 9*w**2 + 10*w. Let x be d(-3). Let m be -1*(0 - (-34)/8). Which is bigger: m or x?
x
Let i = 433 + -426. Is 84/13 at least i?
False
Let x be (-392)/(-13) + (-48)/312. Suppose j = 22 + 6. Is j bigger than x?
False
Let k = -10895581/85 + 128185. Let m be (-2)/(-68)*78 - 1. Let p = k - m. Is p at most 0?
False
Let h = 184 + -291. Which is bigger: h or -105?
-105
Let j be (-21)/(-3) + -5 + 1. Suppose -8 = 4*h - 3*f, -2*f - 2 = 2*h - j*f. Which is bigger: h or 5/8?
h
Let t = 40.916 + -0.216. Let b = 40 - t. Let f = 0.2 + b. Is 1/5 greater than or equal to f?
True
Suppose -3*x + 79 = -10*f + 6*f, 0 = 4*x + 3*f - 97. Which is bigger: -1/8 or x?
x
Let d be (-12)/(-66) + (-92)/22. Let a be 6 + d - 2*(-3)/(-2). Is a < 0.7?
True
Let v(t) = 2*t**3 - 24*t**2 + 24*t - 2. Let f be v(11). Suppose -12*z + f*z = 10*z. Is -20/17 smaller than z?
True
Suppose -3 - 12 = -5*h. Suppose h*r - 2*r = 3*p + 19, 4*p = 5*r - 40. Suppose -5*k = -r*k. Which is bigger: k or 1/19?
1/19
Let x = 966 + -1024. Are x and -59 nonequal?
True
Suppose -5*u - 8 = 7. Let z be (12/(-170))/u*-3. Let n = z + -62/85. Do n and -2/7 have the same value?
False
Suppose -2*m + 98 = -2*n, -2*m - 3*m - 214 = 4*n. Let l = 83 + n. Let u = -32 + l. Is u <= 3/25?
True
Suppose 0 = -3*g - g + 4*p + 28, -4*p - 30 = -5*g. Suppose 5*t = -5*v, 0 = 5*t + 6*v - 4*v. Suppose 0 = 3*l + 5*b + 5, -3*l = -t*b + 4*b + 1. Does g = l?
False
Let u be -3 + 5 + (-80)/35. Suppose 4*w + 3 = 5*v + 28, 3*v - 4*w + 23 = 0. Is v greater than u?
False
Let m = -1/4 - -3/4. Which is smaller: m or -0.091?
-0.091
Let d = 6/11 - 106/33. Let c(u) = -u**3 + 8*u**2 + 2*u + 1. Let g be c(8). Suppose 12 = -20*j + g*j. Which is greater: d or j?
d
Let p be 8898/(-42) - 2*-1. Let s = -203 + -8. Let i = p - s. Are 0 and i equal?
False
Let s = 927.23 - 927. Is s at most as big as 0.1?
False
Let b = -6 - -28. Let u be 3008/(-396) - -1*(-4)/b. Is u < -7?
True
Let l = -3 + -11. Let n be (42/(-63))/(l/3). Is n greater than or equal to -1?
True
Let l be 16/56 + (-10)/35. Which is greater: l or -1?
l
Suppose 4*l - 2*d - 10 = 0, l - 18 = 3*d - 23. Let q(b) = -b**3 + b**2 + 3. Let v be q(0). Are v and l equal?
False
Let m = -67 + 68. Let u = 4.7 - 4.6. Is m > u?
True
Let q be (-6)/(-20)*(3 - (-34)/6). Which is greater: q or 1?
q
Let d be (-1520)/12 - (1 + 2). Let l = d - -131. Which is bigger: 2 or l?
2
Let f = -4818 - -2577628/535. Let s = f - 101/1605. Which is greater: 1 or s?
1
Let b = 776/9 + -86. Let c = 30 - 29.99. Is c at least b?
False
Suppose a + 6 = -0. Suppose 0 = h - q, 4*h + 0*q - 27 = -5*q. Let n = a + h. Is n less than or equal to -2?
True
Suppose -4*u + 10 - 8 = -l, -6 = 3*l - 3*u. Which is bigger: -5/12 or l?
-5/12
Let s = -2342 + 1154612/493. Which is greater: s or -1?
s
Suppose -3*u - 5*m - 3 = 0, -u - m = -6*u + 23. Suppose -3*a + u*f = 25, 3*f + 5 - 2 = -5*a. Does a = 3?
False
Let d = -0.0597 + 0.5057. Which is smaller: -1 or d?
-1
Suppose 4*k = -5*k. Suppose 4*t - 5*y = 5, 3*t = -k*t + 2*y + 9. Which is greater: -2 or t?
t
Let x be 116*(-15)/(-80) + (-3)/4. Which is bigger: x or 141/7?
x
Let b = 0.077 + -14.077. Let g = -12 - b. Is -4 < g?
True
Let n(s) be the second derivative of -s**4/12 - 11*s**3/6 - 5*s**2 - 10*s. Let i be n(-6). Which is greater: i or 37/2?
i
Let x(w) = -6*w**2 + 2*w - 1. Let l be x(1). Which is smaller: 53 or l?
l
Let s = 83.6 - 92. Let y = s + 8. Let f be (1/7)/((-3)/12). Which is smaller: f or y?
f
Let t(l) = l**3 + 7*l**2 + l - 31. Let j be t(-6). Which is bigger: 5/11 or j?
5/11
Let v be (-5)/(4/(-6)*9/(-30)). Let t be 46/80 + 1/(v/15). Suppose 0 = -q + 6*q. Which is smaller: q or t?
t
Let d be 104/(-78) + 116/42. Let b = 0.267 + 0.033. Are b and d unequal?
True
Let h = 313 + -313. Which is smaller: h or -4/117?
-4/117
Suppose 5*p + 6 = 2*t + 21, 3*p - 2*t - 9 = 0. Suppose 3 - 1 = 3*u + j, -p*j = -2*u + 16. Suppose -u*z - 3*z + 5 = 0. Is 3/17 >= z?
False
Suppose -4*f - 20 = 5*t, 5*t + 20 = -2*f + 6*f. Is -46 at most f?
True
Let a = 70 - 47. Let i = 21 - a. Which is greater: 1/4 or i?
1/4
Let q(h) = -2*h**3 + 9*h**2 + 5*h + 16. Let c be q(5). Which is smaller: c or 152/9?
c
Let s = 30 - 80. Let j = -58 - s. Is 0.3 at most j?
False
Let l = 653 + -654.2. Is l at most -81?
False
Let j be 6 + -1*(-1)/(-1). Suppose -5*s = -j*x - 10, -5*s + 2*x - 1 = 1. Which is bigger: s or -3/2?
-3/2
Let r be (584/(-12))/((-2)/(-3)). Let a = -49 - r. Is a at most 24?
True
Let g be (-322)/(-2076) + ((-26)/12)/13. Is g less than or equal to 1?
True
Let l(p) = -p + 14. Suppose 5*b + 2*c = -0*c + 40, 0 = b + 4*c + 10. Let s be l(b). Let o = 7 - 1. Which is smaller: s or o?
s
Let h = -18.6 + -1.4. Let x = h + 8. Which is greater: x or 1?
1
Let l(x) = x**2 + x + 3. Let n = -20 + 20. Let r be l(n). Let j = r + -1. Which is smaller: -2 or j?
-2
Let p be (0 - 49/(-7))*-1 - 17. Are p and 25 nonequal?
True
Let v = -8 - -12. Suppose 2*d - 6*d = -4. Let s be (d/(-15))/((-1)/39). Which is greater: v or s?
v
Suppose -2*v = -5*j + 9, 2*j - 21 = -5*v - 0*j. Suppose 0 = -2*b + 1 + v. Suppose b*g - 3*g = 1. Which is smaller: g or 1/4?
g
Let p(k) = 26*k - 12. Let n be p(2). Let h be (8/6)/(-2) + n/45. Is h < 1.6?
True
Let v = -223 + 234. Is v equal to -1?
False
Let a be (9/3 - 4)/(-1). Let j be a/(-2)*(2 + 22). Suppose -q - 25 = 2*r - 2*q, -r + 4*q - 9 = 0. Which is smaller: r or j?
r
Let f = -24.32 + 6.32. Let h = -0.01 + 17.01. Let a = f + h. Is a < -3/4?
True
Let h be (-12)/6 - (-2 - -1). Let a = -29 - -44. Let k be (12/(-195))/((-2)/a). Do h and k have the same value?
False
Let u be 30 + -28 - (0 - (-1106)/540). Let b = 1/48 - 1/432. Let k = u - b. Which is bigger: k or -1?
k
Let m = -15 - -20. Suppose 44 = m*f - 11. Are 12 and f non-equal?
True
Suppose -83 = -5*u - 78. Which is smaller: u or -2/63?
-2/63
Suppose -g + 8*g - 203 = 0. Suppose -g*v = -30*v + 5. Is v > 7?
False
Let y = -43270991/165 + 262250. Let m = 1/33 + y. Suppose -4*c - 12 = -d + 5*d, 0 = -5*c - 3*d - 7. Are c and m equal?
False
Let l be ((-9800)/(11 - 3))/1. Is -0.1 != l?
True
Le