 p = -157 - v. Which is bigger: p or y?
y
Let h(s) = 3*s - 17. Let z be h(-7). Let v = z + 37. Are v and 5 non-equal?
True
Suppose 2869 = 9*g + 10*g. Which is greater: g or 150?
g
Let u(o) = -o**3 - 8*o**2 + 8*o - 3. Let c be u(-9). Let x be c + -5 + 0 + 10/(-18). Is x at least as big as -0.6?
True
Let v = 210 + -295. Let k = -70 - v. Is 15 equal to k?
True
Let y = -126 + 126. Is 76 less than or equal to y?
False
Suppose t - 2*s = 0, 2*t = 3*t + 2*s. Suppose -2*v - 27 + 25 = -x, 0 = -4*x + 4*v + 4. Is x <= t?
True
Let b(z) = -4*z + 15 - z - 12*z**2 + 10*z**2 + 0. Let x be b(13). Let h = 7370/19 + x. Which is smaller: h or 0?
h
Suppose -11*i = -16*i - 60. Which is smaller: -11 or i?
i
Let l(k) = k**3 + 6*k**2 - 37*k - 15. Let c be l(-10). Which is bigger: c or 4?
4
Suppose -7*i = 4*b - 11*i + 4, 2*b = 4*i - 6. Which is smaller: b or -4/179?
-4/179
Let v be (774/(-12))/((-3)/90). Let s be v/(-350)*2/(-185). Let y = -1/175 + s. Which is bigger: y or 0?
y
Let r = -96/37 + 11128/4403. Which is bigger: 0 or r?
0
Let q = 21341524/315 - 67751. Let o = -2/105 - q. Suppose 10 - 6 = 4*y. Is o smaller than y?
True
Let g be ((-2)/3)/(4/(-3066)) - -4. Which is bigger: 1 or g?
g
Suppose -3*m + 7*m = t - 4, -4*t + 2*m = -30. Let o = 122 - 124. Which is greater: o or t?
t
Let g = 13.6 - 13.9. Let m = 0.8 - 8.8. Let x = m - -7.8. Which is bigger: g or x?
x
Let g = 286 - 514. Let v be g/(-54) - 1*4. Is v > 1?
False
Let r = -241/284 - -7/71. Which is smaller: r or -2?
-2
Let c(m) = -m**2 - 8*m - 3. Let d be c(-3). Let w = -12 + d. Suppose 0 = 2*a - i - 6 - 8, a + 5*i - 18 = w. Which is greater: a or 7?
a
Let d be (8/6)/(-1*(-10)/1395). Are 185 and d unequal?
True
Let o = 0.0179 - -0.9821. Which is bigger: 18 or o?
18
Let q = 5260 + -5292.01. Let d = q + 32. Which is bigger: d or 8?
8
Suppose 0 = -5*z - 1 + 11. Suppose -z*w + 4*t = 8, 4 = -0*w + 5*w - 4*t. Let m be 26*(82/(-20) + w). Which is bigger: -3 or m?
m
Let x = -10.88 - -7.88. Which is smaller: 0.85 or x?
x
Let y = 3 - 9. Let s = -2.48 - -2.48. Is y bigger than s?
False
Suppose 2*y = 3*d - 43, 0 = 3*d + 2*y - 0*y - 59. Suppose -v = 4*g - d, -4*v + g = v - 1. Let s be (-84)/896*(-2)/3. Is v < s?
False
Let p be ((-6)/10)/(-4 - 34/(-10)). Which is smaller: p or 1/722?
1/722
Let g be (-40)/36*-3*(-2 - 1). Let x be ((-1)/g)/(((-20)/32)/(-5)). Does 0.8 = x?
True
Let j(z) = -3*z - 5 - 2 + 2*z + 0*z. Let g be j(4). Let y = g + 11. Which is smaller: -4 or y?
-4
Let n = 618 - 341. Suppose 5*q + 5*g + n = 792, 2*g = 2*q - 210. Let f be (-10)/q - 3/(-12). Which is bigger: 1 or f?
1
Let b be 151/740 - (3 - 54/24). Let n = b + -2/37. Are n and 9 equal?
False
Let t be ((-40146)/(-52461))/(66/9). Let s = t + -2/2211. Which is smaller: 1 or s?
s
Let m = -8 + 12. Let f = m - 2. Let w be (-2)/((-12)/(-38)) - -4 - -2. Is w != f?
True
Suppose -z + 7*z = 54. Let v(d) = -d + 8. Let u be v(z). Is -1/25 smaller than u?
False
Let d = 1334 - 1334.142. Which is smaller: 2 or d?
d
Suppose 2*r - 3*k = -46, -4*r + 3*k - 4*k = 64. Which is smaller: -330/19 or r?
-330/19
Let p = -10.95 - -9.95. Is p < 2/811?
True
Let p be (-1 + 9/12)*0. Let k be (-287)/924 + 1/4. Which is smaller: k or p?
k
Let a = 4 - 9. Let n = 2 + a. Let l = -51 - -53. Which is greater: l or n?
l
Let f be 4/(-14) + 171/35 + -4. Let z = -0.5 + 1.2. Let a = z + 1.3. Do a and f have different values?
True
Let a be ((-3)/((-6)/1))/((-3410)/352). Which is smaller: a or -1?
-1
Let m = -0.031 - -0.301. Let r = 51.24 + -32.97. Let k = r - m. Which is smaller: 0.1 or k?
0.1
Let u(z) = z - z**3 + 0*z**3 + 4*z**3 - 2*z**3. Let w be u(-2). Which is bigger: -7 or w?
-7
Let c = -229.4 + 231. Let w = 0.06 + -1.46. Let u = c + w. Is 2 less than u?
False
Let u be (2*60/(-396))/(-11). Which is smaller: u or 1?
u
Let c = -328 - -255. Is -73 != c?
False
Let l(j) = -j**2 + 4*j. Let v be l(3). Suppose 4*f = 0, 0*h = -2*h - 4*f + 12. Let c be 0/h + 10/6 + 2. Which is bigger: v or c?
c
Suppose -5*z = -0 - 5, -2*s - 4*z + 2 = 0. Let n = s - -1. Suppose q - 3 = 3*o - 2*q, n = -5*o + 3*q - 5. Is o less than 0?
True
Let l = -23 - -11. Let f = 18 + l. Suppose -3*o = -4*h + 6*h - f, 5*o - 9 = -3*h. Is -1/5 < o?
True
Let i be 950/6 + 152/(-114). Do i and 157 have the same value?
True
Let w(q) = -q - 9. Let c be w(0). Let b be c/(-6) - 2 - 18/(-20). Is b less than 1?
True
Let w be 18/(-5) + 4 - (-3)/5. Is w at least as big as 3/11?
True
Let j = 0.5 - 0.9. Let q = -4.4 - j. Let c = 0.02 + -0.02. Which is bigger: q or c?
c
Let u be 42/(-176) - (-6)/24. Let f(l) = -l**2 + 19*l - 35. Let g be f(17). Which is bigger: u or g?
u
Let m(y) = 8*y - 151. Let u be m(19). Which is bigger: 11/23 or u?
u
Let i be 3 + 117*12/(-476). Let l = i - 20/119. Suppose -2*d + d + 3*a = -15, 4*d + 25 = -5*a. Is l at most d?
True
Suppose 1 = 5*t + b, 4*b + 0*b = -5*t - 11. Which is greater: 20/39 or t?
t
Let h = 26/49 - 782/735. Let f = -3 - -3. Is f at least as big as h?
True
Let d = -35 + 46.08. Let i = 11 - d. Let w = 0.2 + -0.4. Is w bigger than i?
False
Let u = 4 - 15. Let n(r) = r + 1. Let f be n(u). Is -10 < f?
False
Let z = 16 + -15. Suppose 0 = -6*i - 7 + z. Which is smaller: 0 or i?
i
Let p = -239697468/2180791 + 4/94817. Let f = p - -110. Which is bigger: f or 1?
1
Let i be (28 - 13)*(-16)/370. Is i bigger than 0?
False
Suppose 54*b + 884 - 4232 = 0. Is 62 at most b?
True
Let p be (-4)/(-10) - 1 - (-7620)/1700. Is p smaller than 4?
True
Let h = 2 - -11. Let j = h + -20. Let w be 2/2 - j/(-5). Is -0.07 less than w?
False
Let d(i) = i**3 + 1 - 7*i + 3*i + 28*i**2 - 28*i**2. Let f be d(-3). Suppose 3*g = -67 + 22. Is g > f?
False
Suppose 3*w + 3*i = 57, -2*i - i - 111 = -5*w. Let f be w + 0 - 3/((-12)/(-8)). Let p(h) = h**2 - 2*h - 6. Let a be p(-4). Is a >= f?
False
Suppose 5*c - 152 = t - 67, c - 17 = -5*t. Suppose -q + 9 = -6. Is q at least as big as c?
False
Let p = 11.4 - 9. Let v = p + -0.4. Let y = v + -2.4. Is y greater than or equal to -2/3?
True
Let l be (-4)/(-34) + ((-32890)/4641)/23. Which is bigger: l or 0?
0
Let c = -8341/9 + 927. Which is smaller: -92 or c?
-92
Let p(z) = -5*z + 5. Let n be ((-5)/4)/((-2)/(-8)). Let q be p(n). Let i = q - 27. Is 1 >= i?
False
Suppose -5*s = -4*n - 36, -5*s + 3*s - 8 = 4*n. Suppose -y + 2*b = -2, 3*b = s*y - b - 24. Let f = 48/5 - y. Is f less than or equal to 0?
True
Let h(x) = -x**3 + 2*x**2 + 3*x + 3. Let l be h(3). Let c be (-22)/33 - 4/(-6). Suppose 3*k - l = 3*d, c*k + 2*d + 2 = k. Which is smaller: -2/53 or k?
-2/53
Let v be ((-3)/(-6))/(13/(-6942)). Is v > -267?
False
Suppose 15 = 8*p - 5*p. Suppose p*v + k - 17 = -0*k, 3 = 3*v - 3*k. Suppose 0*f + f = -3*a, -v*f = a. Is f less than -5/4?
False
Let t = -157 + 150.1. Let n = 1.1 - t. Let d = n - 9. Which is greater: -2 or d?
d
Suppose 5*m - m = -h + 5808, h = -2*m + 2906. Which is bigger: m or 1452?
1452
Let q = 36 - 41. Let g(i) = 9*i - 3*i + 6*i**2 + 0*i**3 + i**3. Let u be g(-5). Is q greater than or equal to u?
True
Suppose -9 = -0*j - 3*j. Let i be 3/(-6 + j) - -2. Let g = 1316/255 + -26/5. Which is greater: i or g?
i
Let v be (-9)/((-27)/6) + -6. Let d(f) = -f**3 + 8*f**2 - 2*f + 11. Let p be (4/6)/(7/84). Let m be d(p). Is m bigger than v?
False
Let g = 677 - 677.2. Let o = -0.9 + 0.8. Which is smaller: g or o?
g
Suppose 0 = j + 2*j - 4*s + 24, -2*j + 2*s - 16 = 0. Let y be 2/j + (-1)/(-4). Let w = 16.3 - 2.3. Is w > y?
True
Let v(x) = -8*x + 213. Let z be v(0). Suppose z*s - 2 = 211*s. Is 8/11 bigger than s?
False
Let p = 285 - 495. Let w = p - -413/2. Let x be ((-3)/2)/((-6)/(-16)). Is x > w?
False
Suppose 10*r = -45 - 25. Let q(l) = -l + 8. Let o be q(7). Is o != r?
True
Let y be ((-3)/9)/1*3. Let t be 10 - 0 - (-8740)/(-782). Which is greater: t or y?
y
Let o be (-169)/(-2) + (0 - (-3)/(-2)). Suppose 0 = 4*s + v + 2*v - o, 2*s = -3*v + 43. Is 20 less than s?
False
Let h be -2*2/4 + 3. Let t be 1/((-1)/6) - h. Let n be 1*3 + 8/t. Are -0.2 and n unequal?
True
Let t be (-2*(-18)/27)/68. Which is greater: t or 0?
t
Let a be (-24)/(-42) + (-4698)/63. Which is greater: -4 or a?
-4
Suppose -1241 - 4215 = -16*w. Let k be 1 + w*1/(-339). Is k less than or equal to 1?
True
Let s = -0.93 + 0.45. Let n = 0.45 + s. Is n less than or equal to 3?
True
Let o = -0.08 + 0.08. Suppose -15*y + 20*y = 60. Is y not equa