9 - -497/38. Which is greater: a or y?
y
Let c = -76 - -82. Suppose -8*f + c*f = 0. Is f > -0.06?
True
Let d = 1906 - 1907. Is d at least as big as 5?
False
Let v = 409 - 229. Do v and 179 have different values?
True
Let y = 17 + -33/2. Let x(o) = -2*o - 13. Let j be x(-15). Are y and j equal?
False
Suppose 8*v - 7 = 4*v - u, 13 = -2*v + 5*u. Is v at most -21?
False
Let j be 2/2*(16 - -3). Let w = j - 30. Which is smaller: 3 or w?
w
Let f be ((-30)/20)/((-2)/((-8)/(-9))). Let d = -13.12 + 13. Let w = -0.88 + d. Which is smaller: w or f?
w
Suppose -q = h + 3*q - 19, 4*h + q - 46 = 0. Let m = -19 + h. Let w be m/20 + 53/145. Which is bigger: w or -0.1?
w
Let a = 2.1 + -1.5. Let q(v) = v**3 - 2*v**2 - 4*v - 18. Let t be q(4). Which is bigger: t or a?
a
Let s be -9 + (-10)/65 + 2. Is s less than or equal to -8?
False
Let u = -13 + 24. Let b = -11 + u. Suppose b = -q + 6*q - 10, -4*p = 5*q - 10. Which is smaller: p or 2/49?
p
Let s = -61 + 121. Are 63 and s equal?
False
Let c = -35.02 - 0.88. Let j = c - -36. Is j less than 0.7?
True
Let c be 684/60 + 4/(-10). Which is smaller: 23 or c?
c
Let w(i) = -3 - i + 4*i**2 + 4 - 1 + 1. Let v be w(1). Let o be (v/6)/(22/33). Is o equal to -2/7?
False
Let l = 29 + -146. Let h = -85 - l. Is h <= 0?
False
Let p = -275/3 + 92. Which is smaller: p or 245?
p
Let a(k) = -72*k**3 - 4*k**2 + 22*k - 1. Let o be a(3). Is o bigger than -1914?
False
Let r(m) = -m**3 + 6*m**2 - m + 1. Let q be r(6). Let f = -3210 + 3206. Which is smaller: f or q?
q
Let d be (((-9)/6)/3)/(5/4). Which is greater: d or 89?
89
Let i(k) = 947*k**3 + 6*k**2 + 7*k + 6. Let a be i(-1). Is a at most as big as -942?
True
Suppose -u - 3 = 6. Let r(v) = v**3 - 7*v**2 + 4*v + 1. Suppose 0 = -h + 3*h - 5*b - 2, 0 = h - 2*b - 2. Let s be r(h). Which is smaller: u or s?
s
Suppose -4*t = 5*l - 33, 4*l - 16 = -3*t + 11. Let a(i) = -2*i + 17. Let b be a(l). Is b less than -2/51?
True
Let a(x) = -40*x + 235. Let n be a(6). Is 19 at least as big as n?
True
Suppose -4 = 3*s + 5*f - 34, -4*s = 5*f - 40. Suppose -8*g = -s*g - 10. Which is greater: g or -7?
g
Suppose -f = v - 6*v - 34, -v + 112 = 2*f. Let q be 3/(f/(-4)) - 4/(-45). Do 0 and q have different values?
True
Let b be ((-700)/(-125))/((-1)/(-190)). Which is bigger: 1063 or b?
b
Suppose -2*v + 0*v + 14 = 0. Let o = -29 - -35. Does v = o?
False
Let o be (-18)/(-2) + (-111)/6. Which is greater: 0.02 or o?
0.02
Let i be 2 - (4/4 + -2). Suppose -6*v = -i*v. Suppose v = 2*b - 9 + 5. Is b at least 2?
True
Let r = -18 + 28. Let s be 7*(-2 + -2 + 3)/r. Which is greater: s or -1?
s
Let k = -40 - -31. Let b = -4 - 6. Is k equal to b?
False
Let m = -618 + 3707/6. Let t(b) = 2*b**2 - b - 1. Let o be t(-1). Suppose -a = -o*a. Which is smaller: a or m?
m
Let j = 11 + -17. Let t be (10/(-20))/(j/4). Is 0 bigger than t?
False
Let o = 46.27 - 50.27. Let x = -44/7 + 498/77. Which is bigger: x or o?
x
Let a be ((-835)/10 - -2) + (-1)/2. Which is bigger: a or -412/5?
a
Let m(d) = 15*d + 360. Let x be m(-24). Let g(l) = -2*l**3 - 2*l**2 + l - 1. Let r be g(-2). Suppose 6 = -r*z + 11. Which is smaller: x or z?
x
Suppose -x = -27*x - 3692. Which is smaller: -141 or x?
x
Let y be (3 - 13)*(-232)/60. Let b = -39 + y. Which is bigger: 2/123 or b?
2/123
Let k(a) = -a + 5. Suppose 0 = 2*x + 6, -2*x = 5*m - 6*x - 37. Suppose -3*u - 7 = -4*f, -2 = 3*f - 3*u - m. Let n be k(f). Which is greater: -2/15 or n?
n
Let p = -2.29 + 2.29. Which is smaller: p or -229?
-229
Let b be (9/(-27))/((-3)/18). Suppose -2 = b*n - 0*f - 4*f, -3*f + 6 = 0. Is 5 equal to n?
False
Suppose 2*h - 56 = 5*q - 8, 3*q + 44 = 5*h. Let s = 0 + 5. Let c = s - q. Which is greater: 12 or c?
c
Let y be -1*1 + 1/3*69. Which is bigger: y or 26?
26
Suppose 0 = -j - j. Suppose j = 6*g - 8*g - 64. Let t = -220/7 - g. Which is greater: 1 or t?
1
Let t = -6689/14521 + -1/1117. Let k be (2 + -2 + 2)/(-2). Let l = k + 2. Which is smaller: l or t?
t
Let c(k) = 26*k - 7. Let s be c(-7). Let p be 30/(-135) + 3*(-122)/s. Is 3 bigger than p?
True
Let x = -11/359 + 1955/87237. Which is smaller: 1 or x?
x
Let v = 1578 + -20502/13. Let y = v + -35/52. Is y != 0.038?
True
Let u = 62.6 - 22.6. Is u greater than -0.1?
True
Let m(p) = -12*p**3 - 2*p**2 + 2. Let c be m(1). Let d = -2/106153 + 12101624/9659923. Let k = d - 20/13. Is c >= k?
False
Let c(l) = -9*l + 273. Let h be c(6). Which is smaller: 222 or h?
h
Suppose 2*m - 7*m = -5*k - 50, -16 = -m - k. Let v = -11 + m. Do 2 and v have the same value?
True
Let w = 28 + -20. Let l = w - 8.1. Which is smaller: -0.2 or l?
-0.2
Let m = 196 - 197. Is m <= 0.019?
True
Let y(z) = 23*z - 417. Let v be y(18). Is v at most as big as 0.101?
True
Let h be (0 - 3 - 1) + 1. Let q be -14*h/12 + -3. Is 0.5 less than q?
False
Let c = 53 + -30. Let j(s) = 24*s**3 - 2*s**2 - 2*s + 3. Let x be j(1). Let g = x - c. Is -3/7 at least g?
False
Let a be 5/29 + 2/(-8). Which is smaller: a or 0.1?
a
Let y be (-7)/(-42) + (-1)/(12/3614). Let m be 5/(-10) + y/(-610). Which is greater: -1 or m?
m
Let x be 62/(-184) + 2/8. Let l(z) = 37*z + 11. Let s be l(-2). Let b = 63 + s. Which is smaller: x or b?
x
Suppose 4*h - 6*h = 16. Let s be (h/(-370))/((-4)/10). Is s less than 1?
True
Let n = 4541/450 + -91/9. Are n and -1 equal?
False
Suppose 0 = 4*i - 9*i - 5. Which is smaller: i or -10/9?
-10/9
Suppose 2*j + 40 = -4*k, 5*j + 96 = -4*k + 2. Suppose 13 = 5*b - 27. Let u = j + b. Is u greater than -9?
False
Let o = -5 - -4.8. Let h = -101 + 121. Let x = h - 21. Which is greater: x or o?
o
Let s be ((-9)/(-6))/(-3)*-4. Suppose -148 = s*z - 4*z. Let u = z + -516/7. Is u smaller than 0.07?
False
Let h = 2318.4 - 2318. Is -1/25 >= h?
False
Let d = 7 - 2. Suppose -3*c + 2*p = 3, -d*p + p + 13 = c. Let v be (8/4)/(c + -5). Is 0.3 <= v?
False
Let x(y) = -4*y + 24. Let r be x(5). Let p be r*(0 - (-5)/345). Do 1 and p have the same value?
False
Suppose 5*r + 8*f + 67 = 4*f, -3*f = r + 9. Let g be 294/r - 2/5. Which is greater: g or -22?
g
Let h = -171 + 89. Let g be (-477)/2*3/9. Let l = g - h. Is l > -1?
True
Let l = 0.15 + 83.85. Which is bigger: 1/2 or l?
l
Let k be (-2 + (-58)/(-26))/(-4*141/(-376)). Suppose 0 = 4*p + 2*a - 12, 5*p - 12 - 6 = -a. Suppose -1 = -5*f + j, -p*f + 11 = 2*j - 1. Which is bigger: f or k?
f
Suppose 16 = -3*r - r. Let c be (5/(-1))/(3/9). Let w = c + 13. Is w greater than or equal to r?
True
Suppose 10 = -4*p + 78. Let q = 14 - p. Let t be (1 + q)/((-40)/(-8)). Is t greater than or equal to 0?
False
Let u be 4/18 + 64/36. Suppose u*z = -2*z + 8. Let n(w) = w - 2. Let b be n(z). Is b > -1?
True
Suppose -7*i = -12*i + 55. Let m(j) = -j**3 + 12*j**2 - 12*j + 23. Let v be m(11). Are v and i equal?
False
Let m = 0.074 - -2.926. Let z = 0.02 + 3.98. Let i = m - z. Which is smaller: 0 or i?
i
Let g = -3.12 + 32.12. Let l = 50/3 + -17. Are g and l unequal?
True
Suppose 0 = -3*d - 2*d + 20. Let g(v) = v**2 - 15*v + 2. Let j be g(15). Which is greater: j or d?
d
Let s(j) = 19*j**2 + 2*j + 1. Let w be s(-1). Suppose 7 + w = 5*i. Suppose 13 + 7 = -i*y - 5*q, 2*q = 2*y + 12. Is -5 greater than y?
False
Let p be -1*(-3)/(-2) + 1158/764. Which is smaller: p or -1?
-1
Let k be (-12)/(-60)*(-1 + -1). Which is bigger: k or -212?
k
Let u(d) = d**2 - 5*d + 5. Let q be u(3). Is q equal to 3/47?
False
Let h(j) be the second derivative of -j**3/6 - j**2/2 + 3*j. Let k be h(4). Let x be (-7)/10 + (-2)/(-10). Which is bigger: k or x?
x
Let s(r) = -r**3 + 4*r**2 + 6*r + 3. Let z be s(6). Let w be (50/6 - 9) + 776/(-24). Does w = z?
True
Let t be -5 - -1 - (64 + -6). Which is smaller: t or 2?
t
Let v be ((-2)/(-6))/(1/15). Suppose 3*a - 2*h - 39 = 0, -29 = -v*a - 3*h + 36. Suppose -5*j + t + 62 = 0, 14 = j + t - 2*t. Which is smaller: a or j?
j
Let y be (2 + 3 + -3)*-3. Let u be 22/y - (-9)/(-27). Let l be (4 + 18/u)*8. Which is greater: -6 or l?
l
Let l(o) = -3*o + 109. Let a be l(36). Which is smaller: a or 2/25?
2/25
Suppose -2 = -8*t + 6*t. Let x be t*-1 - (3 + -4). Let p = -3318/13 - -255. Is p less than or equal to x?
True
Let z(r) = -r**2 + 13*r + 16. Let x(k) = -2*k**3 - 2*k**2 - 2*k + 2. Let m be x(-2). Let c be z(m). Let v be 1/(1/1) - 2. Are v and c nonequal?
True
Let i be (6/10)/((-9)/(-30)). Suppose 2*u + i*t - 4 = 0, -4*t + 1 = 2*u - 3*t. Is u at most 2/13?
