 Let a(q) = 14*q + 65. Let x be a(-5). Let i be x/((-25)/10) + (-56)/26. Which is bigger: i or b?
i
Let m = -694.1 + 136.1. Which is smaller: -2/3 or m?
m
Let g = 3876 - 3875. Suppose -4*y + 16 = -32. Which is bigger: g or y?
y
Suppose 4 = -5*w + 19. Suppose 16 = -w*v - 113. Is -43 > v?
False
Let w = 520.21 + -521. Which is greater: w or -1/4?
-1/4
Suppose -33670 = 41*h - 4*h. Which is smaller: h or -1?
h
Let j(a) = 12*a. Let l be j(-1). Let d = l + 9. Let b = d + -3. Does -4 = b?
False
Let t = 560 - 559.9. Which is bigger: -59 or t?
t
Let z(x) = -6*x**2 - 15*x + 9. Let c be z(-3). Which is bigger: -16/43 or c?
c
Let r be (-1)/(-1 + 14/12). Suppose -n + 13 + 2 = 5*m, 4*m = -n + 12. Let s be (-1)/(m + r/3). Is -2 less than or equal to s?
True
Let z = -1150 + 1646. Is z smaller than 2/7?
False
Let t = 166 + -165. Are t and 3/401 equal?
False
Let j be (34606/533)/(-11) - (-6)/1. Are j and -1 non-equal?
True
Let r = 80 + -67. Let o(j) = 7*j - 29. Let k be o(6). Is k > r?
False
Let w = 1.96 - 2. Let f = w - -4.04. Let p be (-1)/13*0 - ((-2 - -2) + 0). Is f equal to p?
False
Let s = -417 - -389. Which is greater: s or 22/7?
22/7
Suppose -8 = 2*v + 6. Let h = v - -9. Let l = -0.064 - -0.044. Is l bigger than h?
False
Let g be (-181)/13*7/(-21). Let h = g + -4/13. Is 3 not equal to h?
True
Let y = 450.95 - 451. Is y at most as big as -0.12?
False
Suppose 3*y - 852 = h + 2*h, 2*y - 562 = 5*h. Which is smaller: -0.1 or y?
-0.1
Let a = -16 - -37. Suppose -5*y = -4*k + 44, 2*k + 11 + a = -2*y. Is y at most as big as -12?
True
Suppose -4*f - 23 = 4*g - 119, 4*f + 3*g = 92. Let z be f/(-30) + (-116)/6. Let p be -1 - -5 - (z + 22). Which is greater: 3 or p?
3
Let a = 3535 + -17619/5. Is 10 != a?
True
Suppose -3*t - 101 = -5*g, -2*g = 2*t - 62 + 12. Suppose g = 5*b + 4*y, -4*b - y = b - 28. Is -1/2 equal to b?
False
Let z(j) = j**3 + 21*j**2 + 17*j - 59. Let x be z(-20). Does -0.65 = x?
False
Let l = -714 - -362. Which is greater: 2 or l?
2
Let x(b) = 3*b - 26. Suppose -8*g = -22 - 50. Let k be x(g). Let y(m) = -m + 3. Let t be y(2). Is t < k?
False
Let i = 14 + -14. Let o = -0.9 + -3.4. Let f = o + 4. Is f less than i?
True
Let p(j) = 97*j + 131. Let a be p(3). Which is bigger: 423 or a?
423
Let h = -874 + 639. Is -234 less than h?
False
Let t = -6 + 13. Suppose 27 = 12*r - 81. Which is smaller: r or t?
t
Let i = -9/40 - -1/360. Are -0.04 and i equal?
False
Let r(o) = -6*o + 3*o + 2*o**2 - 3*o**2 + 3 - o. Let n be r(-5). Suppose c - 4*c - 15 = 3*t, -4*t = -3*c + 20. Do c and n have different values?
True
Let t = 131.6 - 128. Is 1 smaller than t?
True
Let p = 5 - 4.78. Let n = 0.28 - p. Is 0.1 smaller than n?
False
Let u be ((-2)/6)/(6 + 4664/(-777)). Let g = u - 131. Which is smaller: g or -20?
-20
Let a be (-5)/((-21)/(-6) + -3). Let o be (-18)/27 + a/(-6). Is 41 > o?
True
Let t(q) = -q - 2. Let k be t(0). Let m be 0*k/(3 + -9). Let l be 4*(2/(-20) + m). Which is bigger: l or 1?
1
Suppose -22 - 41 = x. Let d be 6/(-4) + x/(-14). Let y be 12/d + (-19)/5. Which is smaller: y or 1?
y
Suppose -4*w + 0*w - 22 = -2*f, -2*w - 8 = 2*f. Which is greater: 5/41 or f?
f
Suppose 2*c - 8 = -2, -3*f + 201 = -3*c. Let z = 77 - f. Suppose 3*k = -0*k + 18. Is k less than z?
True
Suppose 4 = -3*n + 1. Let f(d) = 6*d + 13. Let z(r) = -5*r - 14. Let b(w) = 3*f(w) + 4*z(w). Let l be b(-9). Is n at least l?
False
Let l be ((-116)/10)/((-84)/35) + -3. Is l < 1?
False
Suppose -u - 2*u = -3*f + 912, 0 = 5*u - f + 1540. Do u and -309 have the same value?
True
Let a = -0.376 - -0.476. Is 0.309 at most as big as a?
False
Suppose f - 59 = -5*m, -20 = -7*m + 5*m - 4*f. Suppose 10 = 2*t + 3*q - 19, -3 = t - 2*q. Suppose t*n = 3*n + m. Which is bigger: n or 2?
n
Let x be (-31)/(-589) - (-77)/(-19). Suppose -5*c - 3*r - 119 = 0, 3*c + 2*r - 3*r = -77. Let t be (-2)/(-5) - (-185)/c. Is x less than or equal to t?
False
Suppose -y = -z + 5*z - 14, 0 = 2*y + z + 7. Let b(i) = -i**2 - 7*i - 5. Let j be b(y). Is -3/55 at least j?
False
Let w(i) = -14*i - 127. Let g be w(-9). Is g at least 1/164?
False
Let g(t) = -315*t**2 + 20*t + 2. Let a be g(2). Are a and -1218 nonequal?
False
Suppose 0 = 5*s - 2*s + 4*a + 5, -2*s + 4*a + 10 = 0. Is s > 6/13?
True
Let z = 4267/2782 + -20/13. Is z less than or equal to 1?
True
Let q(u) = -31*u + 112. Let i be q(-11). Is i != 452?
True
Let u = -159/7 - -23. Which is smaller: 0 or u?
0
Let y = 0.0851 + -0.9871. Let l = -0.098 + y. Let p = 2 + -1.96. Which is smaller: l or p?
l
Let p be 820/(-410) + 2*14/4. Which is greater: p or 26?
26
Let m = 194 + -132. Let q = 39 - m. Let r = -22 - q. Is r greater than -24?
True
Let m = -259 + 269. Does -2/5 = m?
False
Let j(h) = -h**3 + 21*h**2 + 4*h - 71. Let c be j(21). Is c greater than 29?
False
Suppose -w - 4 = 4*j, -6*j + j = 3*w + 12. Suppose -12 = -5*f + 3*n - 80, 3*f - 2*n + 40 = 0. Let o be f/32*w/(-2). Is 1/16 greater than o?
True
Let p(q) = 3 - 5*q**2 + 2*q - 4 + q + 4*q**2. Let m be p(4). Let g be (-20)/5 + (-17)/(-4). Which is smaller: m or g?
m
Let a = -1664 - -1663.6. Suppose 8*p = 3*p. Do a and p have the same value?
False
Let g be (-200)/6*81/(-288) - 4. Let h = g + -45/8. Let o = 3 + 0. Which is smaller: h or o?
h
Let z be (24/3 + 1)*3/(-117). Are z and -3 nonequal?
True
Let l = 0.66 + -0.86. Let m be 20/(-6)*(-2 - -5). Are m and l non-equal?
True
Let d be 4/14 - 1086/28. Let g = 125 + -85. Let c = g + d. Are 2 and c unequal?
True
Let o = -4 + 8. Suppose -6 = 5*b - o*r, 0 = -r - 3*r + 16. Suppose 0 = -0*u + b*u - 16. Is u <= 8?
True
Suppose 6*g - 32 = -10*g. Which is smaller: g or 0.06?
0.06
Suppose -6*b = -9*b + 9. Let u(v) = -v**3 - 5*v**2 - 5*v. Let a be u(-4). Let m be -4 + a/(1 - 9). Which is smaller: m or b?
m
Let i = 0.7 + -0.72. Let y be 4/4 + 0 + -1. Are i and y equal?
False
Let h(x) = x**2 + 4*x + 1. Suppose -3*q + q - 8 = 0. Let g be h(q). Suppose 3*f = -5*p + 6*f - 5, 5 = -5*p + 5*f. Is p >= g?
False
Let d = -15 + 15.04. Let o = 6.96 + d. Let v = o - 4. Is v equal to -2/17?
False
Suppose 4*c + 3*k = -0*c - 12, -3*k + 6 = -2*c. Let n be ((-1)/c)/(2/(-42)). Let h(a) = -2*a**2 - 13*a + 16. Let f be h(-8). Which is smaller: f or n?
f
Let c = -261.9 - -250.9. Is c at least -8?
False
Let o = -2 + 0. Suppose 0 = 8*w - 5*w - 12. Suppose 2*t = -10, -l = -w*t - 18 + 1. Is l less than o?
True
Let w(n) = -n**3 + 14*n**2 + 34*n - 45. Let x be w(16). Let f = 70 - 37. Let i = 20 - f. Is i > x?
False
Let r = 9154/7 - 1308. Is 7 not equal to r?
True
Suppose -199 = -3*k - 19. Let m be (-24)/k*(-2)/(-40)*2. Which is bigger: -1 or m?
m
Let s be -1*9/12*-4. Let n be (-8)/60*-5*s. Suppose -4*z - n*u - 2 = 0, 5*u = -2*z - 2 - 11. Which is smaller: z or -1?
-1
Suppose 0*c - 3*h = 2*c - 8, 2*h = 4. Let j be (-1 + 2)/(3/9). Suppose j*n + c = 13. Is 0 > n?
False
Let u be (1 - 41/55)*(-160)/128. Does u = 1?
False
Suppose 0 = 5*b - b - 2*t - 70, b = -2*t + 10. Let w = -52 - -30. Let o = w - -39. Which is bigger: o or b?
o
Suppose 102 = -2525*l + 2528*l. Which is greater: 163/5 or l?
l
Suppose -3*r = 4*p + r - 12, 4*p + 3*r - 10 = 0. Let y = -3.33 - 1.67. Which is greater: p or y?
p
Let n = 3 + -11. Let j = 678.05 - 670. Let s = n + j. Which is bigger: s or 0?
s
Let q be (((-2)/(-3))/2)/3. Let j(a) = -a**3 - 17*a**2 + 18*a - 7. Let b be j(-18). Let i(k) = k**3 + 5*k**2 - 12*k + 14. Let o be i(b). Is q > o?
True
Suppose 4*g = 2*g - 2. Let p be 36/50*(-40)/32. Is g not equal to p?
True
Let h = 1290 + -117392/91. Let s = -212/1365 - h. Which is smaller: s or 0?
s
Suppose -138 = -12*o + 18*o. Is o smaller than -14?
True
Let m = -3 - 9. Let a be 3/2 + 126/m. Let k be 8/(-28) + (-75)/7 + 3. Which is smaller: k or a?
a
Let i = 641 + -598. Which is greater: 1 or i?
i
Let t = 8.02 - 8. Which is greater: t or 0.1?
0.1
Let u be 1*2 + (3 - 1). Let c be ((-6)/5)/((-1)/(-25)). Let b be (1*-1)/(5/c + 0). Is u not equal to b?
True
Let a be 44/(-3) + 1/(-3). Suppose -58*q + 68*q = -60. Let h be q*-5*2/a. Are h and -1 unequal?
True
Let f be -4 - (-1 - -12 - -1). Let y be ((-6)/(-4))/(2/f). Let o(i) = i**2 - 14*i + 35. Let c be o(8). Is y > c?
True
Let g(c) = 8*c**3 - 20*c**2 + 8*c + 6. Let l(t) = -7*t**3 + 18*t**2 - 7*t - 6. Let r(z) = -6*g(z) - 7*l(z). Let f be r(5). Which is smaller: -2 or f?
f
Let q = 5.8 + 2.4. Is 0.1 <= q?
True
Let 