+ 12. Which is greater: 3/11 or v?
v
Let y = 1 + -1. Are y and -16 equal?
False
Let j = 79 - 74. Let v(a) = -a**2 + 3*a + 4. Let f be v(4). Suppose -j*s + o - 31 = f, -3*s - 4*o - 44 = s. Is -8 bigger than s?
False
Let y be 15/12*218/10. Let x = y + -27. Do x and 0 have different values?
True
Let u(n) = -n**2 - 7*n - 14. Let k be u(-7). Are k and -17 non-equal?
True
Suppose -z + 24 = 3*z. Suppose f - 2 - 1 = 0. Suppose z*o + 2*m - 8 = f*o, -4*o = -4*m + 16. Is -1/4 >= o?
False
Suppose 3*i = 2 + 1. Let x be 3/(-5) - (234/(-40) + 5). Which is smaller: i or x?
x
Let f be (-256)/144*-6*(-1)/2. Which is bigger: -4 or f?
-4
Let t = 3 + -2. Let a = 3 + -2. Let r be (t/a)/(2 + -1). Which is bigger: r or 2/3?
r
Let y = -14 - -17. Is 2 smaller than y?
True
Let z = -0.3 + 0.1. Let x = 0.2 + z. Let b be (-10)/35 - 8/(-77). Is b greater than or equal to x?
False
Let n = -21.6 + 22. Which is smaller: n or -2/7?
-2/7
Let k = -12 + 18. Suppose 5 = 4*p - 7. Suppose 10 = 5*w, w = -5*h + p*w + k. Is h at most as big as 2?
True
Let y be 56/1036 - (-556)/666. Suppose 1 = -5*u + 6. Which is bigger: u or y?
u
Suppose -7*k = -5*k + 4*z + 14, 5*k = -2*z - 19. Which is greater: k or -21?
k
Let a = 14787.99 + -15104. Let i = a - -318. Let o = -0.01 - i. Which is greater: o or 0?
0
Let w be (-2)/3 + 7572/8154. Let j = 6/151 - w. Which is smaller: j or -1/4?
-1/4
Let q be 4354/(-2562) - (-2)/3 - -1. Which is smaller: 0 or q?
q
Let j = -4 + 3. Suppose 0 = -4*m + t + 4*t - 545, -t + 655 = -5*m. Let p = m + 1301/10. Which is smaller: p or j?
j
Let i be (1 - -2) + 1/1. Let k = -74 + 75. Is i at most as big as k?
False
Suppose 87 = -2*y - 5*f - 55, 0 = -2*y + 4*f - 106. Is -62 >= y?
False
Let n = -56/3 - -259/15. Is 0 bigger than n?
True
Let h(x) = -12*x - 2. Let y be h(3). Let q be (-4)/14 - y/182. Which is greater: 1 or q?
1
Suppose 0 = 62*i - 44*i + 108. Let t(k) = 4*k. Let b be t(-2). Which is greater: i or b?
i
Let z(s) = -12*s - 6. Let l(a) = -11*a - 5. Let v(m) = -6*l(m) + 5*z(m). Let q be v(-3). Let d be q/(-28)*(-10)/15. Which is smaller: 1 or d?
d
Let r be (-152)/(-16) - (-6)/(-4). Which is smaller: 6 or r?
6
Let v = 34 + -34.08. Is 2/5 greater than v?
True
Let t be (5/10)/((-2)/(-68)). Let s = -33/2 + t. Which is bigger: 2/7 or s?
s
Let f = -0.02 + 0.06. Let g = 0.41 - f. Let r = -0.07 + g. Which is bigger: r or 1?
1
Let o(l) = l**3 + 3*l**2 - 8*l - 5. Let x be o(-5). Let n = -29/2 - x. Which is smaller: 2 or n?
n
Suppose 0*t - 4 = -2*t. Suppose -w + t*w - 3 = 2*g, 0 = 2*w + 3*g + 29. Let h = 2 - 10. Is h at least w?
False
Suppose 3 = d - 0. Suppose -2*c = -c - d. Let l be 3*(c + (-39)/12). Are -1 and l non-equal?
True
Let a(j) = -j + 14. Let x be a(7). Let r = x + -8. Which is greater: r or -1/4?
-1/4
Suppose -3*f + 2*f + 6 = -y, 0 = -2*y. Suppose 4*q + 3*m + 13 = 0, -3*q + m + 2*m + f = 0. Is q at least -1?
True
Let z(y) = y + 2. Let q be z(-4). Let a be ((-1)/q - 1)*4. Suppose -20*n + 15*n = 3*w + 24, -4*n - 18 = 2*w. Which is greater: w or a?
a
Let z = 0.009 + -0.009. Let r = -3 + 5. Is r equal to z?
False
Let u be (-6)/2 - (14 + (1 - 1)). Are u and -18 unequal?
True
Let z(c) = c**3 + 7*c**2 + 5*c - 3. Let m be z(-6). Suppose -m = 2*a - 17. Let u = -19 - -25. Which is smaller: a or u?
u
Let w = -14 - -12. Let f = 2.2 - 2. Which is smaller: f or w?
w
Suppose 5*n - 20 = 4*k, k = -2*n + 8 - 0. Is -5/11 != k?
True
Let b be (-15)/(-6)*20/(-825). Is b <= 1?
True
Let p = 733 + -1429/2. Let n = 18 - p. Is n not equal to 1/2?
True
Let v = 2.6 + -2.6. Which is smaller: -33/7 or v?
-33/7
Suppose 6 = -7*z + z. Let b be ((-2)/44)/(1/8). Is z greater than or equal to b?
False
Let j be (-20)/(-39) - (-4)/26. Which is smaller: -95 or j?
-95
Suppose -2*t + y - 3 = t, 0 = 2*t - 5*y - 11. Is 0 greater than t?
True
Let s = 9 + -7.6. Let t = s + -1. Let c = -0.2 + t. Is c greater than -1?
True
Suppose 0 = -m - 2*m - 51. Let z be 4887/m*(-2)/42. Let v = -95/7 + z. Which is smaller: 1 or v?
v
Let k = 20 - 19. Let w be (0 - (-3)/(-18))*1. Is k less than w?
False
Suppose -2*i + 19 = 3*r - 0*r, 0 = i - 5*r + 23. Suppose 0 = -i*k - 2*k - 28. Let g = 17 - 25. Do k and g have different values?
True
Let a(s) = -3*s**2 + 27*s + 17. Let d be a(10). Which is bigger: d or -4?
-4
Suppose 0 = -29*m + 22*m + 42. Is 7 greater than or equal to m?
True
Suppose -3*p = -0*p + 5*i + 25, -i - 71 = 5*p. Let k = p - -11. Which is bigger: -6 or k?
k
Suppose 10 = 2*j - 4*d, -4*j + 10*d = 5*d - 20. Suppose 4*m - j - 3 = 0. Suppose -2*s = -4*z + 6, m*z + 5*s = -0*s - 15. Do z and 0 have the same value?
True
Let g = -48988/15655 - -376/101. Let j = g - 6/31. Let c(a) = -a**3 + 6*a**2 - a + 6. Let t be c(6). Is j bigger than t?
True
Let h = 2/447 - 1451/24585. Which is smaller: h or 1?
h
Let l be (-52)/(-6) - 3/(-9). Suppose -4*n = -l*n + 15. Is 0 less than or equal to n?
True
Let j = -13/57 + 4/57. Is j at most -1?
False
Let w(v) = 3*v - v - v**3 + 3 - 3*v**2 - v. Let h be w(-3). Let i = 6 - 5. Which is smaller: h or i?
h
Suppose 22 = -4*i + 54. Let y be (-26)/i - (-3)/12. Do y and -5 have different values?
True
Let u = -1.7 + 4.3. Which is greater: u or 2?
u
Suppose 0 = a + 5*y + 38, -a - 4*y - 29 = 4. Which is bigger: a or -1?
-1
Let n = -75.82 + 76. Is n greater than 2/7?
False
Let o = 3 - 1. Suppose 0 = -o*v + 23 + 9. Let b be 3/9*(-12)/v. Is b less than 0.2?
True
Let k = -1.1 + -0.7. Let f = k - -8.8. Is f bigger than -0.1?
True
Suppose -3*a = -15, -3*a + 24 = 2*r + a. Let p = 3/2 - r. Is -1 greater than or equal to p?
False
Suppose -2*x + 2 = -3*l, 0 = -5*x + 4*x + 5*l + 15. Let p = 7 + -10. Are x and p equal?
False
Let j = 5/2678 - -1887935/29458. Let l = j - 64. Suppose r = 2*r. Which is smaller: l or r?
r
Let k(s) = 4*s**3 + s**2 + 5*s - 5. Let u(b) = -b**3 - b**2 - b. Let r(x) = k(x) + 5*u(x). Let w be r(-4). Are -5 and w equal?
True
Let s(x) = 8*x - 2. Let q(v) = -9*v + 2. Let y(p) = 6*q(p) + 7*s(p). Let c be y(5). Which is greater: c or -0.1?
c
Suppose 5*b = 2*b + 9. Let o be 0 - (b/(-2) + 2). Which is greater: -1/4 or o?
-1/4
Let o = -5396/273 - -138/7. Let g = o + -11/39. Let u = -4 + 2. Which is bigger: u or g?
g
Let x = 91 + -911/10. Which is bigger: x or -1?
x
Let d be (-3 + 3)/(2/2). Let b be 24/429*391/122. Let s = -2/793 - b. Which is greater: s or d?
d
Let h be 3/(-6)*(395/(-405) + 1). Which is greater: h or 0?
0
Let j = -665/292 - -2/73. Is j bigger than -1?
False
Let z = -14 + 20. Let x be ((-4)/z)/(2/(-3)). Suppose x = 2*j + 5. Is j equal to -1?
False
Suppose -4*j + 2*j - 3*x = 10, 10 = -2*j + 2*x. Let i be (-13)/j - 4/2. Do i and 1/2 have different values?
True
Suppose k = 3*k. Let n = k + 0. Suppose n = 3*s + 3. Is s equal to -4?
False
Let r = 7 - 6. Let z(k) = k**2 - 10*k - 9. Let b be z(11). Are b and r non-equal?
True
Let l(m) = 3*m - 5. Let w be l(8). Which is smaller: 20 or w?
w
Let v = 906/5 + -182. Do 0.1 and v have different values?
True
Let z be (1 - 0) + 5 + 3. Let u = z - 9. Suppose u = 4*n - 4 - 8. Are 3 and n equal?
True
Let x(f) = -f**3 + 5*f**2 + 5*f + 6. Let m be x(6). Suppose -2*b + 7*b - 5 = m. Is b greater than 1/5?
True
Let y(c) = -c**2 + 1. Let b(f) = -f**3 - 6*f**2 - 2*f + 3. Let i(t) = -b(t) + 3*y(t). Let o be i(-2). Which is smaller: o or -1?
-1
Let a be 1 + 6/(198/15). Is a <= 1?
False
Suppose 5*j - 3*d = 416, 2*d = 2*j + 4*d - 176. Which is smaller: 86 or j?
j
Let v = 1.8 + -1.7. Is v < 2/3?
True
Let v(h) = 2*h + 7. Let f(o) = o + 3. Let u(t) = -5*f(t) + 3*v(t). Let a be u(-6). Let y = -7.2 + 7.2. Is a at most y?
True
Suppose -8 = 2*y - 0*y - 2*m, 3*y - m + 2 = 0. Suppose y = -2*l + 11. Which is smaller: 4 or l?
4
Suppose 105 + 55 = 8*y. Is y <= 19?
False
Let c = -6 - -4. Let k = 3 - 9. Let j(n) = -n**2 - 5*n + 3. Let s be j(k). Do c and s have the same value?
False
Let j = 3.3 + -5.2. Which is smaller: -1/2 or j?
j
Let z = -8.1 + 1.1. Let l = z + 7. Let b = 62 - 247/4. Do b and l have different values?
True
Let h be 4/6*(-3)/2. Suppose -3*l = -4*i - 4*l + 5, -5*l = 5*i - 25. Let n = i + -1. Is h <= n?
True
Let c = -5 + 4.4. Let a = -0.7 - c. Let u = -0.1 - 0.1. Which is smaller: a or u?
u
Suppose -3*m - 10 - 20 = 0. Let q = -8 - m. Which is smaller: q or 14/5?
q
Suppose -2*r + 5 = 3*r. Let p be 10/285*(-3)/11. Let t = 223/1463 + p. Which is greater: r or 