rue
Suppose -13 = 4*o - 33. Suppose -4*t + o*t = 6*t. Is t greater than or equal to 2/7?
False
Let l be 4*(-2 + (1 - -3)). Which is smaller: l or 15?
l
Let w = -0.0351 - -4.0351. Let f(j) be the first derivative of j**2/2 + 2*j - 2. Let x be f(-3). Is w at most as big as x?
False
Let z be (-504)/49 - (-2)/7. Let v be 15/(-6)*32/z. Let y = v + -10. Which is greater: -1 or y?
-1
Let z = -8735/17073 + 32/63. Is 1 at least z?
True
Let m(h) = 16*h**3 - 2*h**2 + 1. Let l be m(1). Let n be ((-26)/(-32) + -1)/l. Which is bigger: n or 0?
0
Let b(v) = -v**2 + 1 - 5*v**2 - 1. Let c be b(-2). Let z be (2/4)/((-16)/c). Which is greater: 1 or z?
1
Suppose 0 = 2*u + 4*h - 52, -5*u + 8*h - 3*h + 190 = 0. Suppose u = 5*w + 4. Let o = 6 - w. Which is greater: 1/26 or o?
1/26
Suppose v + 12 = 28. Let g(h) = h**3 + 2*h**2 - h - 4. Let q be g(-3). Let i be v/(-10) - (-4)/q. Which is smaller: 0 or i?
i
Let i be -1 + 6 - (1 + 1). Let c(o) = o**3 + 7*o**2 - 8*o + 3. Suppose -3*r = 5*t - 7*r + 36, -4*t + 2*r = 30. Let u be c(t). Does u = i?
True
Let q(v) = -v**3 + 7*v**2 - 7*v + 1. Let n be q(5). Let d be n/6*(-33)/(-22). Let j(i) = i - 5. Let z be j(d). Do z and -2 have different values?
True
Let j = -2140 + 2189. Which is bigger: 34 or j?
j
Let s = 0.0013 - 0.0013. Let l = 1 + -0.6. Are s and l nonequal?
True
Let w be 1287/(-6) - (-6)/12. Which is bigger: w or -216?
w
Let n be (11/2)/((-1)/(-70)). Let k be 1 - (3 - (n/(-6))/(-11)). Which is bigger: 5 or k?
5
Let h be 0/((-204)/(-119) - 4/(-14)). Which is bigger: h or 1/585?
1/585
Let v = -4415 + 4447. Let m = -173/4 + 43. Which is bigger: m or v?
v
Suppose -p + 3*p - 16 = 0. Let b be (-122)/8 + 2/p. Let t = 975 + -988. Is t at most as big as b?
False
Suppose -23*f + 53*f = -60. Let s(t) = t**2 - t + 2. Let a be s(3). Let j be ((-36)/a)/(3 + -1). Which is smaller: j or f?
j
Let i = -7.93 - -8. Let o be (-6)/(-2) + 12/(-5). Let c = o + -14/15. Are c and i non-equal?
True
Suppose 0 = 2*g + 69 + 27. Let v = g - -31. Does v = -16?
False
Let p be 1/(8/(-6) + 3/9). Which is smaller: 11/37 or p?
p
Let r be (-1)/4 + 13/28. Let h(c) = -c + 16. Suppose 2*m - 33 = -t, t + 2*t - 31 = -2*m. Let j be h(m). Is j smaller than r?
True
Let k(v) = -v**3 - 52*v**2 - 26*v + 96. Let f be k(-51). Is f <= -1179?
True
Let r = -104 - 60. Which is bigger: -166 or r?
r
Let i = -1297470 + 22063856/17. Let f = i - 404. Is f at most as big as -3?
False
Let n = 43 - 9. Let v be n/10 - (13 + -8). Is v > 0?
False
Let a be (-75)/(-65) - 6/39 - 224. Is -223 at least as big as a?
True
Let i = -69 - -55. Let u be (24/28)/(-3) - 18/i. Is u at most as big as -11?
False
Let b = 7/498 - -4037/13944. Let h = 7/8 - b. Is 0 at most h?
True
Let w be 28/(-98) + 278/(-7). Let d = w - -39. Which is smaller: -11/5 or d?
-11/5
Let k = -12.9 - -13. Let m = 359 - 356. Is k at most as big as m?
True
Suppose -10*v + 4 + 16 = 0. Let u = 4374 - 240579/55. Let n = 523/165 - u. Which is smaller: v or n?
v
Let s = -143 + 146. Suppose -2*o + 24 = j - s*j, -4*j = 5*o - 24. Let h be 34/4 - (-2)/(-4). Is o at most h?
True
Let c = -263 - -260. Is c bigger than 171?
False
Suppose -4*g = d + 17 + 30, 0 = 5*g + 3*d + 50. Suppose -120 = 4*z - 20. Let k = z - g. Is k greater than or equal to -13?
True
Let n = -683 + 709. Let f = 0.417 - -25.483. Let u = f - n. Is u smaller than -1?
False
Suppose 2*n + 1725 = 897. Is -414 less than or equal to n?
True
Let y be (-3 - (-21)/9) + 640/(-14). Let x = -3977 + 12071/3. Let r = x + y. Are r and 12 non-equal?
True
Let z be (-2)/(-2) + -1 + -1. Suppose -j - 16 = -5*j. Suppose -j*k - 14 = 2*r - 0*r, -5*r = 3*k + 28. Is k > z?
False
Let z = 8 - 8. Let r be (3 + -1)/6*3. Let w be r/(-4)*8*(-1)/(-35). Which is greater: z or w?
z
Let m = -20 - -19. Let o be (2/3*m)/2. Is -0.2 > o?
True
Suppose 50 = -2*y + 5*f, -2*f + 23 = -y - 0*f. Is y > -15?
False
Let f(g) = g**3 - 19*g**2 + 37*g + 10. Let y be f(17). Which is greater: y or 63?
63
Let d be 2*(-41)/123*(-5)/22. Which is smaller: 1 or d?
d
Let d be 1 + 2 - (0 + (-135)/(-65)). Which is smaller: d or 2?
d
Suppose -99 = -6*s - 87. Suppose 5*z = x - 7, 0*x + 5*z = -3*x - 19. Let t = 1 - x. Which is smaller: t or s?
s
Let m = -1566 + 1570. Which is bigger: m or 27/2?
27/2
Let r(z) = z**2 + 13*z + 14. Let f be r(-12). Let y = f + -11. Let m = 10 + y. Which is smaller: 1/8 or m?
1/8
Suppose 4*j - 2*j + 1 = -5*w, 2*w + 5*j + 13 = 0. Let d be (-298)/14 - ((-15)/(-21) - w). Is -21 bigger than d?
False
Suppose 7*u = 3*u - 20. Let k(z) = 13*z - 4 - z**3 - 12*z + 0*z**3. Let d be k(0). Which is smaller: u or d?
u
Let c be (-7 - (-40)/4)/(8 + -5). Is c at most as big as 2/767?
False
Let r = 182 - 81. Is r equal to 0.3?
False
Let d = 744 - 745. Suppose 15 = 3*i - 0*i. Let z be (1/(-5))/(4/i). Does z = d?
False
Suppose 0 = -7*d + 2*d + 15. Suppose 4*v = 5*o + 52 + 4, -v + d*o + 21 = 0. Suppose 0 = v*c - 14*c. Is -0.2 at least c?
False
Let d be (-5)/(-3)*(0 - -3). Let f = -74 + 119. Let z = 45.2 - f. Is z at least as big as d?
False
Let j = 990 - 991. Which is smaller: j or 10/29?
j
Suppose -2*d + 19 = 5*b, b + 2*d - 5 = 2. Let c be b + 52/(-4 - -8). Let z = c - 17. Which is bigger: 6/7 or z?
6/7
Let x(z) = 3*z**2 - 3*z - 2. Let q be x(-1). Let u(t) = 3*t - 9. Let d be u(q). Let s be d/(-5) - 66/(-90). Is s < -1?
False
Let o(t) = 129 - 67 - 61 + 9*t - t**2. Let b(i) = -i**2 - i + 9. Let z be b(0). Let s be o(z). Which is greater: 2/21 or s?
s
Let j = -0.163 - -0.063. Which is smaller: 177 or j?
j
Let t = -857/12 + 72. Let n(k) = -k**2 + 19*k + 42. Let i be n(21). Which is bigger: t or i?
t
Let v = -65.27 - -65. Let m = 24.73 - v. Let i = m + -25.13. Is -1 less than i?
True
Let r = 0.2442 + -0.0442. Which is smaller: r or 0.091?
0.091
Let t be 304/168 + (2 - 0) + -2. Is 1 greater than or equal to t?
False
Let j be (1 - -6 - -146) + 1. Which is smaller: 153 or j?
153
Let f = -3 - 0. Let w = -5 - f. Let j be -2*(-4)/(-56)*w. Which is smaller: j or 0?
0
Let r be (4/440)/(2/15). Suppose 2*p = -6, 4*u - 4 + 2 = 2*p. Which is bigger: u or r?
r
Suppose -13 = 3*v - 76. Suppose -261 - 1272 = -v*d. Is 73 less than d?
False
Let t be (-26 - -3) + (-6)/(-2). Let h(b) = b**2 - 5*b - 43. Let s be h(-6). Let w = s + t. Is w smaller than 3?
False
Suppose 782*f - 441 = 791*f. Which is bigger: -628/13 or f?
-628/13
Let t be 4 - 0 - (-3 + 1). Let o be 3 - t - (-4 - 0). Let g(x) = -x + 5. Let c be g(3). Which is smaller: o or c?
o
Suppose p - 6 = -2*w, -3*p + 0*p = -w - 4. Suppose -q - p*c = -12, -4*c = 10*q - 11*q - 6. Suppose 2*b - 12 = -0*b. Are q and b equal?
True
Let d(u) = -2*u - 21. Let z be d(0). Let f be (17/(-5))/(z/105). Is 18 equal to f?
False
Suppose -d + 2*c = -3*c + 14, 2*d = 2*c - 4. Let o be d/(-4)*1 + (-25)/(-164). Is o equal to 1?
False
Let v = 625.73 + -630. Let o = -0.27 - v. Is -0.1 at most as big as o?
True
Let d = -9657/586 - 6/293. Is d bigger than -1/4?
False
Suppose -5*i - 5*o = -430, -6*i + 250 = -3*i + 5*o. Let d(q) = -791*q + 2462. Let k be d(3). Is k at least as big as i?
False
Let j = -35246/565 + 312/5. Let i = -329/565 - j. Which is greater: i or 12?
12
Suppose -2*y - 5 = -5*j + 3*y, -4*j + 18 = 3*y. Let b be -5*(2 - -1)/j. Let d = -227 + 445/2. Is b < d?
True
Suppose w + 11*s - 12*s = 2, -w - 4*s - 3 = 0. Which is smaller: w or 5/541?
5/541
Let k(l) = -2*l + 10. Let t be k(5). Suppose 6*p + 27 - 69 = t. Is 7 at least as big as p?
True
Let i(y) = y**3 - 8*y**2 - 7*y + 9. Let s be i(7). Let w = -454 + 365. Is s greater than or equal to w?
True
Let w be (16*-5)/4*2/2. Let s be (w/25 + (-2)/10)*1. Which is greater: s or 2/23?
2/23
Let u(f) = -f**3 + 7*f**2 + 6*f - 13. Let t be u(7). Suppose -77 = -2*o + 5*c, -o + 5*o - 118 = -2*c. Which is smaller: t or o?
t
Let y = -60 + 61. Let o = -39 - -28. Let d = o - -10. Which is greater: d or y?
y
Suppose 12*t - 2 = 14*t. Let x(u) = u**2 - u - 6. Let q be x(-4). Let j be 2/(-4) + 1/q. Which is greater: t or j?
j
Let z = 37 + -33. Suppose -z*q + 4*t + 11 = -5, -4*q = -3*t - 13. Which is greater: 0 or q?
q
Let a = 33 + 666. Is 1397/2 at most as big as a?
True
Let p = 1242800/77 - 114966/7. Let o = p - -284. Which is greater: 1 or o?
1
Suppose -a - 22 = 2*a + c, -5*c = 5. Let h be 13/4 + (a - -4). Let m = -2 + 1.8. Are m and h nonequal?
True
Let k = -897/4 + 236. Le