 2/(-11). Which is smaller: v or u?
v
Let a = 9 - 12. Let h = 4 + a. Suppose -3*g = -h - 8. Is g not equal to 12/7?
True
Let t(q) = -34*q**2. Let d be t(-1). Suppose 2448 = 40*y - 112*y. Is y greater than d?
False
Let d = -2026 + 2135. Which is smaller: d or 110?
d
Suppose -178*d = -186*d - 4544. Which is bigger: -566 or d?
-566
Let m = 36 - 36. Let p = 1247/32 + -39. Is m >= p?
True
Let g = 168839/49 + -3446. Let c = g - -1/49. Is 1/3 equal to c?
False
Let t = 3 + 1. Suppose 0 = b + t*x - 3, -2*x - 3*x + 10 = -5*b. Which is smaller: -4 or b?
-4
Let q(k) = 11*k. Suppose -7*s = -2*s - 5. Let y be q(s). Which is smaller: 12 or y?
y
Let g(p) = p**2 - 13*p - 6. Let i be g(15). Let n = i + -23. Suppose l + n + 3 = 0. Which is bigger: -7/2 or l?
-7/2
Let p = 9.68 + -7.68. Which is smaller: p or -1.04?
-1.04
Let y be (2 - 6/6)*-2 - 1492. Is -1493 smaller than y?
False
Suppose 0 = 4*y - 9*y - 20. Let f(w) = w**2 + 5*w + 3. Let c be f(y). Let x be (-7)/55 + 4/10. Which is smaller: c or x?
c
Suppose 2*o = 797 - 3763. Let k = o + 19259/13. Which is smaller: -1 or k?
k
Suppose 4*d + 14 = y, 5*y - 5*d = -0*y + 85. Let w = -97 + 118. Suppose 0 = -3*z + w + 36. Is z greater than y?
True
Let p be 7 + -7 - (2 - -95). Is p less than or equal to -97?
True
Let f = 160 + -103. Suppose 189 - f = -6*o. Which is smaller: o or -21?
o
Suppose 0 = 2*z + 4*b - 54, 0 = 4*z + 4*b - 56 - 40. Let q = -23 + z. Let x be (-1)/(2*(-1)/q). Which is smaller: x or 1/5?
x
Suppose 11 = 5*u + 1. Suppose -3*z - 10 = -5*l, -3*z - 3 - 3 = -3*l. Suppose n = z, -n + 12 = m - u*n. Is 12 less than m?
False
Let z be (135/(-150))/(186/(-10)). Which is greater: z or -1?
z
Let p = 19 + -13. Let y = p + -5. Suppose 7*j - 5*j + 38 = 0. Is j < y?
True
Suppose -20*j + 15*j = 25. Let w(p) = p**2 + 2*p - 17. Let i be w(j). Which is greater: i or -5?
i
Suppose -161 + 281 = 8*x. Which is smaller: 24 or x?
x
Let h = -11.82 - -0.82. Is h at least as big as 0.08?
False
Suppose 2*q - 3*j = 6*q + 47, 0 = 2*j + 10. Let b = q - -11. Let f be (-4)/b*(-4 - 2). Which is bigger: f or 7?
f
Let j(d) = -29*d - 4. Let n be j(1). Is n at least as big as -34?
True
Let g = 57 - 51. Let l be (-189)/(-99)*2/g. Are l and 2 equal?
False
Let a = 1.26 + -1.3. Are a and 1.5 non-equal?
True
Let g(f) = f**2 - 6*f - 5. Suppose d - 24 = -2*d. Let j be g(d). Is j at most as big as 11?
True
Let c = -66 + 69. Suppose 0 = -4*s + 6*s - c*s. Is s at most -5/4?
False
Let g be 1/(8/(-2288)*-11). Is g < 20?
False
Let w = 4578 + -4645. Suppose 2*h = -3*h - 330. Which is smaller: w or h?
w
Let n = -0.65 - -0.547. Let k = n + -0.097. Which is smaller: k or -0.21?
-0.21
Let n = 49 + -59. Let p be 0/n*(-1 - -1 - -1). Let s be (20/7)/(-2*1). Is s bigger than p?
False
Let i = -52 + 30. Let u = -58 - -55. Let g be (1 - u) + ((-2)/1 - 24). Do i and g have different values?
False
Let u = -3 - -18. Let x(n) = 27*n + u*n**2 - 27*n. Let m be x(-1). Is 15 less than m?
False
Let u be (33/(-36))/(36/(-16)). Do 0 and u have different values?
True
Let q be 1/2 + 108424/(-3344). Let s = -350/11 - q. Suppose -3*a = -7*a. Which is smaller: s or a?
a
Let u(r) = -68*r + 611. Let h be u(9). Is 3/433 greater than h?
True
Let k(i) = 2*i**2 + 50*i + 65. Let v be k(-23). Which is smaller: v or -28?
-28
Let x = 62/3 - 21. Let r = -31.7 + -11.3. Is x != r?
True
Let p be (-7)/4 + (-2)/8. Let t = 719 + -718.9. Which is smaller: t or p?
p
Suppose -2*k = -2*p - 3*p + 72, -3*p = -k - 44. Is 18 less than p?
False
Suppose 2*u + 4*h = -3*u - 91, 5*u + 100 = 5*h. Let b = u + 13. Let k be 685/(-1965) + (-2)/b. Is 1 greater than k?
True
Let y be ((-2)/4)/(3/11). Suppose -4*u = 16, 5*l = -4*u - 48 + 22. Which is bigger: y or l?
y
Suppose 2263 = -3*r - 965. Which is smaller: -1075 or r?
r
Let o be (((-171)/18)/(-19))/(69/(-2)). Suppose 2*p - 5 = -3*p. Which is bigger: o or p?
p
Suppose 38 + 4 = 3*z. Let v = 17 - z. Let l = -5 + v. Which is smaller: l or -1?
l
Let x = -10.4 + 10.493. Let q = -0.057 - x. Is -2 < q?
True
Let v = 190 - 202. Let i(m) = -4*m + 12. Let c be i(-9). Suppose -5*q = -q + c. Is v not equal to q?
False
Let i = -33/865 - -69347/1772385. Is i at most 1?
True
Let b = -4.53 - 12.67. Which is smaller: -1 or b?
b
Let q be 60/105 - (-7986)/28*2. Is 572 at least as big as q?
True
Let q = 4 - 6.77. Let u = q - 0.13. Let z = 0.9 + u. Which is smaller: 0.1 or z?
z
Let w = -162 + 35. Which is smaller: w or -125?
w
Let v be (1/(-2))/(20/40). Let r = -94915/147 - -1937/3. Is r <= v?
False
Let p be -6*(4 + 36/(-8)). Let b be p + 0/(5 - 3). Which is greater: 21/5 or b?
21/5
Suppose 3*j - 68 = 20*j. Are -3 and j unequal?
True
Let t = 25/11 - 53/33. Suppose 0*h - 3*h + 4*p + 18 = 0, -3*h + 3*p = -18. Which is smaller: h or t?
t
Let y be (-1 - -4) + 1 + 0. Let n be (y/(-4))/(2/52). Let x be 18/117 - 61/n. Which is smaller: 3 or x?
x
Suppose u - 337 = -16. Which is greater: u or 320?
u
Let a(t) = 2*t**2 + 7*t - 2. Let g be a(-6). Let j be (6/9)/(g/6). Is j greater than or equal to 1?
False
Suppose 44*c = 45*c - 4. Suppose 10*t - c*t = -2*t. Which is bigger: -2 or t?
t
Suppose -5*i = 5*z - 3*z - 169, 4*i + 340 = 5*z. Let c = -505/7 + z. Is -1 at most c?
True
Let w(f) = f**3 - 4*f**2 + 2*f + 3. Let u = -18 + 22. Let o be w(u). Suppose -5 + 55 = 5*b. Which is bigger: o or b?
o
Let d(c) = 44*c - 172. Let w be d(7). Is 137 greater than w?
True
Let z be 424/3*12/8. Is z >= 211?
True
Suppose -5 = -j + 6*j, -5*j = 3*y + 47. Which is smaller: -11 or y?
y
Let n = -37.2 - -37. Let d(y) = -y**3 - 5*y**2 - 4*y - 4. Let w be d(-3). Let v be (-18)/w - (0 + 1). Which is bigger: v or n?
v
Let s = 32/13 - -1/26. Which is greater: s or 4?
4
Let x(o) = -o**3 - 30*o**2 + 31*o - 1. Let v be x(-31). Which is bigger: 6/109 or v?
6/109
Suppose 12 = 3*o, -4 - 24 = -4*b - 4*o. Let a(f) = b + f + 0*f - 3*f - 4. Let u be a(-1). Is u equal to 1/11?
False
Let c be ((-21)/(-18))/((-2)/(-78)). Suppose 0*v + 5*v + 2*n - 228 = 0, 3*v - 5*n = 143. Are v and c unequal?
True
Let m be (((-21)/(-14))/3)/(2/(-120)). Let s = m - -30. Are -5/33 and s equal?
False
Let t = 26.1 - 26. Which is smaller: t or 0.57?
t
Let k = -4 - -4. Suppose 5*m - 16 + 1 = k. Let h be 42/(-4)*(-1)/m. Which is bigger: h or 4?
4
Suppose -4*n = 19*u - 16*u + 78, 4*u = -5*n - 98. Let o = 9 + -24. Which is smaller: o or n?
n
Let f = -8 - -20. Suppose -f = -0*y - 4*y. Let q = y - 8. Which is smaller: q or -1/2?
q
Let y be (-105)/(-190) - (-6)/(-4). Which is smaller: y or -1?
-1
Let s(j) = j**3 + 9*j**2 + 11*j - 6. Let v be s(-4). Let o = v + -4. Is 26 < o?
False
Let x(v) = 11 + v - 17 + 12. Let n(c) = -4*c + 1. Let l be n(2). Let a be x(l). Which is greater: -3/11 or a?
-3/11
Let y be 0 + (1/4 - -1). Let b be (8/(-10))/(14/105). Let j be b/21 - (-36)/28. Which is bigger: j or y?
y
Let n be 8/(-2) + (-6776)/(-198). Which is smaller: 30 or n?
30
Let r be -2*(1780/(-560) - (-3)/7). Is 6 at least r?
True
Let b = -242 - -244. Suppose -3*g = 0, 0*s + 4*s = -2*g. Let r(t) = t**2 - t + 1. Let x be r(s). Is b > x?
True
Let j = 2386/7 - 340. Let q = 8/3 + -29/12. Which is bigger: q or j?
j
Suppose -3*s = s - 48. Let g = -7 + s. Suppose -1 + 23 = -2*l - 4*u, -g = -2*l + 5*u. Which is greater: l or -3?
-3
Suppose 2*l = -3*l, -12*f = -7*f - 3*l. Are f and 7/59 non-equal?
True
Suppose 7*d + 226 = 219. Is d greater than or equal to 1/4?
False
Let b = 13/300 - -5929/100. Suppose -344 = -5*y - 44. Let d = b - y. Is 2/3 less than or equal to d?
False
Let s(a) = a**3 - 3*a**2 + 2*a + 1. Let b be s(2). Is b at most -7/23?
False
Let w(s) = 2*s + 40. Let b(v) = -v - 20. Let d(f) = 13*b(f) + 6*w(f). Let a be d(-5). Do a and -13 have the same value?
False
Let g be 1/(-12) + 3/9. Suppose -2*c = -5*t - 8, 0 = -t - 2*t - 3*c + 12. Suppose t = 12*a - 17*a. Is a < g?
True
Let n be -65 - -65 - 1/(17/(-60)). Which is smaller: 5 or n?
n
Let j be 0/(-1 - 9/(-3)). Suppose -z - 3*z + 14 = -2*r, z - 3 = j. Let d = -27 - -133/5. Is d greater than or equal to r?
True
Suppose 3*s + 4*u + 28 = -u, 4*s + 19 = -3*u. Does s = 4/347?
False
Let u = 5/31 - 97/217. Which is smaller: u or -51?
-51
Let t(d) = -d**3 + 7*d**2 - 4*d - 6. Let g be t(6). Let j be (2 - -2)*((-63)/(-12) + -4). Suppose 3*k = u + 1, -j*k - 5*u + 33 = -2. Is g less than k?
False
Let x = -0.2 - -0.3. Suppose 31333 = -2*o 