et v = 271 + -453. Which is smaller: -181 or v?
v
Let z(w) = -280*w**3 - 7*w + 9. Let x be z(1). Are x and -278 non-equal?
False
Let u = -782 - -1438. Is u > 656?
False
Let g(z) = z**3 - 14*z**2 - 20*z + 4. Let u be g(15). Is u greater than -68?
False
Let a = 11 + -6. Suppose -a*i = 1 + 14. Let l be i + 3/(-24)*-27. Which is smaller: l or 0?
0
Let i(p) = -10 - 1 + 2*p - p. Let m be (45/(-12))/(1/(-16)*6). Let c be i(m). Are -1 and c nonequal?
False
Let r be (6 - 48)/((-225)/6). Which is smaller: 1 or r?
1
Let i be 9*38*(-1)/(-2). Let b = i - 164. Do b and 5 have different values?
True
Let m = -38/9 - -4. Which is smaller: 0.35 or m?
m
Suppose -1320 = 47*f - 23*f. Are f and -269/5 equal?
False
Let d(p) = p**3 - 13*p**2 + 13*p + 10. Let g be (12/(-14))/(-5 + 69/14). Let w be d(g). Is 24 less than w?
False
Suppose -y = -0*y + 3, -4*y = -5*f + 272. Let n be 9/f*(-8)/3. Let k(z) = -z**2 - 10*z - 8. Let s be k(-9). Is n <= s?
True
Suppose 0 = 3*o - 7 + 31. Suppose 4*a - a = -9. Let x = a - o. Is 3 != x?
True
Let m = -0.0259 + -0.0141. Which is bigger: m or 15?
15
Suppose -15*z + 1593 = -927. Are z and 176 equal?
False
Let q = -208329/5 + 180828227/4340. Let h = q - -3/124. Let w be (-176)/44*(0 - (-2)/(-40)). Which is smaller: h or w?
h
Let n = -376 - -377. Is n at least as big as 2/861?
True
Suppose 13*y = 12*y. Which is greater: y or 6/61?
6/61
Let h = 20/579 + 9803/1158. Let s = 0 - 0.1. Which is smaller: h or s?
s
Let u be (1/(-2))/((-4)/80). Let a = 14 - u. Suppose -8 = a*x + 36. Is x equal to -11?
True
Let m = -378 - -378. Which is greater: -2/3067 or m?
m
Let d = 63 + -78. Let l(m) = -m**2 - 13*m + 30. Let w be l(d). Is w less than -15?
False
Let j = 113.8 - 95. Let s = -39 + 20. Let m = s + j. Are m and -3 unequal?
True
Let n(h) = 4*h + 11. Let r be n(-5). Let z = r - 3. Let u = -13 - z. Is 1 >= u?
True
Let g = -1306 + 779. Which is bigger: g or 1?
1
Suppose -5*u = -1 - 4. Let k = 232 + -45007/194. Which is smaller: u or k?
k
Let p = -7099033/228 + 31136. Let c = -15/152 + p. Is -1 at least c?
False
Let b = 2318 - 11588/5. Which is smaller: 919 or b?
b
Let p(j) = 24*j - 48. Let t be p(2). Which is smaller: 1.1 or t?
t
Let o = -1113/475 - -43/19. Is o at least as big as -0.3?
True
Suppose -4*u + 26*q - 28*q + 46 = 0, 5*q = -3*u + 31. Which is greater: u or -9?
u
Let n = 18 + -22. Is -10/9 bigger than n?
True
Let w be 1 - 56968/4884 - -4. Let a = w - 1/407. Which is bigger: a or -8?
a
Let i be (-20)/(-6)*(-36)/24. Let j be (i + 3)/((-1)/(-1)). Which is bigger: j or -1?
-1
Suppose 360 = -2*q + 5*q. Let h be ((-2)/5)/(-2*6/q). Let g be 38/6 + 2/(-6). Which is smaller: h or g?
h
Let o(v) = 8*v + 4. Let m be o(-2). Let d = m + 7. Let f = 4 + d. Which is bigger: f or -10?
f
Let y be (-4 - (-40)/12)/((-1)/(-114)). Is y less than or equal to -73?
True
Let c = 33 - 37. Do -8 and c have the same value?
False
Let l be -1*(-87)/6 + (-6)/(-4). Suppose 4*j - l = 4*o, -3*j - o - 4 = 2*j. Which is bigger: -3/58 or j?
j
Let g(o) = 5*o - 6. Let h(p) = -6*p + 6. Let y(d) = 5*g(d) + 4*h(d). Let i be y(4). Let a be (-9 - i)*(-1 + 3). Is a less than -14?
False
Let x(y) = -y**3 - 6*y**2 + 4*y + 57. Let k be x(-7). Which is greater: 80 or k?
80
Let b be (-525)/10*(-1)/(-9). Which is bigger: b or -7?
b
Let d = -0.017 - -0.057. Let t = -91/3 - -30. Is t at least as big as d?
False
Let f be (((-6)/4)/(-1))/((-18)/(-48)). Let s be (-3 + 6/f)/(195/4). Which is greater: s or -1?
s
Let k be -48*(-2 - 0)/(-4). Let t = k + 11. Let i = 14 + t. Is i equal to 0.5?
False
Let w = -1.3 + 1.6. Let t = -47 + 49. Is t smaller than w?
False
Suppose -3*t - 2*t + 5 = 0. Let k = 9/26 + -277/650. Which is smaller: t or k?
k
Let l = -7/13423439 + -10698413417/129375105082. Let j = 7/122 + l. Which is bigger: j or 1?
1
Let c = -8 - -7. Let b = -22 + 15. Let h = -7.1 - b. Is h less than c?
False
Let d = -65 + 69.1. Let i = d + -5.1. Is i at most -10?
False
Let l = 800 - 799. Suppose -5*i + 3 = -2. Do l and i have different values?
False
Let h = -0.74 - -0.74. Which is smaller: -13 or h?
-13
Suppose 2*r + 3*j + 3 = -96, 2*r + 79 = j. Let p be 2/7 - (-474)/r. Which is greater: p or -13?
p
Let p = -162 - -160. Let g be ((-3)/6)/((-7)/(-10)). Is p greater than or equal to g?
False
Let p(d) = 3*d**2 - 18*d - 1. Let u = -91 - -97. Let f be p(u). Is f greater than -3/8?
False
Let d = -8 - -45. Let r = d - 36. Which is smaller: 1/15 or r?
1/15
Let d = 37 - 78. Let v = -40 - d. Which is smaller: -1 or v?
-1
Let p(l) = l + 8. Suppose -w = -5*w + 36. Let z be 0/w*(-2)/4. Let q be p(z). Which is greater: 9 or q?
9
Let k be -3*(-2)/(-24) + (-610)/(-8). Let r = 1746/23 - k. Is 0.1 greater than r?
True
Let a = -54.5 - -53. Let l = -1.8 - a. Which is greater: l or 4?
4
Suppose -5*y - 288 + 2303 = 5*z, -2*z - 4*y = -816. Which is smaller: z or 397?
397
Let a = 1152628/203 - 5678. Is a at most as big as 0?
True
Suppose 0 = 8*u - 3*u - z - 67, -2*u - z + 24 = 0. Suppose 0 = 8*p - 12*p + 56. Which is smaller: u or p?
u
Let v = 522 + -521. Which is smaller: v or 10/261?
10/261
Let g be 33/7 + 4/14. Suppose 5 - 15 = -g*d. Suppose -4 = -2*n + 4*n, 3*j + 5*n + 16 = 0. Does d = j?
False
Let s = 0.356 - -14.644. Which is bigger: -0.7 or s?
s
Let l = -0.126 + 0.077. Let x = l + -2.951. Which is greater: 5 or x?
5
Let a = 734 + -290. Which is smaller: -0.1 or a?
-0.1
Suppose 5*o - c = 11, -o + 3*c + 5 = 14. Suppose -o*l - 3*v - 72 = 0, 0 = -2*l - v + 6*v - 13. Are l and -18 unequal?
True
Let v be (-190)/(-57) + (-4)/(-6). Suppose -16 = -4*h, 0 = -3*b - v*h + h + 6. Is b bigger than -30/11?
True
Let c(w) = w + 4. Suppose -2*h = -4*m + 144, 4*h - 82 - 62 = -4*m. Let f be ((-12)/m)/((-2)/12). Let q be c(f). Are 6 and q equal?
True
Let c be -5057*(664/654 - 1). Let n = c + 232/3. Which is smaller: n or 1?
n
Suppose 0 = -4*c + 4*i + 256, 3*c + 4*i = 2*i + 212. Suppose 0 = 11*t - 108 - c. Which is bigger: 13 or t?
t
Let h = -0.204 + -8.796. Let o = -0.6 + 0.5. Is o >= h?
True
Suppose -2*u = 4*n - 8, 5*n + 23 + 11 = 3*u. Suppose -4*j = -r + u, -32 = r - 5*r + 2*j. Let p be (12/8)/((-9)/r). Which is smaller: 0 or p?
p
Let y(p) = -p**2 + 3*p. Let u be y(4). Let h(a) = -a**3 - 29*a**2 - 27*a + 29. Let n be h(-28). Do n and u have the same value?
False
Let t be (2 - (-9)/(-6))*-2. Let d be (0/(-4))/(-4 + t + 3). Which is smaller: 1/9 or d?
d
Let z = 29 + -40. Let j(f) = -f - 6. Let w be j(z). Suppose 7*n - w = 2*n. Which is smaller: 1/4 or n?
1/4
Let k be ((-205)/(-15) + -13)*8/(-102). Is k smaller than 0?
True
Suppose 7*m + 3*w = 4*m - 6, 4*m + w + 5 = 0. Which is smaller: -3/1817 or m?
m
Let p = 0.6 + 11.4. Let g = -1 + p. Let k = -10 + g. Which is smaller: k or 2?
k
Let o be (-260)/(-35) + 1/(14/(-6)). Let i be 14/o*(-2)/14. Is i greater than -1/2?
True
Let k(v) = -2*v - 7. Let h be k(-5). Suppose 4*l - h = 1. Let q be 3/2*72/1782. Which is greater: q or l?
l
Let l be -14 + (-1240)/(-90) - 6168/27. Are l and -229 equal?
False
Let b be 10/(-12) + (-564872)/(-677040). Which is bigger: 1 or b?
1
Let q = 67157/55 + -1221. Let f = -18639 + 2050349/110. Let m = f - q. Which is smaller: m or 2/5?
2/5
Let h = 24.2 - -6.8. Let v = -22/87 + -12/29. Which is bigger: h or v?
h
Suppose -12*c + 16*c = -44. Let r = c - -15. Which is smaller: 3 or r?
3
Let o(l) = -24*l**2 + 174*l - 3. Let p be o(7). Which is smaller: p or 270/7?
270/7
Suppose -8 = -2*r, 0 = c + 4*r + 5 - 22. Let b be 4/(-12) + 1 - -5. Let w = 83/15 - b. Do c and w have the same value?
False
Let q be -14 - (-18)/12*20/15. Suppose -4*f = 5*z + 24, -2*z - 3*z = f + 21. Is q smaller than f?
True
Let i = -601 - -607. Let a be (-3)/(-15) + 9/5. Which is smaller: i or a?
a
Let d = 1222.8 + -1223. Which is smaller: d or 0.0251?
d
Let a be (1 - (-1)/1) + 0. Let d be 6/(-18) - a/(-6). Let k be d/((-2)/2*1). Which is greater: 12/11 or k?
12/11
Let y(z) = z**2 + 16*z - 23. Let a be y(-24). Do a and 170 have different values?
True
Let x be 1 - -3*2/(-3). Let o be -1 + 0 + 162/135. Which is smaller: x or o?
x
Let i(v) = -388*v + 127. Let k be i(1). Is k smaller than -261?
False
Let v be (-570)/12*90/25. Is v bigger than -173?
True
Suppose -4*s = 19 + 13. Let h(o) = 2*o + 6. Let a be h(s). Suppose -2*t = -0 + 18. Is a <= t?
True
Let h = -0.01 + 3.01. Let n = 47 + -37. Let g = n + -9. W