-127 - -127 - 264/17) + 4*-1. Is -21 at least d?
False
Let i = 13396 - 13294.61. Let g = -102 + i. Let l = 13.61 + g. Is l smaller than 2?
False
Suppose 336 = -9*h + 16*h. Suppose -l + 5*p = 75, l + h = -5*p - 17. Let w = 69 + l. Does w = -3?
False
Suppose -3*p = 4*b + 230, p + 83 + 3 = b. Do p and -75 have the same value?
False
Suppose -9 = -h - 4. Suppose 0 = -h*s + 2*s + 66. Suppose -f + 7 = -s. Does 28 = f?
False
Let l(f) = 1154*f + 32. Let x be l(1). Do x and 2/3 have different values?
True
Let h = 14805 + -14775. Are 0.12 and h nonequal?
True
Let z(x) = -x + 0 + x + 24 - x**2. Let i be z(5). Which is bigger: -3/53 or i?
-3/53
Let x(h) = -2*h - 17. Let n be x(4). Let f be 6 - (0 - -1) - (12 - n). Is f not equal to -34?
True
Let z = -55586/195 + -58/15. Which is smaller: z or -288?
z
Let j = 7638 + -7718. Let y be -1 + (155/2)/(-1). Which is smaller: j or y?
j
Let a be 170/(-72) - 0/(-12). Is a smaller than -3?
False
Let w(v) = 72*v + 134. Let c be w(-6). Let p = 293 + c. Which is smaller: p or 14?
p
Let w(m) = -6*m**2 + 26*m + 26. Let p be w(9). Let t = p + 226. Which is smaller: t or 9/71?
t
Let r = 132.11 - 0.11. Let a = -38775 - -193876/5. Which is smaller: a or r?
a
Let j(y) = y**2 + 3*y - 1. Let g be j(-3). Let n = g + -2. Let u be (180/(-245))/(28/98). Which is greater: n or u?
u
Let f = 8549/4828 + -31/17. Do 1 and f have different values?
True
Let i be (-3)/(-1) + 1 + 1. Suppose 8 = -i*k + 4*q, -3*q = 3*k + q - 8. Let v be -103 + 109 + 1468/(-234) + 30/135. Which is bigger: v or k?
k
Let a = 67 + -69. Let b be -7 - (-2 + 161/(-56)). Which is smaller: b or a?
b
Let q = -0.02789 - 23.97211. Is q at least as big as -62?
True
Let g = -207304/13543 - 388/467. Is g greater than or equal to -17?
True
Let p be (2/4)/((-8)/(-32)). Suppose p - 20 = -3*f. Let y be (-2 - -2) + 3/f*-2. Is y at most 1?
True
Let s = -4819 + 3918. Which is smaller: s or -913?
-913
Let c = 82/15 + -329/60. Suppose -104911*h + 104962*h = -51. Which is bigger: c or h?
c
Let a be ((-48)/(-30))/((-2)/(-430)*1). Which is greater: 346 or a?
346
Let k(o) = o**3 + 22*o**2 - 25*o - 20. Let x be k(-23). Let j be (-3)/2*(x/(-3) - 6). Is j smaller than 111/5?
True
Let w = 2736923551/16947 + -161499. Which is smaller: w or -1?
-1
Let t be 82/(-2747)*2/(-4)*(-2)/(-5). Which is bigger: t or 13?
13
Let m(z) = 109*z - 2070. Let r be m(19). Is 1/8922 bigger than r?
False
Suppose -7 = 2*k + b - 92, -2*k + 3*b = -81. Let j = k + 51. Let i be ((-40)/(-60))/(1/j*-1). Is i bigger than -61?
False
Let w be 101 + -18 + 1*2. Let r = 104 - w. Let c = r - 15. Are c and 3 nonequal?
True
Let x(v) = 4*v**2 - 206*v + 89. Let g be x(36). Are g and -2144 unequal?
True
Suppose 2*y = -5*l + 160551, -2*l + 21247 + 42973 = y. Is 32111 greater than or equal to l?
True
Let c = -1 - -1.1. Let w = -738/85 - -976/85. Is w greater than c?
True
Let x = 2.89627 - -0.10373. Is 9.33 not equal to x?
True
Let l(g) = g**2 + 44*g - 100. Let n(m) = 2*m - 2. Let k(h) = l(h) - 6*n(h). Let r be k(-29). Is r at most as big as -174?
True
Let u(l) = 4*l**2 + 21*l - 119. Let q be u(7). Let w = 238 - q. Let d be 12 + -2 + 1 + 0. Which is smaller: w or d?
d
Let q be 92/(-12) - 720/(-108). Which is smaller: q or 5833?
q
Let j = -132 - -114. Let d be 1/(4/(-12)) - (2 + j). Which is bigger: d or 66/5?
66/5
Let d = -5832 + 5852. Suppose 2*m - 3 = -0*m - w, -2*m - 5*w = 1. Which is bigger: m or d?
d
Let z = -0.46 - -0.36. Let f = -1733.9294 - -1734. Is f smaller than z?
False
Let c be -4 - ((-1)/(-4) - 1121/4). Suppose 5*z = -g - g + c, 3*z + 690 = 5*g. Suppose 3*f = -3*h - g, 2*f + 2*h - 4*h + 104 = 0. Which is smaller: f or -48?
f
Suppose 132 = -2*t + 24. Let x be (-9)/2*(-5)/((-45)/t). Is x at most as big as 27?
True
Suppose r + 8 = -4*q, r - q - 6 = 2*q. Let v = -15121609/199 - -75988. Are v and r equal?
False
Suppose 0 = 356*w - 167*w + 67662. Is -358 at most w?
True
Let u = 1.2429 + -1.1429. Which is smaller: -4944 or u?
-4944
Let j = -14995.7 + 15752. Let d = j - 756. Is d bigger than 70?
False
Let x be 4 + (-1 - (-12)/4). Suppose 3 = -v + x. Suppose -2 = -v*f + f. Which is greater: 1/65 or f?
f
Let l be 6/14 + (-35073)/756*50/(-9). Is 258 smaller than l?
True
Let m = 859 - 839. Suppose 4*p + 10 = m*g - 15*g, 3*p + 15 = 0. Which is smaller: g or -10?
-10
Let j = 15140/21507 + -70/107. Are j and -1 non-equal?
True
Suppose -2*m - 5 = -6*m + 3*n, 4 = 3*m - 2*n. Let q be (2/(-9))/(m/(-6)). Suppose 976 = -36*r - 86*r. Is r < q?
True
Suppose -168*n - 18241 = 29135. Which is smaller: n or -286?
-286
Let q = 322 + -6720. Let w = -44866/7 - q. Which is greater: -12 or w?
w
Suppose 9*h - 5 + 196 = -187. Which is smaller: h or -85/2?
-85/2
Let c be 18 - 4/(-12)*19419. Is c less than 6489?
False
Suppose -4*o = 11 - 39. Suppose 69 = -3*l + 4*p, -l - 4 = -2*p + o*p. Suppose -5*r = 25, -9 = 2*x - 3*r + 18. Which is smaller: x or l?
x
Let a(z) = z + 3. Let c be a(-1). Suppose p = c*u + 7, 3*u = -5*p + p - 27. Let g be 9/15 + (1/u - 0). Is 38 at least as big as g?
True
Let y be 2 - 1/(-5 + 18/4). Suppose -y*r + 5*i + 16 = i, r + 5*i = 4. Is 26/9 bigger than r?
False
Let y be ((-4)/(-6))/((-21)/(-18)). Is 0.3 <= y?
True
Suppose 27288 = -4*v - 5*u + 8137, v - u = -4790. Which is greater: -4792 or v?
v
Let d be (67/210 + 4/(-14))*4115/11522. Which is smaller: d or 0?
0
Let h be (-16)/((-128)/(-6))*(-2)/3599. Is 0 not equal to h?
True
Let f(u) = -4*u**3 - u**2 + 8*u + 5. Let t be f(-5). Suppose -i = -5*w + 220, 0 = -i - i - 3*w - t. Is i > -221?
True
Let i(v) = 8*v**3 - 14*v**2 + 20*v + 12. Let k be i(-10). Let w be 799/k*(1 + -1 + -4). Let f = 22 + -8. Which is bigger: f or w?
f
Let r be (0 - (-4)/26) + 703/247. Let p be (-10 + 13)/(r/6). Is p > 6?
False
Let z be 14/(5/(-50)*5*50). Is z equal to 5.6?
False
Let h(w) = w + 3. Let i be h(-3). Let z be 7 + (-3 - i) + -37. Let k be 105/z - (-5 + 4/2). Which is greater: k or 2?
2
Suppose k + 100 = -3*l, 4*l = -164*k + 169*k + 500. Which is greater: -99 or k?
-99
Let j be (8/(-5))/(80/1000). Let m be (-14)/10*100/j. Are m and 8 equal?
False
Let i = -2 - 1. Let n = 767 - 766. Is n not equal to i?
True
Let q be (-15)/90 - (-6999)/(-18) - 1. Which is smaller: -387 or q?
q
Suppose -a - 3*p - 113 = 0, -6*p - 10 = -16. Which is smaller: a or -140?
-140
Let j(v) = -v**2 + 16*v - 25. Let u be j(13). Let m be (-2)/3*(-63)/u. Let y be (m/6)/((-2)/(-8)). Is -2 < y?
True
Suppose 339 = 3*t - 2*b, -b + 228 = -4*t + 680. Which is greater: t or 116?
116
Let m be (-4)/(-14) + 8/14*3. Let v(c) = -2*c**3 + 7*c + 3*c**3 - 4*c + 23*c**2 - 7*c**m. Let i be v(-16). Which is greater: 1 or i?
1
Let k be 9/4 - 45/180. Let a be 155/(-106) + (k - 2/4). Which is greater: a or 1?
1
Let d be (-4)/(7 - 26/4). Let b be ((-7)/((-140)/d))/((-7)/455). Which is smaller: b or -0.1?
-0.1
Let j = 4.282 - -1.718. Is 81 less than or equal to j?
False
Suppose 4*x - 13 - 7 = 0. Suppose -65 = 4*o + x*a, 0 = 2*o - 5*o + a - 44. Let f be (-3)/((-15)/2)*-40. Which is smaller: o or f?
f
Suppose -d - 4*d - 35 = 0. Suppose 2*f - 2*u + 5*u = 226, 5*f + 3*u = 574. Suppose 0 = 5*v + f - 81. Do v and d have the same value?
True
Let n(z) = 11*z - 31. Let i(o) = 5*o - 15. Let y(q) = -13*i(q) + 6*n(q). Let k be y(-7). Suppose -2*x + 1 = t - 4*t, -3*t - k*x = 5. Which is smaller: t or 0.3?
t
Let v(c) = 28*c**2 - 13*c - 6. Let n(l) = 27*l**2 - 12*l - 6. Let g(o) = -7*n(o) + 6*v(o). Let z be g(-2). Is z >= -90?
True
Let m be (0 - 4)*-1*5/10. Let l = -0.14 + 0.371. Which is bigger: l or m?
m
Let a = -1 - -2. Suppose -a = 8*k - 17. Suppose -v + q + 5 = 3, 2*q = k. Which is smaller: 8/5 or v?
8/5
Let f be -1 + 23 - 2*(-27)/18. Let g = 26 - f. Which is bigger: 13 or g?
13
Let v = -11 - -15. Let s be (v/5)/((-10)/(-25)). Let b = 6 + -20. Is b greater than or equal to s?
False
Suppose -24*z = 56*z + 158640. Which is bigger: z or -1984?
z
Let n(u) = -82*u - 1310. Let c be n(-16). Which is smaller: -3540 or c?
-3540
Let d be (22/(-8) - -2)*(-39 - 3609). Let s = 51996/19 - d. Is s smaller than 0?
False
Let z(s) = -2*s**3 + 19*s**2 + 9*s - 39. Let l be z(10). Suppose -u = -3*g + 42, 5*g + 95 = -3*u - 59. Are l and u unequal?
True
Let w(t) = -10*t - 7. Suppose 0 = -0*l + 2*l - 6, 0 = d - 3*l + 10. Let s be w(d). Suppose -6 = 3*n + 3, -60 = s*z - 2*n. Is z less than 