uppose 10198 = -54*j - 17126. Which is smaller: -504 or j?
j
Let t = -76 - -81. Suppose 4*o - 24 = o - 4*n, 4*n + 8 = t*o. Let m = 4 - 1. Are m and o equal?
False
Let d = 1367 - 1382. Do d and -36 have different values?
True
Suppose 4*t - 2*t = -4. Let b be (16/5 - 3)/(24/(-390)). Is t <= b?
False
Let q = 36 + -30. Suppose -q*l + 0 = -6. Which is smaller: 7/8 or l?
7/8
Suppose 3 = -g - 3*l - 3, 4*g - 9 = -l. Suppose 0*w - g*w - 2*m = 20, 35 = -5*w - 5*m. Let y(b) = -4*b**2 + b + 1. Let u be y(-1). Which is smaller: w or u?
w
Let i be 22/8 + (-2)/(-8). Let y = -111 - -115. Let l = i + y. Which is greater: 8 or l?
8
Let o be 6/171*(-36)/(-2). Let v = -122/133 + o. Let t(u) = 4*u - 39. Let w be t(10). Which is smaller: w or v?
v
Let b = 0 - 0. Let k be (7 - 30/4)*-3. Which is greater: b or k?
k
Suppose -4*o - 2*f = 11 + 9, -5*o - f = 31. Let g be 4/58 - (-30 - (-4184)/116). Are g and o equal?
False
Let p = 20 + -79. Let s be 2561/44 - 162/(-297). Let z = s + p. Which is smaller: z or 2?
z
Let q(j) = j**2 - 2*j + 2. Let n be q(1). Let z(o) = o**2 - 14*o + 14. Let g be z(13). Let d be g + 45/24 + -3. Are d and n unequal?
True
Let c be (-4)/(-2)*(-252)/168. Let d = 277/2 + -141. Is c smaller than d?
True
Let j be ((-15)/(-36))/((-9)/24). Let k = -1 - 3. Let r = 2 + k. Which is greater: j or r?
j
Let k(r) = -r + 5. Let a be k(6). Let b be -3 - ((-3832)/384 - -7). Which is greater: a or b?
b
Let m be 6/(-12) - (-6)/4. Let d = 7 - 4.5. Let x = 0.5 + d. Is m less than or equal to x?
True
Let h(l) = 2*l**3 + 25*l**2 - 15*l - 17. Let u be h(-13). Suppose -136 = -u*g - 8*g. Do 10 and g have the same value?
False
Let y = 524 + -17288/33. Let t be (-2)/10 - 52/65. Which is smaller: y or t?
t
Let y = 115 + -114. Let j be y/2 + 27/(-54). Which is smaller: j or 3/17?
j
Let u = 35 - 31. Let r = 0 - -3. Suppose -4*g = -2*b + 14, g = r*b - 2*b - u. Which is smaller: 3 or b?
b
Let l = -0.7 - -1.3. Let b = 3 - 2. Which is smaller: b or l?
l
Suppose -4*d + 4 + 32 = -3*r, d + 4*r = 9. Suppose 5*f - 12 = 43. Let y = f - d. Is 3 at least y?
True
Let i = -1861 - -1777. Which is bigger: i or 1?
1
Let d = 34 + -14. Let v = 51 - d. Which is greater: -1/3 or v?
v
Let w = -981 - -8843/9. Suppose -5*z - 760 = -770. Does w = z?
False
Suppose 29*a - 28*a - 305 = 0. Is 305 at most a?
True
Let n = -179 + 196. Is 11 smaller than n?
True
Suppose -11*t - 624 = -2637. Is 184 > t?
True
Let w be (-2)/(-4) + (-2)/4. Let t = w + 3. Suppose -i = -t*i + 4. Which is greater: 5/4 or i?
i
Let v be (2 + (-90)/50)*25/2. Which is smaller: -2/133 or v?
-2/133
Let y = -24 - -38. Let q = -1 - -1. Suppose b - 4*h + 8 = q, -5*b + h = -h - y. Do b and 3 have different values?
True
Let a(j) = 3*j - 5. Let n be a(4). Let q = 0.09 - 0.19. Which is greater: q or n?
n
Let j be (-360)/(-513)*(-735)/2. Let s = j + 258. Is 0 at most as big as s?
True
Let u = 527/5 - 106. Let l = 1/65 - -5/13. Is u != l?
True
Suppose 4*c - 6070 = -5*q, 3*q + 2467 = 3*c - 2072. Is 1515 > c?
False
Let q = -1144.1 - -1144. Is -362 > q?
False
Suppose 7 - 10 = x, i - 2*x + 452 = 0. Is -459 smaller than i?
True
Let n be (22 - 20) + 154/(-86). Is n at most as big as 1?
True
Let x be (1 + (0 - 3))/1. Let t be -1*4 + (-99)/(-11). Suppose 29 = -12*q + t. Do x and q have different values?
False
Suppose 7*w + 21 = b + 3*w, 2*b = 2*w + 12. Which is smaller: b or 1/270?
1/270
Let d = 3 + -6. Let u(l) = 6*l + 3. Let r(c) = 6*c + 3. Let s(t) = -4*r(t) + 5*u(t). Let a be s(d). Which is bigger: a or -1?
-1
Let n = 8 - 4. Suppose -n*i + 6*i = -28. Let a be (-4)/(-14) - (-18)/i. Is a less than or equal to 1/26?
True
Suppose 5*a + 14 = 2*z, 2 = -3*z - a + 6. Is z smaller than 23/7?
True
Let j = -25156/45 - -559. Let q = 10 - 13. Do j and q have the same value?
False
Let r = 1719 - 1719. Which is greater: -524 or r?
r
Suppose -j + 219 = -3*b, 9*j - 12*j - 9 = 0. Is b > -76?
True
Let s = 16 + -10. Suppose 7 = g + s. Let u be 1/g - 104/24. Which is greater: -4 or u?
u
Suppose 0 = -4*a + 2*p - 54, 5*p - 19 = 5*a + 61. Let z = -42 - -31. Is a at least as big as z?
True
Let r(u) = -u**3 + 7*u**2 + 9*u - 5. Let d be r(8). Let k be (-26)/(-8) - (-2)/(-8). Let w = k - 3. Which is bigger: w or d?
d
Let i(a) = a**2 + 8*a - 18. Let b be i(-10). Suppose b*f - 5*f = 12. Are -6 and f non-equal?
True
Let i(u) = -u + 16. Let b = 79 + -54. Let w be i(b). Is -7 at least w?
True
Let t be (-2)/70*15/(-2). Let h = -21 + 29. Let v = -7 + h. Is t at least as big as v?
False
Let g = 42 + -43. Which is smaller: -25/7 or g?
-25/7
Let a(r) = -117 + 117 + 5*r. Let k be a(4). Let l be (k + -11)*(0 + 1). Which is smaller: l or 11?
l
Suppose 36*x - 456 = 12*x. Which is bigger: x or 16?
x
Let o = -915/7 + 131. Let k(m) = 5*m + 1. Let f be k(1). Suppose -2*g = 5*l + 6, -f*g + 3*g - 9 = 5*l. Which is smaller: l or o?
l
Suppose 0 = -i + 4*o - 7*o - 10, -i - 5*o = 14. Does i = -39/8?
False
Let x = -4 - -30. Let v = 32 - x. Let w = -2.2 + 0.2. Is w < v?
True
Suppose 22*n = 267 - 267. Let a = 188 + -4137/22. Which is smaller: a or n?
a
Let r = 85 + -85. Is 3/11 >= r?
True
Suppose 4*l + 8 = 0, -v - 5*l - 5 = -0*l. Suppose -v*z + 3*z = 0. Suppose 2*i - 11*n + 2 = -6*n, n = -i - 1. Is i greater than z?
False
Suppose 2*k + 4*c = 54, 12*c - 25 = -k + 9*c. Which is bigger: k or 61/2?
k
Let n be (19 + -18)*1*67. Let d = n - 269/4. Which is bigger: d or 2.6?
2.6
Let j(w) = 20*w**2 - 3*w + 9. Let l be j(3). Let y = -894/5 + l. Is y != 2?
True
Let j = 2133/26 + -82. Which is smaller: 2/3 or j?
j
Let f = 1553 + -1553. Is -18/23 <= f?
True
Let z be (12 - -1)*(3 + -2). Suppose -z = m - 3. Let x = -0.9 - 0.1. Is x bigger than m?
True
Let d(t) = -7*t - 13. Let n be d(-3). Suppose -13*j + n*j + 15 = 0. Are j and 1 nonequal?
True
Suppose 5*l - 3*n - 1 = 0, -7*l + 3*n - 1 = -3*l. Suppose 0 = 9*c + l + 7. Is c > -1/4?
False
Let s(b) = 0*b + 25 - 13 + b + 17. Let o be s(-10). Let u be 5/12*(21 - o). Which is greater: 2 or u?
2
Let k(d) = -d**3 + 3*d**2 + 6*d - 6. Let a be k(4). Suppose -3*o + 2*g = -2*o + 10, -2*o + a*g = 14. Let n = -3169 - -9497/3. Does o = n?
False
Let r = 7.228 - 0.128. Let l = -26.9 - r. Which is smaller: l or -2/3?
l
Let v = -22 - -84. Let d = -63 + v. Let q = -6 + 4. Do d and q have different values?
True
Let c be (1/3)/((-24)/14184). Which is smaller: -200 or c?
-200
Let l = 0.1 + -4.6. Let r = 23.5 + l. Let b = r - 23. Is b at most 1?
True
Let v be 2*6*(-3)/12 + 5. Suppose -9 = -v*t + 5*t. Are t and 1 equal?
False
Let u = -185/188 + 11/47. Are 3 and u nonequal?
True
Let d be 1*26/(-4)*(-14)/7. Suppose 0 = -d*n + n - 12. Is n equal to 6?
False
Let r = 255 + 734. Is r smaller than 989?
False
Let z be -7 - (-5 - -4 - (1 + -3)). Let m be 2 - ((-20)/z)/(5/(-200)). Which is bigger: 103 or m?
103
Suppose 4*y = -4*j + 2*j + 18, 4*j = 4*y + 60. Suppose 4*p - 23 + 4 = z, 2*z + j = 3*p. Which is smaller: -2/83 or z?
-2/83
Let j(m) = -m**3 + 3*m**2 + 11*m - 2. Let u be j(5). Let h = 4 - u. Let t be 2/27*(h + -4). Is t smaller than 1?
True
Let g be ((-182)/(-104))/((-3)/(-4) + -1). Let t(m) = -m**2 - 8*m - 8. Let k be t(g). Is k at most -1/29?
True
Let x = 44/3 + -16. Let q(g) = g**3 + 13*g**2 - 12*g + 28. Let m be q(-14). Which is smaller: x or m?
x
Let y = 122 - 124. Let p(w) = -2*w - 2 + w**2 - 2*w**2 + 0*w. Let u be p(y). Do u and -6/11 have the same value?
False
Let m = -202 - -183. Let u = -41.1 + 41. Are m and u nonequal?
True
Let y = -194.892 + -0.108. Which is smaller: 2 or y?
y
Let c be 1/((-1)/(-1)) + (-187)/33. Let j(w) = -w**3 - 4*w**2 - 3*w - 4. Let l be j(-3). Is l >= c?
True
Let b be ((-6)/(-33))/(36/33). Which is smaller: b or -11/6?
-11/6
Suppose 4*i + 2 = h, -13*h + 16*h + 5 = i. Are -1 and h equal?
False
Let t = 13447/760 + -177/10. Which is greater: 1 or t?
1
Let k be ((-42859)/117)/(1930/30). Let p = -74/13 - k. Let c = 610/17949 - p. Is -1 at most as big as c?
True
Let j = 0.0095 - 42.8095. Let m = j - -43. Is -0.14 at most m?
True
Let k be ((2926/8)/(-11))/((-17)/136). Which is smaller: k or 268?
k
Let v = -282 + 270. Is -1 >= v?
True
Let a(v) = v**2 + 65*v - 667. Let j be a(9). Do j and 2/2459 have the same value?
False
Suppose -2*s + 8*s + 210 = 0. Let g = s + 38. Let c be (-33)/(-22)*1/g. Which is bigger: c or 2/9?
c
Suppose 3*m = -3*m - 12. Let o be (m/(-54))/(