
False
Suppose -34*y = -57*y + 874. Is 25 smaller than y?
True
Let t = 0.06 + 2.94. Let s = -2.9 + t. Let g be 4/(8 - 7) - 90/75. Does s = g?
False
Let f = -10419192629/16143 + 645431. Which is smaller: f or 0?
0
Let t be (-3 + 291/(-3))*-1. Let c(q) = q**2 + 4*q - 41. Let p be c(-14). Which is bigger: p or t?
t
Let z = -0.015 + -0.495. Let m = -0.028 - 8.482. Let a = m - z. Do 0.1 and a have different values?
True
Suppose 0 = -5*m + 1598 + 3602. Suppose 5*g - m = 3245. Which is smaller: 858 or g?
g
Let m = 83 + -246. Let v = 155 + m. Which is smaller: -6 or v?
v
Suppose 0 = 5*j + 2*h - 20, 2*j - 23 = -2*j - 3*h. Suppose 3*s + 0*s + 5 = -5*n, -2*n + j*s = 2. Let p be -18 + 3 + (-40)/(-5). Which is smaller: p or n?
p
Let y = -0.052 - -0.075. Let i = 60.957 + -61. Let r = i + y. Which is smaller: r or 6?
r
Let x(f) = 8*f - 1. Let y be x(1). Suppose -y*h - 3*v = -5*h - 59, 5*h - 4*v = 205. Suppose -2*u = 2*i + 28, -4*u + 5*i = h + 1. Is -12 at most u?
True
Let u = 193 - 187. Let d be (-6 - (-32)/u)/(4/(-966)). Is 162 equal to d?
False
Let f(s) = -s**3 + 6*s**2 + 15*s + 12. Let h be f(8). Let r be (21/(-28) - (-3)/h)/(-3). Let o be (-14)/12 + (-2)/(-4). Which is smaller: r or o?
o
Let y be 8/(-184)*(-15)/1275. Which is smaller: -1 or y?
-1
Let n = 240 - 59. Let a = n + -181. Which is smaller: -2.1 or a?
-2.1
Let m be -1 - (1 - 0) - -97. Suppose 4*b - 410 = 3*h, 0 = 7*b + 28*h - 24*h - 625. Do m and b have the same value?
True
Let z = 0.81 + -0.9. Let m = -0.167 + 25.967. Let r = -25.8 + m. Are r and z equal?
False
Let k be (-106 + 107)*73*-1. Is k at least -3?
False
Let d = -122 + 140. Suppose d = 3*s + 162. Is 0.2 > s?
True
Let c be 4/(396/21) - (-222)/(-407). Are -0.773 and c non-equal?
True
Suppose u + 21 = 5*t + 3*u, -4*u - 3 = t. Suppose -4*l + t = -5*o - 24, 0 = -5*o + l - 41. Suppose 8*w + 18 + 46 = 0. Which is greater: o or w?
w
Let r = -0.07 + -0.03. Let j = 0.242 - 0.36. Let m = j - -8.118. Which is smaller: r or m?
r
Let m be (-29)/(-116) - -1*(-19)/(-4). Suppose v - 93 = -5*c, -m*v + 0 - 10 = 0. Let z = 20 - 20. Is c at least z?
True
Let i be -3 + 111*4 + (-39 - -30). Is -0.08 > i?
False
Suppose 4*z - 2*z - 1098 = -2*p, -4*z = 5*p - 2745. Let d be (-6)/(-8) - p/(-36). Let q = 16 - 1. Which is greater: d or q?
d
Let q = -704137 + 700611.19. Let l = -3511 - q. Let o = -15 + l. Does 0.1 = o?
False
Suppose -27 = -7*j + 15. Let s(g) = 22*g - 24. Let a be s(j). Suppose -a = 2*o - 4*y + 8*y, 3*o = 3*y - 162. Is o greater than -54?
False
Let f be (-20735775)/(-12717) - (13/(-9) - -1). Which is bigger: 1633 or f?
1633
Let v be 128/(-147216)*4/(-48). Which is bigger: v or 1?
1
Let y be (-45241)/(-91) - (-10)/(-65). Let v = 189 + 308. Is y != v?
False
Let l(r) = -r**3 + r**2 + r - 1. Let n(a) = -2*a**3 - 12*a**2 + 17*a - 1. Let g(f) = 3*l(f) - n(f). Let o = 141 + -127. Let t be g(o). Is t < -4?
False
Let p = -212 + 342. Suppose -2*c - 8*c = p. Does c = -9?
False
Let i(b) = 22*b**2 - 835*b - 88. Let c be i(36). Which is smaller: c or -1634?
c
Let b = 681270/23 - 29668. Which is smaller: -49 or b?
-49
Let g(j) = -j**3 + j - 38. Let t be g(0). Let a(r) = -3*r + 60. Suppose 4*n - 3*u - 38 = 48, 2*n - 42 = u. Let m be a(n). Does m = t?
False
Suppose -8*u = -10*u - 390. Let h = u - 85. Is -282 >= h?
False
Suppose -46*v - 28*v + 2760 = -14*v. Is 46 equal to v?
True
Let x(s) = 7*s**2 + 5*s**3 + 16*s + s**2 + 3*s**3 - 4*s**3 - 3*s**3. Let u be x(-5). Is -45/8 greater than u?
False
Suppose q = 1 - 4. Let n be -8 - ((-1080)/40 + 24). Which is smaller: n or q?
n
Let y = 175569 + -2284923/13. Which is smaller: y or -194?
y
Suppose 5*w + 207 = 2*m + 421, -5*m = -5*w + 535. Which is smaller: -121 or m?
-121
Let y(d) = -22*d + d - 383 - d + 3*d. Let a be y(-19). Let c be ((-21)/4)/(2/8). Is c at most a?
False
Let j = 0.3 + -0.3. Let w = -1.94 + 3.42. Let p = -30.48 + w. Which is greater: j or p?
j
Let i be (-2 + (2 - 0))/(-20 - -22). Suppose 4*p = b + 6*p + 89, 3*b - 5*p + 212 = i. Is b at least 1?
False
Let t be ((-56)/(-15) - -2) + (-8 - (-6 + 4)). Which is smaller: t or 20.5?
t
Let w = -5096 + 5096. Which is bigger: 2/223 or w?
2/223
Suppose 4 = y, -1094 = m + 2*y - 22. Is m equal to 3/7?
False
Let o be (902/328)/(2/52). Let q = o + -711/10. Which is bigger: q or -235?
q
Suppose -15*y + 221 = 2*y. Suppose 0 = -y*v + 30 - 30. Is v at least 1/64?
False
Let m(b) = -b**3 + 41*b**2 - 7*b + 130. Let r be m(41). Let t = -2671/17 - r. Is t less than or equal to -2?
False
Let x(l) = l**2 - 10*l + 9. Let f be x(9). Let i be -1 - 1 - 1440/(-580). Let d = i - -1/58. Is d <= f?
False
Suppose 0 = 7*k + 257 - 327. Suppose 2*r - 2*p - k = 3*p, 4*p = 3*r - 8. Is -18/131 < r?
True
Suppose -2*q + 61 = 13. Suppose -3*c + 0 = r + 6, 4*r = 5*c - q. Let b be 9/r*-3*2. Is b < 12?
True
Let o = -6413 + 6463. Which is smaller: o or -4?
-4
Let f = -4937 - -4932. Are 7 and f equal?
False
Suppose 0 = -28*z + 54*z + 105664. Let u be z/8896 + (-1)/(-2). Which is bigger: u or 1?
1
Let h = 29029 - 29028. Which is greater: -1/32187 or h?
h
Let k be (11 - 10)/((-8)/10)*276/(-273). Which is bigger: k or 2?
2
Suppose 0 = 5*g - 15*g - 360. Let m = g + 13. Suppose 3*x + 76 = 4. Which is greater: m or x?
m
Suppose -3*q = -5*w - 1260, 0 = -2*w - 3*w. Suppose 0 = -y + 4*y - 4*u - q, 0 = -5*u. Is y <= 140?
True
Let d = -3696 - -3695. Which is smaller: -1/3336 or d?
d
Let j be (5/55)/(2 + 131915/(-65955)). Let s = j + 1196. Is s at least -4?
True
Let k be 0*(-2 - -9)/119. Do 53/110 and k have the same value?
False
Let n = 40.6 - 41. Let l = -0.355 - n. Let p = 4.045 - l. Which is bigger: -7 or p?
p
Let q be 3/(-12)*-14 - (-11)/(-22). Suppose -5*h + 27 = -q*h + 5*w, -9 = -4*h - w. Are h and 1/23 equal?
False
Let v = 2/5819 - -5813/17457. Is 0.0967 less than or equal to v?
True
Let u(r) = 69*r + 15. Let y be u(-3). Let o = 208 + y. Are 11 and o non-equal?
True
Suppose 14*y = 9*y. Suppose y*p = -26*p - 9750. Is p != -376?
True
Suppose 0*z + d = -z + 1, -3*z + 8 = -2*d. Suppose -3*r + 3*v = v - 4, z*r = -5*v - 10. Which is bigger: -6/107 or r?
r
Let i = 3479 + -10453/3. Are i and -7 equal?
False
Let k be (-10)/12 + 1128/144. Suppose 37 = 2*a + 1. Suppose -2*m - 2*o + 2 = 0, m + 5*o + a = -1. Is m < k?
True
Let l = -1185 + 1202.49. Which is smaller: 1 or l?
1
Let v(d) be the third derivative of d**6/120 + 17*d**5/60 - 19*d**4/24 - 25*d**3/6 - 68*d**2. Let f be v(-18). Which is smaller: f or -3?
f
Let n be ((-135846)/20)/(10656/(-480)). Let x = 306 - n. Is 0 at least x?
False
Let m = -1.1 - -1. Let d = -148 - -106. Let j = -91 - d. Which is smaller: m or j?
j
Let g(j) = -j**3 - 4*j**2 + 2*j - 2. Let f be g(-4). Suppose -2 = -m + 2*y, -5*m + 12 = 2*y - 22. Suppose 14 = -8*u - m*u. Is f greater than u?
False
Suppose -7980 = 16*v - 2*v. Let x = -7985/14 - v. Let z = -6 - -5. Is z at least as big as x?
False
Suppose 56 - 6 = 10*v. Suppose -v*c = -c - 564. Is 140 != c?
True
Let g = 41 + -30. Let d = 10.776 - g. Let q = d - -0.054. Which is smaller: q or -2?
-2
Suppose 0 = 5*k - k - 20. Suppose -k*m + 1 = 5*w - m, -4*m = -w + 5. Let a = -35.9 + -1.1. Which is smaller: w or a?
a
Let p = 9333 - 8965. Which is smaller: 372 or p?
p
Suppose 5*q = 2*o + 6, 19*q - 6 = 15*q + o. Suppose 3*c - 3*r + 17 = -q*c, 15 = -3*c + 3*r. Is c <= -2/7?
True
Let l be (-20)/7*((-187)/22 + -2). Suppose l - 28 = d. Is 1 at least as big as d?
False
Let h = -63 - -95.5. Let v = h - 32. Let z = v - -27.5. Which is greater: 0.2 or z?
z
Let o be (2/(-6))/(7/63). Let p be -5 + 7 - -2*o/(-2). Suppose -p*r = -14*r - 54. Is -7 less than r?
True
Let r(b) = 5*b + 4. Suppose -9*n + 0 = -108. Let m be r(n). Are m and 66 nonequal?
True
Let q = 7 - 8. Suppose -g + 40 = -5*g. Let k = g - q. Which is greater: -10 or k?
k
Let i be (-10)/25 - 42211/85. Which is smaller: i or -499?
-499
Suppose 872 = 143*b + 776 - 4051. Let y = 11 - 16. Do b and y have different values?
True
Let g = 29014730447/57004220 + 74/407173. Let z = -509 + g. Let s = 1 + 0. Is s greater than z?
True
Let i = -35 - -34.99. Let r = 0.03 - i. Let c = 0.24 - r. Is -0.4 > c?
False
Let k = -105.7 - 28.3. Let a = k + 134.38. Which is smaller: 1 or a?
a
Let n = -13.25 - -13.3. Let u = -0.05 - n. Which is smaller: -0.41 or u?
-0.41
Suppose -4*n = -3*k - 174, 2*k = -5*n + k + 208. Let x be 