)/(-18) - (879320/(-144))/65. Is i < 148?
True
Let m = 17933 - 17940. Suppose u + 5 = 5*g, u = -5*g - u + 5. Let z = g + -8. Is z != m?
False
Let s be (-2)/((-2)/(-33)) - (-57)/19. Let r be 33/s + (-30)/(-15). Which is smaller: r or 1?
r
Let z(m) = m**3 + 2*m**2 - 19 + 4 + 7*m**2 - 1. Let p be z(-5). Suppose 2*r - 111 - 59 = 0. Which is bigger: r or p?
r
Suppose 2*f + 4*c = -3*f - 24, -2*f - c = 12. Let a(i) = 8*i**2 + 18*i - 27. Let z be a(f). Is z smaller than 340?
False
Let a(b) = b**2 - 13*b + 56. Let v be a(27). Let z be (-72)/504 + (-1198)/v. Which is smaller: -2 or z?
z
Let s = 114.7 - -34.3. Let l = 148.9 - s. Let p = -121 + 969/8. Is l less than p?
True
Let c(z) = -13*z + 69. Let g be c(13). Let x be g/(-420)*(-6)/(-15). Is 2 less than or equal to x?
False
Let r = -7615 - -5274. Are r and -2341 non-equal?
False
Let f be 37203968/46 + (-4)/(-2). Let c = -809393 + f. Let x = -609 - c. Which is bigger: x or -1?
x
Suppose 57*m - 122*m - 573170 = 0. Is -8820 > m?
False
Let g = 58221 + -202900183/3485. Let w = g - 73231/80155. Does w = 0?
False
Let x = 2.49 - 2.8. Let w = 2.79 - x. Let c = 2.6 - w. Which is smaller: c or -2?
-2
Let n be 0 + 0 + 2 - (88 + -97). Let y(h) = 2*h**2 - 20*h - 4. Let o be y(n). Is 0 <= o?
True
Let d = -341 + 329.7. Let i = d - -15.5. Which is smaller: i or 0.1?
0.1
Let k(b) = 99*b - 14661. Let s be k(146). Is s greater than -63?
False
Suppose -5*f = 4*f - 8*f + 2984. Does -2983 = f?
False
Let j(s) = s + 169. Let w be j(-3). Which is smaller: w or 165?
165
Let h = -12370 - -11847. Suppose -4*g - 524 = -3*g. Is g less than or equal to h?
True
Let b = 1239 - 1238. Suppose -3 = t - 5. Let h be (t + -1)*15/3. Are b and h equal?
False
Suppose 170*y + 13 = 183*y. Is 91 <= y?
False
Let y = -0.221 + -25.479. Let r = 26.1 + y. Is -31 greater than r?
False
Let m(y) = -17*y - 816. Let j be m(-47). Is j smaller than -591/38?
True
Suppose 7*z - 7*x - 49515 = -11*x, -3*z + 21255 = -4*x. Is z less than 7077?
False
Let k = -885 - 1035. Let a be (k/(-112))/(22/14). Are a and 10 unequal?
True
Let t = 2493 - 2488. Let r = -25 + 36. Suppose r = x - 5*x - 3*u, 0 = -t*x + 5*u + 30. Which is smaller: x or 20/11?
x
Let m = 7737/7259 - 3/427. Do 0 and m have the same value?
False
Let u = -656767/321 - -2046. Which is bigger: -1 or u?
u
Let z = 2 - 3. Let o = -79 - -113. Let i be 23/69 + o/(-42). Are i and z unequal?
True
Let t(f) = 7*f - 38. Let s be (2 + -3)*-4 + 0/(-2). Let r be t(s). Which is greater: 6 or r?
6
Let p = -137/220 - -47/132. Let t = -20 + 101/5. Is p not equal to t?
True
Let t = 29 - -13.8. Let v = -43 + t. Let z = 0.17 + v. Which is smaller: 0.1 or z?
z
Let t = -0.7 - 3.13. Let j = t - -3.67. Which is smaller: j or 0.7?
j
Let v = -23785 + 23795. Which is greater: -79/2 or v?
v
Let r be (8/(-12))/(4/(-390)). Suppose -n + 66 = 23. Let g = n - r. Do -21 and g have the same value?
False
Suppose -122 = 4*w - 3*i - 1313, -5*w - 5*i = -1445. Suppose w = -15*u + 21*u. Is u less than 49?
False
Let p be (32 + -276)*(-2 - 5/(-4)). Is p smaller than 1821/10?
False
Let f(a) = -a**2 - 4*a + 31. Let k be f(0). Which is smaller: 41 or k?
k
Let y(q) = -q + 45. Let c be y(-28). Suppose -2*v = 2*l - 82, 10*l - 12*l + v = -c. Which is bigger: l or 35?
l
Let s(p) = p**2 + 26. Let f be s(-13). Suppose 5*o - 2*t = f, 5*t - 112 - 48 = -5*o. Which is smaller: o or 38?
o
Let l(a) = 2*a**3 - 9*a**2 - 3*a - 10. Let g be l(5). Suppose -4*m - 119 = -3*u, 4*u + 2*m - 205 + 17 = g. Is u <= 45?
True
Suppose 5*b + u + 2*u = 20, 19 = 4*b + 3*u. Suppose 5*r - b + 91 = 0. Let g be 6/27 - (-400)/r. Is -21 not equal to g?
True
Let r = 29100 - 29101. Is r bigger than 14343/2?
False
Let r = -583 + 1020. Let o = r + -437. Which is smaller: o or 3/16?
o
Let c = -19673 - -17913. Is c smaller than -1759?
True
Let r be -1 + 3 + 59 + -55 + -11. Is r equal to -119/3?
False
Suppose -5*f - 26 = -4*j, -7*j - 22 = -10*j + 5*f. Let v(c) = -7*c + 24. Let n be v(j). Let a be -1*(-20)/(-55) - n/2. Is a greater than or equal to 3?
False
Suppose -14*c + 155 = 85. Let z(i) be the third derivative of i**6/120 - i**5/10 + i**4/6 + 5*i**3/6 - i**2. Let j be z(c). Which is bigger: -7 or j?
j
Let w be (12*(-12)/240)/((54/(-5))/6). Is w at least -45?
True
Suppose -5*w - 40 = 0, 76*w - 32 = 4*d + 79*w. Which is bigger: -168/55 or d?
d
Let m = -3717 - -3718. Which is greater: m or -2/6671?
m
Suppose 4*z - 23 = 5*r + 7, -z - 2*r = -1. Suppose -p + 75 = 4*p. Let s be 40/p*(-3)/(-2). Do z and s have the same value?
False
Let p = 712.3 - 746. Let y = p - -34. Let z = -118 - -117. Is z smaller than y?
True
Suppose -13 = -3*n - 4*f, 0 = -4*n + 9*n + 2*f - 17. Let d be (-12)/(-8)*(-25 - n). Which is smaller: -46 or d?
-46
Let b be (13/((-1235)/18))/(2/(-10)*2). Which is smaller: b or 0?
0
Let u(r) = r**2 - 5*r - 24. Let k be u(9). Let b = k - 335/28. Which is smaller: b or 0?
0
Let o(c) = 25*c**2 + 9*c + 199. Let k be o(-8). Is 1726 < k?
True
Let x = 35028 - 131084. Let m be x/(-59) - (-12 - -9). Let r = m - 1631. Is 0 not equal to r?
True
Let t = 880.7 - 1023. Let y = t + 143. Let a = -2 + 4. Is y at least a?
False
Suppose -g - 647 = -4*d, 3*d - 2*g - 492 = g. Let k = 2420 - 2260. Does d = k?
False
Suppose -24*p = -119 + 2231. Are -437/5 and p nonequal?
True
Let a be 570/(1 - -2) - -5. Let i = a + -199. Which is bigger: 6 or i?
6
Suppose -b + 2 = -2. Suppose 0*r = -b*r - 8. Let k be 1/(-4)*-10 + r. Which is bigger: 0.24 or k?
k
Let z = -1146.55 + 1124. Let n = z - -22. Let j = -0.75 - n. Is 2/17 greater than j?
True
Let l = 66 + -64. Suppose 0 = -2*x + 2*r + l*r + 274, 0 = 5*x + 2*r - 625. Which is smaller: 509/4 or x?
x
Let l be (2 + (-4524)/(-21))/(2 - (-52)/(-28)). Is l < 0?
False
Suppose 34*s - 120 - 288 = 0. Suppose -4*p + p - 3*l = -33, 3*l - 6 = 0. Which is smaller: s or p?
p
Let w be (-16 + (17 - -543))*(0 - 6/8). Suppose -3*d = -581 + 1802. Which is smaller: w or d?
w
Let h = -2/167 - 1829/668. Suppose -4*v + 0*g = 4*g + 28, 4*g + 13 = v. Which is smaller: v or h?
v
Let k be ((-9)/12 + (-290)/(-24))*6. Suppose k = -18*f + f. Which is smaller: f or -5?
-5
Let s = -170 - 6. Let a = -176 - s. Is a >= -1/62?
True
Suppose -4*j - 46 = -3*i, -3*i + 2*j + 0*j = -44. Let a = -35.3 + 32.37. Let k = 0.93 + a. Which is greater: i or k?
i
Let d be (1 + -2)*9/(-3). Suppose -d*l - l = -0*l. Let k(c) = c - 43. Let t be k(l). Which is greater: -44 or t?
t
Let p be -9*(2/4)/((-9)/4). Suppose 4 = -p*w, r - 4*w - 10 = -4. Is 34 <= r?
False
Let r = 41.7 + 1.9. Let s = 42.95 - r. Which is bigger: 0 or s?
0
Let g(v) = -22*v + 14. Let k be g(-7). Let n = k - 259. Let z = 91 + n. Does -17 = z?
False
Let l(j) = -j - 7. Let n be l(-5). Suppose -3*y + y = 5*g + 376, 5*g - y + 367 = 0. Let u be (1/(-25)*-28)/(g/185). Which is smaller: n or u?
u
Let h = -97 + 90. Let y = -39 - h. Let v be (-4)/24 + 573/(-18). Is v bigger than y?
False
Suppose -3*c - 9*n = -11*n - 349, -2*n - 232 = -2*c. Let v(a) = 107*a - 98. Let r be v(2). Is c > r?
True
Let v(b) = 39*b**3 + 8*b**2 + 17*b - 62. Let z be v(2). Is 316 less than z?
False
Let t be (4/(-6))/(11/(-9)). Suppose 0 = -2*j + 4*c - 26, 5*c - 7 = 5*j + 38. Let l be j/(-40)*20*2/30. Does l = t?
False
Let t(z) = z + 10. Let q be t(-8). Suppose u = 4*s - s + 383, 3*s = -q*u - 368. Which is smaller: -127 or s?
-127
Let y(p) = -p**3 - 6*p**2 - 6*p - 3. Let m be y(-4). Let r = m + 35. Let t = 22 - r. Which is greater: t or -3?
t
Suppose -95*y = -5*l - 100*y - 28120, 8*l + 44998 = -5*y. Which is smaller: -5627 or l?
-5627
Let b(s) = -s**3 + 15*s**2 - s + 17. Let r be b(15). Suppose -655 = -3*i - 2*y, 5*i + 7*y - 1085 = r*y. Which is smaller: i or 222?
i
Suppose -c = -3929 + 2608. Which is greater: c or 1320?
c
Let t = -1.16 - -3.66. Suppose -4*x = 2*p - 335 - 367, 10 = 2*p. Let v = x - 1213/7. Is t at most as big as v?
False
Let t(x) = -8*x**2 - 383*x + 384. Let m be t(1). Which is bigger: m or -197/28?
m
Let u be (-13 + 13)*24/(-144). Which is bigger: -6/5381 or u?
u
Let n = -0.3483 + -9.6517. Which is bigger: n or 0.13?
0.13
Let x(q) = -q**3 + 9*q**2 + q + 3. Let n be x(9). Suppose -14*d + n*d = -136. Are 70 and d nonequal?
True
Let b = -834.014 + 13.014. Is b < 0.03?
True
Let k(p) = -452*p + 26. Let z be k(-2). Suppose 96*o - z = 111*o. Which is bigger: o or -60?
-60
Let k 