00 = 37*k. Is 561 <= k?
False
Let p = -192.845 - -4.895. Let u = -195 - p. Let k = u + 0.05. Which is greater: 0.1 or k?
0.1
Suppose t = 26 + 31. Let v be ((-51)/t - -2) + -1. Let p(f) = f**3 + 15*f**2 + f + 14. Let u be p(-15). Is v >= u?
True
Let k be (365/(-20) + 18)/((-2)/(-1096)). Do k and -135 have different values?
True
Let y = 1.98 - 1.58. Are y and -6 nonequal?
True
Let a = -6.54 - 37.46. Which is smaller: 7 or a?
a
Let u(s) = s**2 + 7*s - 10. Let q be u(-10). Which is smaller: q or 17?
17
Let l(n) = n**3 - 3*n**2 + 3*n - 5. Suppose -s = -0*y - 2*y + 1, -5*s - 3*y + 21 = 0. Let g be l(s). Which is greater: g or 18/5?
g
Let p be ((-112)/(-6))/4 + -4. Is p smaller than 13?
True
Let a(t) = t**3 + 11*t**2 - 13*t - 8. Let h be a(-12). Suppose 0 = y + 2, -4*q = -0*y - h*y + 36. Is q >= -11?
True
Let t = 33 + -7. Let h = -35 + t. Let v be 4/22 + 36/(-77). Which is greater: v or h?
v
Let r = 430 - 437. Which is bigger: -140/19 or r?
r
Let w = 0.14 - 0.07. Let t = 0.19 - w. Are t and 0 nonequal?
True
Let b = -150 + 61. Let z = -88.9 - b. Which is bigger: 3/14 or z?
3/14
Let a be ((-1400)/144)/5 - -2. Which is bigger: a or 0.018?
a
Let i be -6*(-53)/(-5)*-1. Let m = -64 + i. Suppose -3*c - 5*p = -28, 5*c - 6 = -p + 4. Is m greater than or equal to c?
False
Let o be (-4 + 2)/1 - -13. Suppose 92*h - 93*h = -12. Suppose -w + o = -h. Is w at least 23?
True
Let s = 50 + -49.891. Let p = s - 0.009. Which is greater: -21 or p?
p
Suppose -4*q = -q - 15. Let d be q/(-60)*(-8)/(-114). Let h = d + 689/855. Are 2 and h equal?
False
Let t(k) = -k**3 - 6*k**2 + 41*k + 11. Let q be t(-10). Which is greater: 11/12 or q?
q
Let j(q) = -q**3 - 12*q**2 + 27*q - 33. Let y be j(-14). Let w = 40 + -25. Let l = w + y. Which is smaller: l or 1?
l
Let c be (10 + 140/(-15))/((-4)/354). Is c != -60?
True
Suppose c = z + 5, 5 = c - 4*z - 3. Suppose w = -c*w + 230. Let k be 5/10 - w/76. Which is bigger: k or 1?
1
Let h = -2/2557 + 115087/28127. Let q = -574/143 + h. Which is smaller: 0 or q?
0
Let d be (75/(-105))/((-6)/4). Which is greater: 10 or d?
10
Let y be 245200/432 - (-1)/(3/(-2)). Let n = y - 567. Which is smaller: -1 or n?
-1
Let t = -166.2 + 166. Are t and 29 equal?
False
Let j = 207 - 222. Which is greater: j or -17?
j
Let a = 13 + -10. Suppose a*w + 4*o = -41, -5*o = 2*w - 6*w - 3. Let h be (3/9 + -5)/(4/6). Is w at least h?
True
Let v be 0/((-4)/6*(-9)/(-6)). Suppose v = 7*c - 8*c + 11. Is c smaller than 8?
False
Let p = 66 + -31. Suppose 5 = 5*f - p. Let w = f + -13. Which is greater: w or -7?
w
Suppose 4*d = 12*d - 64. Suppose -13*z - 55 = -d*z. Are z and -12 equal?
False
Suppose g = 2*t + 3*g - 22, -4*t + 3*g = -58. Suppose c - 8 = 5. Is c >= t?
True
Let i(n) = n**3 + 18*n**2 - 4*n + 11. Let k be i(-18). Suppose 86*o - 9 = k*o. Which is smaller: o or 14/5?
14/5
Let n = 108 + -38. Suppose 3*v + 2*i + 119 = -0*v, 2*v - i = -n. Is -37 less than or equal to v?
True
Let x = -147 + 183. Is 33 greater than x?
False
Let x(f) = f**2 - 28*f + 24. Let d be x(22). Which is smaller: -110 or d?
-110
Suppose 6*g - 210 = 9*g. Which is smaller: g or -71?
-71
Let x(j) = 3*j - 78. Let l be x(26). Let y be 1 + 0 - (-377)/(-299). Is y at most as big as l?
True
Suppose z + 1 = 3*u + 4, 3*u = 3*z - 9. Which is greater: z or 24/13?
z
Suppose 556*m = 555*m + 42. Are 35 and m nonequal?
True
Let t(a) = -a - 21. Let p(y) = 1. Let s(v) = -3*p(v) + t(v). Let d be s(-23). Let c = 2.6 - 16.6. Is c < d?
True
Suppose 518*t - 522*t - 3808 = 0. Which is smaller: t or -1/4?
t
Let c = 11.5 + -10. Let h = c + 1.5. Are h and 1 unequal?
True
Suppose 14*l - 24 = 2*l. Is -2.3 not equal to l?
True
Let c(n) = 5*n**2 - 6*n + 11. Let v(p) = -4*p**2 + 5*p - 10. Let g(m) = -3*c(m) - 4*v(m). Let z be g(0). Which is bigger: 6 or z?
z
Suppose -3*n + 3 - 11 = -5*s, -4*s = 3*n - 28. Suppose -2*j + 3*i = -0*j - 18, 2*j = -n*i - 10. Which is bigger: -2/17 or j?
j
Let b = -83 + 233. Are b and 150 nonequal?
False
Suppose j = -0*j. Let f(r) = -r**3 - 6*r**2 - 10*r - 6. Let k be f(-4). Suppose j = 3*b + h, 3*h = -b - k*h. Which is smaller: b or -1?
-1
Let a be 1 + 1 - (-10)/(-5). Suppose 6*j - 10*j + 20 = a. Suppose 3*h + 0 + 16 = 5*c, j*h = c + 10. Is h < 3?
False
Let l = -18 - -16. Let c be (6/(-8))/((-5)/20). Suppose 6*f - 15 = c*f - 3*q, -q = 5*f - 5. Is l <= f?
True
Let i be (-2 - -1)/(2/18). Let v(x) = x**2 - 37*x + 181. Let n be v(6). Which is smaller: n or i?
i
Let y(k) = 4*k**2 + k. Let l be y(1). Suppose 2*h - 2*o - 21 + 9 = 0, l*o - 50 = -5*h. Let c(a) = a**3 + 7*a**2 + 9. Let v be c(-7). Are v and h equal?
False
Suppose -5*r + 749 + 1001 = 5*z, 4*z - 1436 = 5*r. Is z <= 2?
False
Suppose 18*l - 7*l = -3*l. Let d be (l - (-4)/12)/(2/(-6)). Which is bigger: d or 5/19?
5/19
Suppose 43 = -2*b + 147. Let r be ((-72)/b)/2 + 1. Which is greater: r or 1?
1
Suppose 3*x + 23 = -4*h, 0 = 2*h + 3*h - 2*x. Let m be ((-310)/156 - -2)*h. Which is bigger: 1 or m?
1
Let t be (8 - (0 + 4)) + -4. Suppose -o - 7 - 7 = t. Is -14 less than o?
False
Suppose 0 = -5*c + 4*l - 87, 2*c - 8 = l - 44. Do c and -272/15 have different values?
True
Let u = 26224/6656407 - 2/12583. Let h = -551/5819 + u. Let l = -11 - -11. Which is smaller: l or h?
h
Let i = 0.102 + 80.898. Let d = i + -80. Is -13/4 smaller than d?
True
Suppose -5*i + 454 = -1. Let p = i + -271/3. Which is greater: 2.4 or p?
2.4
Let p be (9/(-6))/((-66)/(-252)). Which is greater: p or -6?
p
Let y(p) = -p**2 - p + 5. Let i be y(-2). Do i and 5 have the same value?
False
Let z be (6 - 4)/8 + 861/12. Is 71 < z?
True
Let b = 16/158275 - 1597216399/633100. Let w = -9995/4 - b. Let p = w + -24. Are 0 and p equal?
False
Let c = 6 - 5.9. Let f be 3 - 4/(16/22). Is c bigger than f?
True
Let h = 8.01 + -0.01. Let o be (2 - 26/4) + (-84)/(-24). Is h > o?
True
Suppose -d = 4*d - 60. Suppose -9*f + 77 + 31 = 0. Is f != d?
False
Let h = -1192159/891 - -1338. Is h at most as big as -1?
False
Suppose 7 = 7*c - 7. Are -2 and c unequal?
True
Let c be 1 - ((-66775)/(-180) - -4). Let p = 374 + c. Do 0 and p have different values?
True
Let s = 20.6 + -21.6. Which is greater: -11 or s?
s
Let m = 88 - 218. Let g be (162/(-30) - -5) + (-56)/m. Is g greater than or equal to 1?
False
Let q be 2/3*(2 - 5) - -16. Suppose 7 = -q*t + 7*t. Do t and -15 have the same value?
False
Let j be 0/1 - 0/(-2). Let c be -5*(8/10 + j). Let b be 96/(-52) - (-8)/(-52). Is c > b?
False
Let h(l) = -6*l + 23. Let m(b) = -11*b + 45. Let x(j) = -5*h(j) + 3*m(j). Let y be x(6). Is y <= 1?
False
Let r be (-264)/(-121) + (-2)/11. Let k be 1/r - (-44)/8. Let l be -3 + (2 - k - -7). Which is bigger: 2/55 or l?
2/55
Suppose -541 = -18*p + 755. Is 74 less than p?
False
Let m be (-288)/(-9) + 3 + 1 + -5. Which is bigger: m or 29?
m
Let v be 4 + -2 + 9*2. Let a be 18/(-4)*v/15. Suppose 4*s - 3*l = -40 + 4, -34 = 5*s - l. Is a smaller than s?
False
Let x be (-3)/((-30)/9 - -3). Suppose x*u = 3*u - u. Which is smaller: u or -2/129?
-2/129
Let t = -60 - -60.1. Is 99 at least t?
True
Let g be (296/64 - 2)*56/6. Is 0.1 at least as big as g?
False
Let m = 28 + 115. Let r = -1289/9 + m. Let n be 3/(-3) - (-14)/10. Is r less than or equal to n?
True
Let u be -1*(0 - 1)/(-1). Let t = 1318/795 - 102/53. Is t bigger than u?
True
Suppose 5*w = -5*q - 0*q - 10, 0 = -4*w - 5*q - 8. Let x = 389 - 2339/6. Is w at most as big as x?
True
Let f be 1/1 - 0 - 0. Let c = 0.019 - -35.981. Let d = c - 36.09. Which is smaller: f or d?
d
Let f = 63.9 - 72. Let k = f + 8. Which is greater: -1/4 or k?
k
Let k(n) = -10*n - 232. Let p be k(-24). Are p and 3 equal?
False
Let f be (-10)/6 + (-2)/(-3). Let u = 450 + -2695/6. Is f less than or equal to u?
True
Let u be -2 + 0 + 1 - 3. Let i = 4 + u. Let c be (-4)/(-15)*(-2275)/(-546). Which is bigger: i or c?
c
Let k be (-12 - -11)*2/2. Suppose -4*p - 4 = 2*t, -6*t - p - 1 = -4*t. Is k equal to t?
False
Let q = -1179 - -1179. Let b = -8 - -11. Suppose -5*u = 3*m + 12, 0*m + 3*m = b. Which is smaller: q or u?
u
Let o be (-27)/(-6) - (-1)/(-2). Let g be -2 + o - (-64)/(-22). Let l = 11/4 + -13/4. Which is smaller: l or g?
g
Suppose -5*r + 10 = 2*x - 3*r, -4*x = -r - 45. Suppose -x = -l - 7. Let c be 2/(-5) + 7/5. Is l > c?
True
Suppose 0 = 5*t - t + 72. Let s be (-58)/6 + t/(-27). Are -1/2 and s equal?
False