2/2 - 13*g + 1. Let j be f(12). Is -3/8 equal to j?
False
Let o(j) = j**3 - 5*j**2 + 2*j + 4. Let m be o(4). Let p be ((-1)/(-2))/(1/2). Suppose 5*q + 16 = p. Is m at least q?
False
Let h be 1 + ((-1)/1 - 0). Suppose 4*s = s - 6. Let f be s/6 + (3 - 3). Which is smaller: f or h?
f
Suppose 4*s + 1 = -3. Which is smaller: -6/5 or s?
-6/5
Let y be 20/6*(-30)/25. Is -4 smaller than y?
False
Let g(u) = -u**3 + 10*u**2 - u + 9. Let x be g(10). Do x and -2/13 have different values?
True
Suppose -10 = -5*f - 0. Let y be f - (-21)/(-6) - -2. Which is smaller: y or 4?
y
Let p = 0 + 7. Let o(n) = n**3 - 7*n**2 - 1. Let v be o(p). Do 0.03 and v have the same value?
False
Suppose -5*y + 3*j = 35, 0 = 4*y - 5*y + 2*j - 14. Let w be ((-12)/(-20))/(6/y). Which is greater: w or 2/7?
2/7
Let r be (-99)/(-27) - 1/(-3). Suppose -3*o + o - r = 0. Let k be (-3 + o - -1) + -1. Which is greater: k or -4?
-4
Let j = -39 + 42. Do j and -4/7 have the same value?
False
Let b = 0 - 0.11. Let z = -4.11 - b. Let l = -4.1 - z. Which is smaller: 4 or l?
l
Let h(v) = -v**3 - 4*v**2 - 3*v + 2. Let r be h(-3). Suppose 2*b + r = b. Does -1 = b?
False
Suppose 0 = 2*g + 88. Let r be 2/(-11) - 8/g. Let y = -2/169 + -316/1859. Which is greater: y or r?
r
Let h = -45/4 + 12. Let d = 0.15 + -0.35. Are h and d nonequal?
True
Suppose 3*x + 28 = -5*u, -u - 2*u = 3*x + 12. Let r be (-8)/(3 - -1) + 6. Suppose -3*n + 16 = -3*m - n, -2*m = -r*n. Is m <= u?
True
Suppose r - 3 + 6 = 4*o, 2*r - 1 = o. Do o and -3/11 have the same value?
False
Let g(c) = 9*c - 5. Let t be g(-8). Let m = t - -157/2. Is m less than 2?
True
Let m = 16.24 + -16. Let s = -0.04 + m. Is 4 greater than or equal to s?
True
Suppose 0*x + 2*x - 4 = 0. Suppose -d = x*d - 12. Suppose -3 = 3*f - d*f. Is f at least 2?
True
Let f = 0.02 + -2.02. Let s = -4 - f. Let k = s - -2. Are 0 and k nonequal?
False
Let p = -33 - -13. Let a = p - -22. Is 3 >= a?
True
Suppose 40 = -0*j + 5*j. Let h(c) = 10 + 7*c - 9 - c**2 + c. Let b be h(j). Is b smaller than -2?
False
Suppose 5 + 23 = 4*o. Let z(w) = 0 + w**2 - 7 - 6*w - o*w**2 + w**3. Let d be z(7). Which is bigger: d or -1?
d
Let k be 6 + 6/((-4)/2). Let o(r) = r**2 - 3*r + 4. Let s be o(k). Suppose 6*t - 2*t + s = 0. Which is greater: -2/3 or t?
-2/3
Let f = 0.036 + 1.964. Do 2/3 and f have the same value?
False
Let t = -0.38 - -0.4. Let i be (0 - (-3 + 2))/(-4). Which is bigger: i or t?
t
Let z = -0.08 - -0.12. Let p = z + 0.06. Which is smaller: 0 or p?
0
Let h = -875288/9 + 97114. Let u = h - -140. Is u bigger than 5?
False
Let w be (-4)/(-3)*12 + 1. Suppose -3*m - 15 = j - 4*j, 5*j = 3*m + w. Which is smaller: j or 3/10?
3/10
Suppose -5 = a + f, 0 = -f - f - 8. Suppose 36 = 3*z - z - 4*c, -3*z + 4 = 4*c. Let r be (1 + -1)/(z - 7). Which is smaller: r or a?
a
Let w = -10 + 19. Is w less than or equal to 9?
True
Let c = 0.032 - 19.032. Which is smaller: c or 1?
c
Let k(h) = -2*h**3 + h**2 + 3*h - 2. Let p be k(2). Let g = p + 10. Is 3/4 at least g?
False
Let h = 0.07 + 0.23. Let i = 0.3 - h. Let p = 5.8 + -5.6. Is p at most i?
False
Let m(f) = f**2 - 3*f + 3. Let i be m(2). Let o be ((16/64)/(7/(-12)))/(-1). Which is greater: i or o?
i
Let m be 2/(-2) + 1 + 0. Suppose m = g - 0 - 7. Let j be (-4)/g*(-21)/30. Which is bigger: 0 or j?
j
Let m be 54/12 + 1/(-2). Suppose -5*p = 2*f - m*f + 78, 2*p + 36 = 2*f. Which is smaller: p or -12?
p
Suppose 0 = 5*u - z + 5, -3*z = 3*u + 3 - 18. Suppose -4*o + h + 47 = u, h = -4*o + 6*h + 43. Let m be ((-1)/(-2))/((-2)/o). Is -4 at most as big as m?
True
Let c = -16.63 - 0.37. Let f = 17.3 + c. Is f at least as big as 1/4?
True
Let k be (2 - 27/12)*-4. Let v be (1 - k)/(-4 + 2). Is -1 bigger than v?
False
Let y = -0.9 - -0.8. Which is greater: 3/8 or y?
3/8
Suppose -3*g + 3*p + 1 = -4*g, -3*p - 3 = 0. Let t = 4 - 3. Is g >= t?
True
Let s = 21.5 - 21. Which is greater: s or -0.2?
s
Let w be ((-2)/(-4))/((-2)/40). Let y = -11 - w. Is -2 smaller than y?
True
Let k be (-57)/10 + (-1)/(-2). Let g = 119/20 + k. Which is smaller: 0.2 or g?
0.2
Let r = -73 - -110. Which is smaller: r or 39?
r
Let f = 457/6 + -76. Which is greater: f or 2?
2
Let j = -152726/33 + 4622. Let p = 6 + j. Which is smaller: 1 or p?
p
Suppose -c = -3*i + 10, 4*c - 1 = 4*i - 25. Let y = 161 - 802/5. Which is smaller: i or y?
y
Let l(u) = 4*u**3 - u**2 + 2*u - 1. Let s be l(1). Suppose -m + s*d = -3*m + 14, -4*m = d. Let i = -0.1 + 0.2. Which is greater: i or m?
i
Let w = -8.5 - -6.5. Which is greater: w or 18/11?
18/11
Suppose t = -t + 40. Suppose 0 = 5*q - 4*h + t, 0 = -2*q + h - 6*h + 25. Is q not equal to 4/9?
True
Let z(s) = 7*s**2 - 2*s**3 + 2*s - 2 + s**3 + 6*s. Let a be z(8). Is -4/7 at least as big as a?
True
Let i = 48 + -47. Which is greater: i or 4?
4
Suppose -j = c + 8, 3*c = c - 3*j - 19. Let n(h) = 3*h**2 + 14*h - 23. Let x(g) = -g**2 - 7*g + 11. Let k(s) = c*x(s) - 2*n(s). Let u be k(7). Is u > -8?
False
Let r = -274 - -4656/17. Let w = 4 - 4. Which is greater: r or w?
w
Let z = -14 + 9. Let l = z - -5. Which is smaller: l or 4/7?
l
Suppose 2*y + y = 0. Which is greater: y or 2/39?
2/39
Let c be (-5)/(80/(-12)) - 132/(-16). Which is greater: c or 17/2?
c
Let g = -20 + 20.02. Do 0 and g have the same value?
False
Let x be 2/((-1)/(-1)) - 2. Suppose -5*z + 10 = -x*z. Is z at least as big as 2?
True
Let s be 2 - 4 - 7/(-2). Which is smaller: 1 or s?
1
Suppose -g = 5*j - 5, -4*g - 4*j + 0*j = 28. Let l be g/(-14) + (-10)/(-35). Let s be ((-1)/(-1))/6*-2. Which is bigger: s or l?
l
Let u(s) = s + 5. Let v be u(-6). Let n(x) = -x**3 + 8*x**2 + x + 7. Let a be n(8). Suppose -5*z - a = 5*h, z + 3*z - 3*h = 2. Is v smaller than z?
False
Suppose 0 = 2*i - 2*k - 40, -3*k - 90 = -4*i - i. Let y be -1*(3 + i/(-6)). Which is smaller: 0 or y?
y
Let y = -76 - -84.8. Let s = 9 - y. Which is bigger: -4 or s?
s
Let v = 6 + 0. Let i be 2/12 + (-9)/v. Which is smaller: 0 or i?
i
Suppose d + 1 = -3*m, 7*m = 2*m - 5*d - 5. Is m < -1/9?
False
Suppose -d + 4*v + 9 = -0, v = 4*d - 66. Is d less than or equal to 18?
True
Let b(p) = p + 1. Let x(c) = -2*c + 4. Let v(h) = b(h) + x(h). Let t be v(4). Is t at least as big as -3/2?
True
Suppose 0 = -l + 5*y - 17, 5*y + 8 = 2*l + 32. Let q be (-26)/l - 8/(-28). Let h be (-6)/4*q/(-18). Is 0 <= h?
True
Suppose 2*l - 2 = 14. Let m be 10/(-1)*(-4)/l. Let t be (-2)/m - 26/(-40). Which is smaller: t or -1?
-1
Let b(p) = p**3 + 11*p**2 + 9*p - 10. Let o be b(-10). Let i be (-24)/4*(-1)/10. Is i <= o?
False
Let x(y) = y**3 + 11*y**2 + 11*y + 8. Let j be x(-10). Let d = 0 - j. Suppose -v + d = v. Which is bigger: v or 5/4?
5/4
Suppose -u = -0*u - 1. Let q be (u - 1)*(-4)/8. Let i be 0/(-4) - (-6)/(-14). Is q at most as big as i?
False
Let u = 1.8 + -1.8. Is u > -3?
True
Let q be 14/49 + 16/(-7). Which is greater: q or -6/11?
-6/11
Let a(k) = -k - 19. Let c be a(-12). Is -7 > c?
False
Let o = 7/18 + -26/9. Are -3 and o nonequal?
True
Let l be 4/6 - (-4)/(-9). Let z be -4*5/60*3. Which is smaller: l or z?
z
Let y(d) = d**2 - 5*d + 5. Let p be y(3). Is 2/9 at least as big as p?
True
Let t = 2.8 - 3. Let h = t - -0.1. Let z = h + 0.1. Which is bigger: 4 or z?
4
Let h be -2*(-9)/6 + 270. Let l = h - 1097/4. Let g = 77/68 + l. Which is bigger: g or 1?
1
Let x be (0 - 1) + (0 - -3). Is 2 at most as big as x?
True
Let f = -2149 - -19451/9. Which is smaller: 12 or f?
12
Suppose 6*x + 15 = 45. Is 5 greater than or equal to x?
True
Let l be -1 + (-28)/(-10) + -2. Let z = -54 - -55. Which is bigger: z or l?
z
Suppose -4*q + 20 = -0. Which is bigger: q or 11/2?
11/2
Let o = 7 + -6. Which is greater: 1.4 or o?
1.4
Let w = -13 - -22. Let l = 7 - w. Which is greater: l or -13/5?
l
Let o = -178963 + 5011581/28. Let s = o + -87/4. Which is greater: -1 or s?
s
Suppose 3*x = -2*x + 10. Suppose x*f - 3 = -s, 4*s = 3*f - 8 - 2. Which is smaller: 1 or f?
1
Let d = -1 - 3. Is -2 greater than d?
True
Let q be (-7)/3*27/(-18). Is 3 at least q?
False
Let a = 35.2 + -35. Is a not equal to -3?
True
Suppose q - 6*q = -4*x, -2*q + 5*x - 17 = 0. Suppose q*b = 9*b. Which is smaller: b or -2/5?
-2/5
Let w(d) = -d - 8. Suppose -j + 33 = 2*j + 4*y, 3*y + 26 = 5*j. Let s(z) = -4*z - 24. Let t(x) = j*w(x) - 2*s(x). Let v be t(7). Is -1/6 < v?
False
Let o = -26 - -180/7. Is -1 less than o?
Tru