 12?
12
Let y = -1.2 - -1. Let s = y + 0. Which is bigger: s or -0.5?
s
Suppose -3*n + 21 = 3*v, 0 - 39 = -5*v - n. Suppose 0 = -3*l - 2*h + 4*h + 1, 0 = -4*l + h + v. Let r = 1 - -1. Which is smaller: l or r?
r
Let c = 1210 + -1194. Is c at most as big as 202/13?
False
Suppose 70 - 6274 = -3*z. Is 2069 <= z?
False
Suppose 0 = -x + 4, 0 = 5*n + 4*x - 6*x - 32. Let k = -22 + n. Are -15 and k non-equal?
True
Let c = 3816402 + -10077508. Let q = c - -8546409154/1365. Let n = q - 2/273. Is -1 < n?
True
Let m be ((-14)/3)/((-30)/45). Let w be (-1 - -1)*m/14. Which is bigger: w or 4/17?
4/17
Suppose u + 33 = 5*x, -5*u - 2*x = x + 53. Let y(h) = 8*h + 3. Suppose 1 - 3 = f. Let n be y(f). Is n not equal to u?
False
Suppose -279*f = -273*f - 6. Which is smaller: f or 1/12?
1/12
Let q be 10/(-8) - (-13 - 5955/(-500)). Is 1 greater than q?
True
Suppose -5*l = -l - 16. Suppose 0 = 2*x + 5*a - 4, 0*a - 36 = l*x - a. Suppose 13 = -d + 4*g, -5*d + 4*g = 7*g + 42. Is d greater than x?
False
Let a = -21/8 - -85/72. Which is bigger: -2 or a?
a
Let n(a) = -a**2 - 16*a - 38. Let t be n(-13). Is t at least -1/391?
True
Suppose 124 = -4*v + 4*w, 0*w + 89 = -3*v + 2*w. Let g be 3*(-1 - (-2 - 21/v)). Which is greater: 2 or g?
2
Let h be (-2)/(-10) + 46233/385. Let v = -120 + h. Are 0 and v equal?
False
Let o = 197/3 + -60. Is 7 at most o?
False
Let h = -32.6 + 32.7. Which is smaller: h or 0.572?
h
Suppose 6*m = 10 - 4. Are -1/248 and m unequal?
True
Let o = -39 + 42.2. Let l = o - -1.8. Is 0 less than l?
True
Let q = 216 - -352. Which is bigger: q or 570?
570
Suppose -8*h - 48 + 696 = 0. Which is greater: 79 or h?
h
Suppose 15*o - 12*o - 3 = 0. Which is bigger: o or 2/71?
o
Suppose 0 = -2*k + 4 - 2. Let v be (k - -6) + -9 + 7. Suppose h = v - 4. Which is smaller: 1/3 or h?
1/3
Let s(t) = -5*t**2 + 3. Let k be s(-5). Let l = 844/7 + k. Suppose -4*p - 182*y = -187*y + 28, -5*p - 6 = y. Is l bigger than p?
True
Let q be (-47)/329 - (-2)/14. Are 2/429 and q unequal?
True
Let m = -3 + 23/7. Suppose -5*r + 2*c = -270, -3*r - 2*c + 98 = -48. Is m < r?
True
Let p = -112/527 - -54/31. Is p greater than 2?
False
Suppose 0 = -0*u + 5*u - 95. Suppose -2*i - u = l, 0 = -3*l - l - 2*i - 46. Which is smaller: l or 0.2?
l
Let p = 12 - 10.4. Let h = -0.1 + -1.46. Let t = p + h. Are 1 and t equal?
False
Let u be ((-28)/(-64043))/((-308)/(-49) + -6). Is u greater than -1?
True
Suppose 10*a - 69 = -89. Let p = 1 + 0. Let f be (p - (-3)/(-5))*-5. Are a and f non-equal?
False
Let h = -2302/27911 - -16/247. Let o = -21 - -20. Which is smaller: o or h?
o
Let q = -67.653 - -0.653. Is q != 0?
True
Suppose 5*l - h + 8 = 0, 7*l = 8*l + 2*h + 6. Is l not equal to -8/11?
True
Let s = 7016/21 + -334. Let l = 17/42 + s. Is -0.8 at most l?
True
Let h be ((-60)/14)/(5/350*2). Let d be 3/(-3) + (-174)/h. Which is bigger: d or -1?
d
Suppose -5*w - 96 = 3*w. Let a be 8/6*558/w. Is a bigger than -123/2?
False
Let l be ((-8)/(-8))/((-1)/(-2)). Suppose 4 = 2*i + l. Let t = i - 5. Is -2 <= t?
False
Let f(g) = g**3 - 4*g**2 - 1. Let j be f(4). Let w(x) = x**3 + 10*x**2 - 12*x - 4. Let i be w(-11). Suppose -i*h + 6*h = -11. Which is bigger: j or h?
h
Let w = 201.5 - 201.6. Which is greater: w or 591/5?
591/5
Suppose -5*y - v = 0, 0*v = 2*y - 4*v. Suppose -t - 3 = -m, 4*t - 2*m = m - 7. Let k be t*(-57)/(-110) + -1. Is k less than y?
False
Let a = -11 - -6. Let m = a - -9. Let w = m + -11. Which is smaller: w or -1?
w
Let q = 1.53 + -4.99. Let s = q + 0.26. Let r = s - -1.2. Is r < -2/5?
True
Let k(j) = -93*j - 558. Let b be k(-6). Is -352 less than or equal to b?
True
Suppose 9*f - 5*f - 24 = 0. Are f and -6 unequal?
True
Let m = -9173/564 + 65/4. Let o be 3/(-12) - 1/(-4). Is o greater than m?
True
Let q = 0.8 - 0.2. Let r = 3.4 - 3.5. Are q and r equal?
False
Let c = -294 - -292. Which is greater: c or -10/7?
-10/7
Let y = -87 + 85.02. Let f = y - 0.02. Let z be (-4)/(-5) + 1978/(-1935). Which is smaller: f or z?
f
Suppose 4*u - 11 = -2*m + m, 0 = 2*u - 3*m - 23. Suppose 2*r - u*f = -3 - 1, -f = -4*r - 43. Which is bigger: r or -9?
-9
Let x be 1/(180/16)*(0 + -1). Let s = x - -7/60. Is s greater than 0?
True
Suppose -7*d + d = -12. Let r = 71 - d. Is 68 at least r?
False
Let o = -13025 - -325624/25. Let j = 2 - 3. Which is smaller: o or j?
j
Suppose -20 = -u - 4*l, -3*u + 2*l + 6 = 2. Let j be (-1 + (-6)/(-4))*(u - 4). Is j <= 26?
True
Let x = 1.35 + -1.25. Which is smaller: x or 2/3?
x
Suppose h - 5*r = 6, -4*h + 8 = -4*r - 0*r. Is h greater than 6/37?
True
Let j be (-6)/69 + (-3)/79902*-2109. Which is smaller: 1 or j?
j
Suppose 5*w - 3*x = 7, -10*w + 9 - 23 = x. Are w and 14/87 non-equal?
True
Suppose -f - 4*x = -23, -3*f + 6*f - x - 17 = 0. Let l be (-3)/f*(-198)/(-27). Is -3 < l?
False
Suppose 0 = 5*b - j - 14, -4*j = -b - 5 + 4. Suppose 2*k = -k - 2*p + 9, 6 = 3*k + b*p. Which is greater: k or 7?
7
Let g = 1378/21 - 41012/609. Which is greater: -2 or g?
g
Let z = 0.766 - 22.866. Is -0.5 at most z?
False
Let y(i) = -30*i - 60 - 41*i + 60*i. Let s be y(-9). Which is greater: s or 38?
s
Let p(g) = 2*g**2 - 12*g + 31. Let c be p(9). Is c less than 84?
False
Let a = -16 - -29. Suppose -11*q = -18*q + 105. Is a at most as big as q?
True
Suppose 4*y = 12 - 16. Which is smaller: y or -2/415?
y
Let s = 0.73 - -0.07. Let f = 12.51 + -12.51. Do s and f have different values?
True
Let s = 12 + 3. Let n be (32/12 + -2)*s. Let y = n + -39/4. Which is smaller: y or -2/3?
-2/3
Suppose -4 - 2 = q. Let t be (2 - 0)/(16/2 + q). Which is greater: t or 2/119?
t
Suppose 12*s = -0*s - 324. Which is greater: s or 5?
5
Let w = 2401.979 + -2402. Which is greater: w or -12?
w
Suppose -25 = -23*r + 18*r. Suppose -4*c + r*z + 40 = 0, 2*c - 2*z - 20 + 2 = 0. Which is greater: -3 or c?
c
Let t = -0.2 + 0.4. Let z = 0.026 - -0.274. Let u = z - t. Which is smaller: u or -2?
-2
Let m(z) = -z**2 - 32*z - 116. Let w be m(-29). Is -28 greater than w?
True
Suppose -4*c = 3*p + 8, -4*p + 7*c - 20 = 3*c. Let b be p/(-10) + (-254)/10. Is -24 <= b?
False
Let s(a) = 5*a - 37. Let c be s(8). Let l be 8 + -9 - 4/((-16)/c). Which is bigger: l or -1?
l
Let m be -3 + -3*(-10)/(-15). Let a be (m/((-100)/(-8)))/(26/(-40)). Let z(v) = -v - 6. Let j be z(-6). Is a at least j?
True
Let u be 40/6*((-1092)/(-44) + -3). Let v = 146 - u. Which is smaller: 4 or v?
v
Let w = -43 + -409. Do w and -451 have the same value?
False
Let f = 17 - 17. Let b(l) = 7*l**3 + f - 10*l**2 - 9 - 8*l**3 - 10*l. Let i be b(-9). Which is smaller: i or 0.04?
i
Let f be 204/(-9) - (2 + 3/1). Which is greater: 1/3 or f?
1/3
Let l = -97 + 93. Let c be ((-11)/(-2))/((-156)/(-40) + l). Is -55 at least as big as c?
True
Let j = -146 + 436/3. Is j greater than or equal to -354?
True
Let r = 1579 + -1579. Is 25/23 at least r?
True
Suppose -5*t + 242 = -x - 71, 0 = 5*x + 15. Which is smaller: 440/7 or t?
t
Let c = -0.031 - 3.909. Let m = 0.64 + c. Let l = 2.5 + m. Does 0.1 = l?
False
Let a = -15/292 - -161/292. Let j(i) = -2*i**3 + 1. Let y be j(-1). Suppose -2 = y*v + 3*n - 50, -5*v + 98 = -n. Is a at most v?
True
Let d = 989/217 - 31/7. Which is bigger: d or -3?
d
Let z(y) = -2*y**3 - y**2 + 2*y - 2. Let q be z(1). Which is smaller: q or -33/19?
q
Suppose -4*m = -t - 4, 14 + 2 = 2*m + 3*t. Suppose -4*n = m*n + 180. Is -30 > n?
False
Let b = 145/3 + -49. Let d = 144 + -134. Which is bigger: d or b?
d
Let k = 1 + -3. Let q = 2.2 + k. Suppose -2*i - 2 + 6 = 0. Is i at least q?
True
Let b(x) = 8*x - 111. Let h be b(-40). Is h at least -430?
False
Let a(z) = z - 3. Let q be a(4). Let r be -15 + 15 - q*3. Suppose 0 = -2*u + 4, 3*b - 2*u + 4 = -9. Is r less than b?
False
Let c = -26 - -24. Let r be (-3)/c + 169/(-110). Which is bigger: r or 0?
0
Let x = -51 + 55. Suppose 0*a = -4*a - x*a. Does a = -3?
False
Let b = 50594/12887 - 192/49. Let c = -781/1052 - b. Do -0.1 and c have different values?
True
Let h = 10.5 - -54.5. Let u = -20 + h. Which is smaller: u or -1?
-1
Let l = -2651/76 - -316/19. Let m = l + 19. Let o be -6 - (-119)/21 - 7/(-3). Is m bigger than o?
False
Suppose -100 = -5*a - 2*i, -3*a + 5*i + 17 = -43. Let z be 2/5 - 108/a. Let h be 117/(-26) + (-12)/(-8). Is z equal to h?
False
Suppose 2*m - 1 + 29 = 0. Let u be 4/m - 30/(-7). Let l be 14/u + (-11 - -11). Is 5 at least 