alse
Suppose -28*c + 29*c = -3*t - 688, 5*t - 3*c + 1142 = 0. Is t != -235?
True
Let r = -49 + 51. Suppose 0 = 5*v + 3*j - 33, -r*j - 7 = -v - 3*j. Suppose 25 = 7*n - 2*n. Do n and v have the same value?
False
Let f = 631 - 562. Let d = -53 + 120. Which is bigger: d or f?
f
Let f(d) = 6*d**2 + 113*d + 73. Let i be f(-19). Are -8 and i nonequal?
True
Let f = 6926 + -6926. Is -15/167 >= f?
False
Let s(x) = x**2 - 4*x - 2. Let h be s(27). Suppose 3*c - 2*a = -h, 9*a - 856 = 4*c + 14*a. Is c bigger than -210?
True
Let u(q) = 0*q**2 + 40 - 13*q**2 + 5*q + 0*q + 6*q**2 - 34. Let c be (2/3)/((-1)/3). Let g be u(c). Are g and -32 nonequal?
False
Let u = -164855 + 164851. Let l = -2.1 + 0.1. Which is smaller: u or l?
u
Suppose 469*i + 5*t + 9708 = 467*i, -5*t = 10. Which is smaller: -4851 or i?
-4851
Suppose q - 34 = -l - 4*q, l - 24 = -3*q. Let f = l + -11. Suppose -4*s = -3*a - 55 + 66, -3*a = -2*s - 7. Is a less than f?
False
Let c = -1.29 + 1.3. Let u = 2011 + -22125/11. Which is smaller: c or u?
u
Let s be (0 - -4)*1 + (-936000)/233880. Which is greater: 0 or s?
0
Let b be 0*(2/2)/(-1). Suppose 106*z - 109*z - v - 507 = 0, 2*v = -3*z - 504. Let i be 105/66 + z/20 + 8. Is b smaller than i?
True
Let x = -1265891/233 - -5433. Let d(m) = -m**3 - 738*m**2 - 2203*m + 5. Let p be d(-3). Do p and x have the same value?
False
Let n(i) = i**3 - 3*i**2 + 11*i - 4. Let q be n(-6). Let s = 391 + q. Which is smaller: s or 4?
s
Let s be ((-4341)/25)/((-6)/30). Are s and 869 nonequal?
True
Let h = 1310.67 - -206.33. Which is bigger: h or -3?
h
Let k be -45*(-13 + (-912)/(-72)). Let x = 3 - 3.4. Let f = x + -1.6. Is f greater than k?
False
Let x = 315.7 - 333. Let q = x - -17.4. Is -120 smaller than q?
True
Suppose -7686 = -465*i + 591*i. Suppose -c = 5*n + 304, -n = -2*n + 3*c - 48. Is n equal to i?
False
Let l = 1.92 - 2. Let t = l - -3.08. Let b = 693 - 690. Is b >= t?
True
Suppose 42*m - 7918 = 100*m + 6872. Suppose 4*i - d - 3*d + 24 = 0, 2*d - 7 = -3*i. Which is bigger: m or i?
i
Let i = -25 - -74/3. Let y = 151038.2 + -151031. Which is smaller: i or y?
i
Suppose 16 = -2*k + 6*k. Suppose 6*o - k*o = 6. Let v = 7877/2 + -3937. Are v and o equal?
False
Let i be 0*((-3)/5 + 1)/(74/(-185)). Which is smaller: i or 2/4197?
i
Let c be 1159/(-76) - (-3)/12*1. Do -5 and c have the same value?
False
Let b = -200.83 - -197.83. Is b smaller than -1317?
False
Let q(d) = 2*d**3 - 5*d**2 + 10*d. Let t(n) = -3*n**3 + 4*n**2 - 10*n + 1. Let v(c) = 4*q(c) + 3*t(c). Let x be v(-8). Let f = x - -61. Is -16 greater than f?
False
Let q = 0.146 + -53.146. Let m be (-58)/(-12) - (-1)/6. Let z be (-4)/(-6) - m/30. Is z > q?
True
Suppose -39*v = -2*o - 38*v + 56, -86 = -3*o + v. Suppose -176 = 14*q - o*q. Is 10 bigger than q?
False
Let t = 1751491788789/616 + -2843329173. Let a = t - 13265/8. Let f = a + 60/11. Is f at least -4?
True
Suppose 0 = -50*h + 51*h + 4*n + 3850, 2*h + 3*n = -7690. Are h and -3842 non-equal?
False
Let n be 8/(-2) - (-3)/((-18)/(-48)). Let f(a) = 2*a**3 - 9*a**2 + 4*a + 7. Let h be f(n). Let p = 3 + -5. Are h and p equal?
False
Suppose 24*s = 29*s + 4*q - 226, -q = 5*s - 214. Which is smaller: s or 10.2?
10.2
Let r(m) = -54*m + 389. Let u be r(7). Is u greater than or equal to 67?
False
Let a = -158.27 + -2.83. Let m = -161 - a. Is -0.62 < m?
True
Let r be (-15 - 411)*(2 + (-14)/8). Suppose 0 = 10*a - 4*a + 648. Is a at least r?
False
Let x be ((-216)/81)/(49/(-48) + 1). Let n = x - 143. Let s(m) = m**3 - 6*m**2 - 10*m + 5. Let a be s(7). Are n and a equal?
False
Let f = 113 - 106. Suppose -2*v + 374 = 4*x, f*x + 4*v = 3*x + 372. Is 95 less than or equal to x?
False
Let l be (-171)/(-114) + 4 + -2*1. Which is smaller: l or -7.2?
-7.2
Let d = -91987940/57 + 1613887. Let j = d - -73/19. Are j and 68 equal?
False
Let a = -3836 + 3827. Which is greater: 8/9 or a?
8/9
Let g be (-5 + 46/8)*(10300/(-873) + 12). Are g and -1 unequal?
True
Suppose -4*r + r - 45 = 0. Let u = r - -19. Suppose 36 = 3*h + 4*n, -4*n + 3 - 23 = -u*h. Which is greater: -3 or h?
h
Suppose -3*o = 18, 132 = 5*d - o + 141. Which is bigger: -414 or d?
d
Suppose 2*d - 2 = -3*o + 8, -d = 4*o - 10. Suppose d*h = 3*h - 5. Is 1/6 bigger than h?
False
Let q(r) = r**3 - 3*r**2 - 5*r - 360. Let z be q(0). Is -359 at most as big as z?
False
Let q be (-14)/(-30) - (-3)/(-9). Let y = 106 - 103. Suppose -4*m = 5*r + m + 10, -y = 4*r - m. Do r and q have the same value?
False
Let r be -12 + -21 + 39 + (-9285)/1548. Suppose b + 1 = 2*b. Do r and b have different values?
True
Let t be (10/4)/((-4)/96). Let j = -5515/21 - -4262/21. Is j greater than or equal to t?
True
Let b = -2 + 149. Let i = b - 135. Which is smaller: i or -9?
-9
Let r be (-8)/6*6/4. Let f be 32/24 + r/(-9). Which is smaller: 2 or f?
f
Let g = 70 + 206. Let z = 276.04 - g. Which is bigger: z or 2/15?
2/15
Let g = -19837 - -19838. Is g greater than 21/178?
True
Let x(k) = 10*k**3 + 34*k**2 + 13*k + 6. Let q be x(-5). Is q greater than -462?
True
Suppose 1 + 4 = -5*g. Let c be ((2/8)/(805/(-230)))/(6/4). Which is smaller: g or c?
g
Suppose 24 = -6*k + 6. Let o be (-6)/69 + (-2230)/805. Which is bigger: o or k?
o
Let n be (-35)/28*-12*1. Suppose 5*p - 1365 = 5*t - 7*t, 0 = -4*t - 4*p + 2712. Suppose t = 8*h + 539. Does h = n?
False
Let f = 331 - 352. Let s be (10*-2)/(6*(-7)/f). Which is smaller: -7 or s?
s
Let u = 28/27 + -2378/2241. Are u and -1 non-equal?
True
Let d(j) = 2*j**3 + 14*j**2 + 2*j + 13. Let y be d(-7). Suppose 0 = 3*c - 4*c + 5. Suppose w - c = -7. Which is greater: w or y?
y
Suppose -5*p + 2376 = 1936. Which is smaller: 72 or p?
72
Let v = 1.28 + -71.28. Let j = v - -68. Let i be -8 + (-2)/(-1) + 1. Is j less than i?
False
Let f(c) = c**2 + 6*c - 33. Let w be f(-10). Suppose 13*q = -32 - w. Which is greater: q or -3/2?
-3/2
Suppose -9*q = 9*q - 20*q + 30. Is q greater than 227/14?
False
Let m be -13*3*(-4 + 12 - 5). Let z be (m/27 + 5)/(6/495). Is z at least 55?
True
Let b = -342 + 519.66. Let d = b - 176. Which is bigger: d or 0?
d
Let l = -1233 + 1329. Which is smaller: l or 99?
l
Let g = -8222.75 - -8223. Suppose -4*y = -y + 30. Which is smaller: y or g?
y
Suppose p = 2*a - 4, 61*a - 58*a = 16*p + 35. Is a <= -42/745?
False
Let o = -14059 + 14051. Which is smaller: -105/16 or o?
o
Let o = 0.08 + -0.08. Let x = 2364 + -115840/49. Let j = -3/49 - x. Is j bigger than o?
True
Let u = -66 - -88. Let v = 9 + u. Let g be v/(-15) - 20/(-10). Which is greater: -1 or g?
g
Let l = -1131 - -682. Let j = -451 - l. Which is bigger: j or -11?
j
Suppose -26*q - 957 + 1015 = 32*q. Let l be (4/411)/((-8)/12). Which is smaller: l or q?
l
Let b(s) = s**2 - 10*s + 15. Let a be b(8). Let h be a*2 + 40/10. Suppose -57*y = -54*y - 4*o - 4, -y = 3*o - 10. Which is greater: y or h?
y
Let b = 806/7 - 10789/112. Are b and 20 nonequal?
True
Suppose -2*b + 25 = -5*j, -40*b - 15 = 3*j - 39*b. Is -306/77 <= j?
False
Suppose 0 = 4*w - g - 10300, 0 = -3*w + g + 2*g + 7716. Let i be w/72 - ((-6)/27 + 0). Suppose -5*l + 31 = o, -2*l = 3*o - 7*o + i. Are 8 and o equal?
False
Let x = -93.44 + 93.706. Which is smaller: x or 2?
x
Let w be ((-152)/10)/((-79)/(395/(-30))). Which is greater: w or -4?
w
Suppose k - 35 = -4*k. Let m = k + -6. Let c = 14301/50 - 286. Which is greater: c or m?
m
Let n = 49322 - 5030791/102. Let r = n - 1/51. Let z = -22 - -19. Which is smaller: r or z?
z
Let n(f) = f**2 - 6*f - 19. Suppose 5*g + 35 = -15. Let p = g - -19. Let s be n(p). Is s at least as big as 8?
True
Let q = -298258062479/202868477 + -9/4140173. Let o = 1470 + q. Which is smaller: 1 or o?
o
Let f = 1225 - 226. Let o = f - 14978/15. Which is smaller: -1 or o?
-1
Suppose 2*z = -4*t + 76, 18 = 3*t - 4*z - 17. Suppose 4*u + 3*g + t = 0, -4*u - 1 = -3*g - 2. Are -15/23 and u nonequal?
True
Let z(k) = -31*k + 54. Let s be z(14). Let v = 378 + s. Which is greater: 220 or v?
220
Suppose -4*n - 36 - 36 = 0. Let k be (1 + -9)*27/n. Let y be (2 + (-20)/k)*-1*-78. Do 26 and y have the same value?
True
Suppose 0 = -2*l - 8*l + 730. Suppose 71 = -6*h - l. Let u(c) = c**2 + 12*c - 50. Let w be u(-14). Is h greater than or equal to w?
False
Let x be (63/(-378))/((-50)/(-69)). Is x less than or equal to -1?
False
Let i = 5253 - 9426. Is i at most as big as -4177?
False
Let w(r) = 31