 3/(-7). Is 160/17 != y?
True
Suppose -3*k + 73 = -2. Let u = 24 - k. Which is bigger: u or 2/5?
2/5
Suppose -13 + 2218 = -35*w. Which is smaller: w or -65?
-65
Let k(c) = 3*c - 15. Let q be k(6). Suppose r + 3*p = -2*p, 3*r + q*p = 0. Which is bigger: r or 2/99?
2/99
Let u = -288 + 316. Which is smaller: 141/5 or u?
u
Let d be (-528)/(-308) - (-2 + 4 - 0). Do d and -1645 have the same value?
False
Let d = -12 - -4. Let n = -6 - d. Is n less than -5?
False
Let g = -14 + 16. Suppose -3*u + 2*h = -13, -g = -2*h - 6. Suppose -4*v - 4 = -f, -5*v - 1 = -u*f - 3. Is f smaller than -4?
False
Let z be 2/7 - (-58)/(-56). Let a = -31 + 28. Let h be a/12 + (-2)/(-8). Is h >= z?
True
Suppose -2270 = -5*y - d, 0 = y - 2*y + 5*d + 480. Suppose -s + y = 6*s. Are s and 66 unequal?
True
Suppose 5*z = -2*v + 9, -3*v + 3*z = v - 57. Let t be (-24)/(-9)*(-1)/v. Is -0.01 greater than t?
True
Let u be 169 + 8/(72/81). Which is smaller: u or 179?
u
Let f = 26 - 17. Suppose 25*g = 31*g - 1044. Let n = g - 493/3. Is n smaller than f?
False
Let j = -8 + 11. Suppose 0 = -2*b + 2*b + j*b. Let v = 22 - 43/2. Which is smaller: b or v?
b
Let y be (-2 - 4)*(-4)/6. Suppose -y = z - 8. Suppose 5*k - 12 = 2*h + 2, -z*h - 16 = -4*k. Which is smaller: k or 4/3?
4/3
Let m = 0.006 - 39.006. Let j = -40 - m. Which is bigger: j or 0.34?
0.34
Let r = 54 + -53.9. Let z = 0.1 + r. Which is smaller: -0.22 or z?
-0.22
Let y = 94 - 195/2. Let f be 0 - 0 - 1*-2. Suppose 1 = -z - f. Which is smaller: y or z?
y
Let r = -1041 + 583. Which is smaller: r or -459?
-459
Suppose -5*a + 33 = -2*v, -3*a + 6*a - 2*v = 19. Which is smaller: a or 3?
3
Let q = -198 - -195. Is q <= -13/3?
False
Let s = 20.9 - 23.9. Is s less than or equal to -0.25?
True
Suppose 4 + 0 = a. Let x = 62 + -61. Suppose g + 15 = 2*r - x, 0 = -2*r - 4*g - 4. Is r bigger than a?
True
Let x = 400 + 209. Which is greater: 1 or x?
x
Let b be 8/(-6)*8/1424. Suppose -y = 4*n + 13, 2*n = -y - 7 - 0. Which is greater: b or y?
b
Let s = -391 + 390.2. Are -0.5 and s nonequal?
True
Let l = 2456 - 2465. Suppose 0*r = 5*r. Which is smaller: l or r?
l
Let x = -409 + 2861/7. Are -5 and x equal?
False
Let i = 1191 + -1209. Do i and 47 have the same value?
False
Let p(u) = -u**3 + 18*u**2 + 46*u + 40. Let q be p(20). Is q at least 162?
False
Let a = -89 - -91. Suppose 24 = 11*j + a. Is 10/19 smaller than j?
True
Let s(x) = x**3 - 6*x**2 + x - 1. Let h be s(6). Suppose -8 = -k - h. Let f(p) = -4*p + 5. Let l be f(k). Is -7 != l?
False
Suppose 5*u - 2*u = 108. Let a = -39 + u. Which is smaller: a or -1?
a
Suppose 0 = f + 2*k - 595, 4*k - 3914 = -5*f - 939. Let t be f/(-20) - (-6)/8. Which is smaller: -30 or t?
-30
Suppose 0*a = -2*a - 12716. Let o be (-3 - 1) + a/(-605). Let z = o + -38/5. Is -1 greater than or equal to z?
True
Let g = 6001/8 - 750. Is g > -12/13?
True
Let c be -1*(-2 + (15 - 2)). Let w be (-10)/50 + 2/(20/(-118)). Which is bigger: c or w?
c
Let n be (7 + -7)*(1 - 0/1). Which is smaller: 1/11 or n?
n
Suppose -5*f - 6 = 14. Let r = 31 - 26. Let n be (f/(-10))/(r/(-75)). Which is smaller: n or -4?
n
Let c = 2/3 - 1. Let y = -0.09 + 0.1. Which is greater: c or y?
y
Let s be -39*1*(-16 + -15). Which is bigger: s or 1210?
1210
Let v be (-21)/(-6)*60/21. Suppose 3*h + 3 = -2*z, 3*h - h + v = -4*z. Are h and -1/21 unequal?
True
Let w be ((-113)/678)/(((-10)/12)/(-5)). Is w smaller than -703?
False
Let r = -0.48 - -0.26. Let u = -0.11 - r. Let h = 0.11 - u. Which is greater: h or -1/7?
h
Suppose 13*f - f + 48 = 0. Suppose -3 + 27 = -4*j. Let y be 12/(-198)*j/f. Is y smaller than 0?
True
Let k(o) = 3*o**3 - 2*o + 1. Let h be k(1). Suppose h*g = -2*s - 1432, -2172 = 4*g - g - 3*s. Let m be 208/g - 4/(-18). Is 1 bigger than m?
True
Let q = 62 + -46. Suppose -2*s - 3*y = y + q, 0 = 3*s + 2*y + 24. Is s less than -7?
True
Let b(g) = 4*g**2 + 5*g - 4. Let k be b(1). Suppose 0 = -r + k*r - 4. Do r and 6/5 have different values?
True
Suppose 570*z - 562*z = 176. Is z equal to 22?
True
Let u = -1432/165273 + 10/619. Is -1 > u?
False
Let w be 26 - (-6 + 5 + (-6)/(-3)). Which is greater: -15 or w?
w
Let r(s) = s**3 - s**2 + 15. Let x be r(0). Let g(k) = -3*k**2 + 167*k - 94. Let l be g(55). Is x greater than l?
False
Suppose w - 2*g - 2 = 0, w + 3*g = 3*w - 7. Let k(b) = -b**2 - 5*b + 1. Let t be k(-5). Let r be (((-9)/3)/(-6))/t. Is w != r?
True
Suppose 167*w = 97*w - 12950. Which is bigger: w or -183?
-183
Let t be (-40)/(-19) - (0 + 2). Suppose 3*y - 2*y = 4. Let x be 3/9 - y/3. Which is smaller: x or t?
x
Let k(m) = m**3 - 11*m**2 - 11*m + 24. Let w be k(12). Which is smaller: w or 38?
w
Let v = 424 - 411. Is v less than or equal to 97/7?
True
Suppose -3*c + 8*c + 45 = 0. Let k = 21.2 - 21. Is c less than k?
True
Let s = -411 - -388. Which is bigger: -252/11 or s?
-252/11
Suppose -5*a - l + 7 = -12, -4*a + 4*l + 20 = 0. Suppose -29 - 13 = -4*f + 2*m, -3*f - a*m = -37. Is f equal to 15?
False
Let l be (-18)/8*(22/6 - 3). Suppose 3*y - 2*y + 2*z = -41, 0 = -3*z. Let a = -163/4 - y. Which is greater: l or a?
a
Let k be 100/(-12) - 3*(-4)/36. Let z be (1 - (-4)/(-3))/(k/(-48)). Let s be 0 - (6/10 + -1). Which is smaller: z or s?
z
Let w = 0 + 1. Let h(d) = -33*d - 1649. Let k be h(-50). Are w and k non-equal?
False
Let q(n) = n**2 - 30*n + 141. Let z be q(19). Is z equal to -71?
False
Let y(a) = a**2 + 5*a - 4. Let w be y(-5). Suppose 0 = -13*p - 19 - 46. Let s be 62/30*-3 + (-1)/p. Do s and w have the same value?
False
Let i be (-5)/(600/16) + (-52)/150. Which is smaller: i or 0.06?
i
Let y be (-2)/(-10) - (-36)/(-60). Which is smaller: -2/11 or y?
y
Let g(z) = z**3 - 39*z**2 - 14*z + 126. Let c be g(39). Are c and -419 unequal?
True
Let w = 151.8 + -150.8. Let z = 0.2 - 0.5. Which is smaller: z or w?
z
Let x = -62/3 + 21. Let f(w) = w**2 - 3*w + 2. Let s be f(4). Let y = s + -7. Is y greater than or equal to x?
False
Let n = 4577752642/711 - 6438473. Let a = n + 9/79. Is -2 less than or equal to a?
False
Let h(o) = o**3 - 6*o**2 + 14*o - 14. Let q be h(3). Is 46/35 greater than q?
True
Let o = 0.03 - 0.03. Let w = 4 - 7. Let r = o + w. Are 1/2 and r nonequal?
True
Let u = 0.1 + 0.9. Let q = -5.47 + 5.4. Let b = q + -0.04. Which is greater: u or b?
u
Let v be (-3 + 5 + -2)/((-6)/2). Which is smaller: v or 10/17?
v
Let b = 128/3559 + -1007909/811452. Let x = -34/19 - b. Is x >= 0?
False
Let q = -44 - -36. Let g be (24/(-60))/(q/(-10)). Is g at least as big as -1?
True
Let j be ((-1)/(-3))/(10/390). Let s = 8 - j. Is s > -4?
False
Let w be -5 - (-28)/(-8)*-2. Which is smaller: w or 5/3?
5/3
Suppose -c - 5 = -1. Let l be (-2)/(-6)*(5 + (-16 - -2)). Let w = c - l. Which is greater: 1/26 or w?
1/26
Let r(m) = m**2 + 2*m - 7. Let z be r(-7). Let k be ((-8)/(-14))/(8/z). Which is smaller: 6/7 or k?
6/7
Let h = 2 - 2.04. Let b = 864 + -3455/4. Which is smaller: h or b?
h
Let n be -1 + 5 - (-3)/1. Suppose 2*m = n*m. Which is smaller: m or -2/11?
-2/11
Let o be (3/(-26))/(12/(-5)). Is 1 less than o?
False
Let m = 18 - 34. Let y = 67 - 54. Let j = m + y. Which is smaller: 0.1 or j?
j
Suppose -3*c + 35 = 3*t - 22, -c - 53 = -3*t. Let o be (0 + (-74)/6)/(6/t). Are o and -37 equal?
True
Suppose 1869*m - 1882*m = 0. Suppose 0 = 5*f, -23 + 3 = 2*s + 4*f. Let g be ((-3)/s)/(4/(-8)). Are m and g nonequal?
True
Let q = 2792 - 2962. Is q <= -172?
False
Let w = 141 + -108. Are w and 25 equal?
False
Let u = 1 - -15. Are u and 50/3 unequal?
True
Let v be (-6)/(-2*4/(-8)). Let x be (v/(-192))/((-2)/36). Let t = x + 141/208. Which is greater: t or -1?
t
Let f = 29 - 43. Let d be 8/f + 6/7. Is d < 0?
False
Let n = 5.9 + 87.5. Let h = n - 94. Which is smaller: h or -3/2?
-3/2
Suppose -6*o - 318 = -3*o. Let t = o - -83. Does -22 = t?
False
Let k(m) = -m**3 + 13*m**2 - m + 12. Let v be k(13). Let i be (52/8 + v)*(2 - 4). Are i and -11 unequal?
False
Suppose -y - 5 = 2*j, -3*j - 10 = -0*j - y. Let x be j/12 + 38/(-8). Let s = 10 + x. Is 5 less than or equal to s?
True
Let d = 1 - 1. Let l = -7030/49 - -131818/539. Let z = l - 101. Are z and d unequal?
True
Let p be ((-272)/64)/(3/24). Is -35 > p?
False
Let s = -2275 - -2165.66. Let f = s + 128.4. Let n = 19 - f. Which is smaller: n or -2/5?
-2/5
Suppose 3*z = -5*d - 31, 0*d = 5*z - 2*d. Suppose 3*k + s = -k - 5, 3*s = -5*k