 v?
False
Let k(s) = 3*s**2 - 32*s + 16. Let i be k(10). Is -1 bigger than i?
True
Let r = -399 - -415.9. Let n = 16.71 - r. Suppose 0 = -0*h + h. Which is smaller: h or n?
n
Let w = 1065 + -1024. Is 53 greater than or equal to w?
True
Suppose 3*i - 8 = a, 2*i - 7*i + 25 = -4*a. Are 32/57 and i unequal?
True
Let w = -13 - -12. Let b = 2 + w. Is b at least as big as 11/4?
False
Suppose 4*b = 5*w + 51, 2*w - 4*w - b - 23 = 0. Let x = -9 - w. Which is smaller: 5/2 or x?
x
Suppose 50*l = 12*l + 380. Suppose -3 - 9 = -4*q. Suppose l*f = q*f. Is f smaller than -2?
False
Let r(d) = -149*d + 596. Let h be r(4). Is h != -2/637?
True
Let f = 45 + -47.7. Let v = -2 - f. Let n = v + -1.7. Which is bigger: -1/4 or n?
-1/4
Let i = -29.67 + 0.67. Let s = i + 41. Which is greater: s or 0.1?
s
Let h be 2/(-6) - 86/12. Let r = h - -7. Let o = 0.48 - 1.58. Is o equal to r?
False
Suppose -x - 6 = 18. Which is smaller: -165/7 or x?
x
Let p be (481/39)/((-1)/3). Is p greater than -40?
True
Let r = -173 + 267. Suppose -82 = -d - r. Do -12 and d have the same value?
True
Let t = -44383/63 + 1797/7. Let u = t + 447. Is u at least -1?
True
Let b be -2*(-1)/1*37/(-2). Let y be (b + 7)*(-2)/5. Which is greater: y or 14?
14
Let a(h) = h**2 + 4*h - 6. Let u be a(-5). Let r = -2/49 + -45/98. Which is smaller: u or r?
u
Let g(a) = -2*a**2 + 29*a + 11. Let u be g(15). Let o be (6/u)/((-147)/28). Which is smaller: 1 or o?
o
Let u = 958/7 + -142. Suppose 0 = 17*g - 26*g - 45. Which is bigger: g or u?
g
Suppose -37 + 28 = -3*h. Let m be (-330)/(-77) + (-1 - h). Which is greater: 1/8 or m?
m
Let p be ((-105)/49)/5 + 24/7. Is p less than or equal to -44?
False
Let o = 22 - 21.84. Let f = 1.2 + -1.26. Let r = o + f. Which is greater: 0 or r?
r
Let p = -4/765 - -4441/765. Is 6 less than or equal to p?
False
Let f = -4582578096233/33390 + 137244028. Let q = f + 1/630. Which is smaller: 1 or q?
q
Let r = -50 - -74. Let y = -43 + r. Which is greater: y or -20?
y
Let l be 8 + 10/(-5)*1. Let g(d) = 3*d**2 - 18*d - 1. Let m be g(l). Which is smaller: m or -2/113?
m
Let l = -1613 - -1611. Is l at most as big as 40?
True
Let m(q) = -68*q + 2. Let k = -51 - -50. Let r be m(k). Which is smaller: 71 or r?
r
Let a(m) = -m - 1. Let b(w) = -7 - 9 + 3 - 4*w. Let f(v) = -3*a(v) + b(v). Let l be f(-8). Which is smaller: -4 or l?
-4
Let u(p) = p**2 - 5*p + 6. Let k(j) = -j + 11. Suppose 0 = -5*n - f + 40, 3*n - 2*f - 2 = 22. Let y be k(n). Let c be u(y). Which is smaller: c or -5/12?
-5/12
Suppose 2*y = 6*y + 196. Suppose -3*j - 3*m = -99, -m + 75 = 2*j + 4*m. Let x = y + j. Which is greater: x or -20?
x
Let j be (4 + ((-13)/3)/1)*-18. Let l = 11 + j. Which is greater: 2/3 or l?
l
Let o(y) = 6*y**2 - 4*y + 7. Let f be o(10). Which is smaller: 568 or f?
f
Let q = -8 + 8. Suppose -5*g + 4 = -3*z + 4*z, -2*z + g - 3 = q. Is -5/9 != z?
True
Let n(w) = 8*w - 2. Let q be n(-5). Let p = -50 - q. Is -7 > p?
True
Suppose 4*x = 4*t + 54 + 2, -3*t = 0. Let l be (-490)/(-30) - (21/9 - 2). Which is smaller: l or x?
x
Let w be (-142)/(-2) - (-32 + 37). Is w at most 68?
True
Let o = 1/212 + -37/30316. Is o at most -1?
False
Let j = 49 - 72. Let u = j + 20. Is u bigger than 1?
False
Suppose -5*b = -10*b - 3*d, 3*d = 2*b. Let o = 98 - 2745/28. Which is bigger: b or o?
b
Let n(u) = u. Suppose 15 = -5*h + 4*m - 0*m, m - 9 = 3*h. Let c be n(h). Let a = -13 + 7. Is c >= a?
True
Let v = 117 - 27. Let p = v - 90.87. Which is bigger: 2/3 or p?
2/3
Let w(o) = o**2 + 14*o - 6. Let r be w(-11). Let d = r - -39. Which is smaller: d or -2/63?
-2/63
Let g = 15697/8 + -1969. Which is greater: g or -8?
g
Let y be -5*59271/(-230)*(-1)/3. Which is smaller: y or -431?
-431
Let l(p) = -p**3 - 8*p**2 - 6*p + 8. Let k be l(-7). Suppose -4*y + 7 + k = 0. Let j be (10 - 12) + (-4)/y. Which is smaller: j or -3?
j
Let c = 6.44 - 7.47. Let l = -2.97 - -3. Let w = c + l. Which is greater: w or 2/7?
2/7
Let d = -20/13 + 193/117. Let k(y) = -3*y - 15. Let c be k(-6). Suppose -4*l = -l + c. Are l and d non-equal?
True
Let c(a) = a**3 + 1. Suppose -3*h + 3*l - 8*l = -25, -2*l = -4*h - 10. Let j be c(h). Is j less than 2/15?
False
Let w = -1 + 3. Suppose 2*b = -w*b + 24. Suppose -2*z = -b*z. Which is bigger: z or -1?
z
Let y be (-12)/15 - ((-273)/(-65) - -2). Suppose -4*f = -0*f + 24. Let a be f/1 + 0 - 2. Is a greater than y?
False
Suppose -2 = -p + 5. Let y be 0 - p/((-35)/(-970)). Let r = y + 10089/52. Which is smaller: r or 0?
0
Let u(c) = -3*c - 174. Let z be u(-58). Let r be -1 + 3 - (1 + 0). Which is smaller: r or z?
z
Let w be (3 - 391/165) + 0. Let q = -2/55 - w. Which is greater: 86 or q?
86
Let x(k) = 6*k**2 - 20*k - 19. Let t be x(-1). Which is greater: 19 or t?
19
Let q = -106.76 + 111. Let x = 0.24 - q. Which is smaller: -7 or x?
-7
Let p(j) = -j**3 + j**2 + 46*j + 10. Let n be p(7). Suppose 80 = 3*q - 37. Which is bigger: q or n?
q
Let r = -262 + 41. Let q = r - -3317/15. Is q at least as big as 1?
False
Let x(c) = -25*c - 15. Let p be x(-1). Is 3 <= p?
True
Let t(j) = 4 - j - 4 - 1 + 2. Let y be t(-5). Suppose 36 = -2*q + y*q. Is q greater than or equal to 9?
True
Let d be 1620/(-120)*(-1)/3*-2. Which is smaller: 2 or d?
d
Let d be (-2)/5 - 282/(-430). Which is bigger: d or 1?
1
Let a(t) = t**3 - 2*t**2 + 6*t + 4. Let c be a(3). Let i = c + -13. Are 17 and i non-equal?
True
Let z = 7 + -15. Let d = -14.68 - -16.68. Is z at most as big as d?
True
Let g(k) = -k**3 - 16*k**2 - 12*k + 6. Let b be g(-15). Let d be 6/b - 34/(-52). Suppose -3*a - 2 - 7 = 4*l, -5*a + 2*l = -11. Does a = d?
False
Let l = 227/216 - 25/27. Is l < -60?
False
Let l = 852 + -1513. Let u = -163266/247 - l. Let j = u - 521/6669. Is 1 <= j?
False
Let o = -541 - -542. Which is smaller: o or -36/35?
-36/35
Let q = 19.7 + -20. Let a = 7.4 + -7. Let s = a + q. Do 8 and s have the same value?
False
Let u = 7 - 7. Suppose u = -0*n - 5*n - 95. Let i = -12 - n. Is i smaller than 7?
False
Let v be ((-24)/(-138))/(-1 - 1). Let w be -1*(2/3)/(-2). Which is greater: v or w?
w
Let d(o) = 43*o + 195. Let w be d(-11). Is w at most as big as -278?
True
Let m = 76.3 - 87. Let v = m - -12. Let n = v + -1.9. Which is smaller: n or -2?
-2
Suppose -2*j = -2, 5*h + 3*j = -2 + 5. Suppose 3*i - 5*i = h. Let g be 2/(92/(-182)) - -4. Which is greater: g or i?
g
Let t(z) = z**3 - 13*z**2 + 12*z - 2. Let o be t(12). Let m(w) = -w**3 - 4*w**2 - 3*w + 3. Let k be m(-3). Let x = k + o. Is x less than or equal to 2?
True
Let b(c) = 3*c - 46. Let i be b(16). Suppose i = -3*m - l, -l - 2 = -5*m + 2*m. Is m less than or equal to 1?
True
Let s be (865 + 49 + 0 + 1)*-1. Which is smaller: -914 or s?
s
Let g = 333 + -342. Suppose -4*c = c + 35. Which is smaller: c or g?
g
Let y(w) = -w - 125. Let q be y(-14). Do q and -111 have different values?
False
Suppose f = -5 + 7. Suppose 2*r = a + 9, 5*a + 15 = 6*r - f*r. Which is smaller: a or -2/267?
-2/267
Suppose 0 = 9*g + 7 - 16. Let l = 2 - 0. Which is smaller: l or g?
g
Suppose 2*o = 2*w - 8, 4*o - 2*w + 14 = -0*w. Let x be 3 + -2 + (-24)/o. Which is greater: 1 or x?
x
Let v be (-24115)/35 + (-3 + 0 - 1). Do -693 and v have the same value?
True
Let q be 8/(1 - 0/(-4)). Suppose -5*u + 22 = -3*u. Let l = q - u. Is -10 > l?
False
Suppose -2*k = -6, -2*n + 2*k + 2*k = 4. Suppose 0 = 2*w - 0*w - 3*y - n, 4*y = -8. Let t be 5*(2 - 204/105). Which is smaller: t or w?
w
Let u be (-63)/(-12) - 3/(-4). Suppose 4*j + 3*j = u*j. Which is bigger: j or 3/8?
3/8
Let c(u) = -u**2 + 25*u + 2. Let s be c(25). Is 32/5 greater than or equal to s?
True
Let z = 166.6 - 25.6. Let b = z - 138. Is 7 equal to b?
False
Let l = -28654153/2487800 - -1/88850. Let x be (-1079)/(-26)*2/8. Let c = x + l. Which is bigger: c or 0?
0
Let t(u) = -u**2 + 13*u - 21. Let l be t(7). Suppose -8 = -0*o + 4*o, 55 = s + 4*o. Suppose 4*w - r = -6*r + s, -w + 4*r + 42 = 0. Which is smaller: w or l?
l
Let p = 232 - 233. Which is greater: 74/9 or p?
74/9
Let c = -22 - -45/2. Let a = 656/99 + -68/11. Is a less than c?
True
Let p = -21.49 + -0.51. Let z = p + 17. Let u = 3 + 0. Is z at least u?
False
Let s = 3632/5 + -726. Which is smaller: s or -391?
-391
Let y = 13/657 + -72721/657. Which is bigger: -110 or y?
-110
Let l(q) = -q**2 - 22*q + 22. Let i be l(1). Which is greater: -66/31 or i?
i
Suppose