4. Let r = z - -214.14. Let w = 1757/9 + -195. Is r at most w?
True
Let n = -194.48 + 2.48. Let g = 135 + n. Which is greater: g or 0?
0
Let w be 0*(4 - 21/6). Let s be (-6)/9*(-72 + w). Let j be -5 + 1 + 312/s. Which is greater: j or 4?
4
Let n(d) = 14*d + 104. Let k be n(-7). Suppose 27 = -k*l - 9. Is -5 < l?
False
Suppose -9*b + 5*b = 20, 4*b = -3*x + 16. Let m be -1*-2*-3*2/x. Let p be (-32)/(-14)*-1 - -2. Which is smaller: p or m?
m
Suppose 1997 = -3*j + 2000. Is j equal to 13/36?
False
Let s(m) = -m**3 - 6*m**2 + 16*m - 1. Let x be s(-8). Let r be ((-6 - -3) + 3)/(-2)*x. Which is smaller: 40 or r?
r
Let s be (-4)/6 + (-16)/6. Let y = -587 + 649. Suppose 2*d + 70 = y. Is s equal to d?
False
Let l be (3353/14)/(2/4). Let a = 33349 + -32869. Which is smaller: a or l?
l
Let m be 5949/(-12) + -3 + 8. Let f = -491 - m. Which is smaller: 28/3 or f?
f
Suppose 611*b - 19320 = 587*b. Is b less than 803?
False
Let o be (2 - 14)*6/32. Let j = 1784 - 1785. Is j equal to o?
False
Let l = -32 - -30. Let z(a) = -6*a**3 - 4*a**2 - 2*a + 2. Let j be z(l). Suppose j = -t + 3*t. Is 20 <= t?
False
Let p be 3868/7 - (373 - 379). Which is bigger: p or 559?
559
Let c(s) = -70*s - 5. Let f(m) = -m. Let h(b) = c(b) - 4*f(b). Let t be h(3). Let p = 6701/33 + t. Which is greater: p or 1?
1
Let a be (872/20 - -2)/(((-32)/(-500))/4). Is 2850 <= a?
True
Let b = -3.86 - -3.96. Suppose -c + 19 = 15. Suppose c*p + 6 = -2. Are p and b unequal?
True
Let u = -7208/21 - 153/14. Which is greater: u or -355?
u
Let j be 72/14 - 5/35. Suppose -7*l = -j*l - 14. Suppose 3 + 4 = -l*y. Is y greater than -2?
True
Let v be 6 - ((-11)/(-22))/((-2)/(-20)). Which is greater: v or -8/559?
v
Suppose 14*j = j + 7644. Let n be ((-2)/(-4))/(7/j*1). Is 39 greater than n?
False
Suppose -3*p - b + 17932 = 0, p + 4*b + 675 = 6656. Do p and 5977 have the same value?
True
Let v = 2/547 - 2751/4376. Suppose -r + 2*i + 6 = -11, r + i - 2 = 0. Let u be 6/21 + (-16)/r. Is v at least as big as u?
True
Let r = 0.24 - 0.193. Let t = -0.1016 - 2.6514. Let v = r - t. Which is smaller: v or -1?
-1
Let a be 24/(-15) + (-499068)/(-89130) + -4. Which is smaller: a or 0?
a
Suppose -4*l - 6 = -6*l. Let y be (4/(-8))/(l + (-70)/24). Let j = -7 - -8. Is y smaller than j?
True
Let m(z) = -z**3 + 10*z**2 - 23*z + 71. Let i be m(9). Which is greater: i or -603/11?
-603/11
Suppose 0 = -400*l + 378*l + 22. Let o = 976 - 6813/7. Is l equal to o?
False
Let k = 1 - 0. Suppose -236*l + 91*l = 88*l - 233. Is k > l?
False
Let i = 0 + -2. Suppose 0 = 3*a - 4*q - 742, a + 19*q - 23*q - 250 = 0. Let f = a - 244. Which is bigger: i or f?
f
Suppose 5*g - 7323 = 802*t - 801*t, -4*g - t = -5862. Is 1465 at most as big as g?
True
Let m be (-1)/(-13) + 9720/(-6708). Let l = m + 45221/32895. Which is smaller: 0 or l?
0
Suppose 240 + 143 + 2295 = -206*p. Which is smaller: p or -15?
-15
Let f(v) = -30*v**2 - v + 1. Let g be f(3). Let b = -39130 + 275818/7. Let i = g + b. Which is smaller: 0 or i?
0
Let k = 40054 - 160215/4. Which is greater: k or 248?
248
Let d(g) = -3*g**2 - 10*g - 16. Let w be d(7). Let r = w + 229. Is r equal to -36/13?
False
Suppose 44*y - 163 = 152*y + 55*y. Which is bigger: y or -46/73?
-46/73
Let o be -5 - 0/((3 + 1)/(-4)). Suppose s + 1 = 4. Let b be s - (o + 0 - 10). Which is smaller: 16 or b?
16
Let c = -232 - -234. Suppose -10*g + 7*g = 3*y - 645, 4*g + 400 = c*y. Is y at least 211?
False
Let c = -10.475 + 10.875. Is 27.6 at most c?
False
Let x(h) = h**2 + 55*h - 147. Let b be x(-57). Which is greater: -275/8 or b?
b
Let o = -3 - -5. Let x be ((-2)/2)/(o/(-88)). Let f = 455924 - 455880. Is f greater than or equal to x?
True
Let a be (329560/(-80))/11 + (-1)/(-2)*1. Which is smaller: a or -1126/3?
-1126/3
Suppose -x - 7 = -1. Let z = 345 + -353. Is x at most as big as z?
False
Let j be (-39)/143 + -3 + 174/33. Which is bigger: 82/57 or j?
j
Let x(f) = -f**3 - 8*f**2 - 6*f + 6. Let i be x(-7). Let a be 8/(-28) - i/28. Let c = 7 - -3. Which is bigger: a or c?
c
Suppose 1 - 211 = -3*b. Let h(v) = -2*v**2 + 178*v + 71. Let a be h(89). Is b greater than a?
False
Let c be 10 - (-462)/(-44) - -1. Which is smaller: 6145 or c?
c
Let k = 3188 + -3253. Which is bigger: -195 or k?
k
Let c = 0.04 + -0.11. Let p = 3.45 + 4.05. Let v = p + -7.8. Is v greater than c?
False
Suppose 0 = 16*r + 809 - 7593. Suppose -r = -8*z + 440. Do z and 107 have different values?
True
Let a = 1435/32 + -951/32. Is a >= 14?
True
Let g = -14 - -17. Suppose -m + 4*c = -0*m + 6, -2*c = g*m - 10. Suppose -4*j + s = -2*s, -m*s = -4*j. Which is smaller: 1/49 or j?
j
Let q = 67327/8 + -8413. Is 2 not equal to q?
True
Let r be ((-104)/(-14))/(0 + 6/21). Suppose 0 = -r*d + 29*d - 1491. Which is smaller: 498 or d?
d
Suppose 2*w - n + 3*n + 8 = 0, -8 = 5*w + 2*n. Let b = 37781 + -415604/11. Is b at least as big as w?
False
Let i = 21675 + -21675. Are 1/18 and i nonequal?
True
Let r(h) = 14083*h**3 + h**2 + 2*h + 3. Let k be r(2). Let w = -3155253/28 + k. Let m = 76/7 + w. Is m != 1?
True
Let s be (1/(-45))/(6/(-5502)). Let u = s + -214/9. Let o(v) = -v**2 - 6*v + 5. Let j be o(-7). Which is smaller: u or j?
u
Let r be (-323556)/826*(-2 + (-6)/(-10)). Which is greater: r or 547?
r
Suppose -16868 = -26*d + 690036 - 127468. Which is greater: 22285 or d?
d
Let r = -0.7 + 0.7. Let w = r + 0.02. Let s be 9/6*(-4)/(-9). Is w bigger than s?
False
Suppose 3*w - 3 = 0, 4*o + 13*w + 207 = 16*w. Is -49 greater than o?
True
Let z be 24/2 + (-156)/12. Let b = -12613/60 - -632/3. Are z and b unequal?
True
Suppose -2624*a + 2619*a = -s + 5, -4*s = 6*a + 32. Let n = 117/17 - 4803/646. Is a at most as big as n?
True
Suppose 0 = 2*n - 7*n - 1000. Let u = -200 - n. Which is bigger: 3/43 or u?
3/43
Let l(y) = y**2 - 11*y - 6. Let d be l(-13). Let h = d + -312. Suppose 5 = -4*n - 19. Is h at least n?
True
Let z = 3449 - 3546. Which is greater: z or -39?
-39
Suppose -s - s = -8. Suppose 6 = 3*y - s*c + 58, 3*c + 36 = -4*y. Suppose 3*x = 2*u + 433 - 387, 4*x = 32. Which is smaller: u or y?
y
Let g(r) be the first derivative of -r**3/3 - 7*r**2/2 - 2*r + 12. Let k be g(-7). Let n be 3 - (680/224 + k/(-8)). Is n less than or equal to -14?
False
Let x be ((-5 + -15)/5)/(-2). Let c be x/(-3) - (-130)/105. Is 11/3 at least as big as c?
True
Let z(p) be the second derivative of -17*p**3/3 + p**2 + 9*p. Let a(r) = -r**3 - 4*r**2 - r. Let f be a(-1). Let m be z(f). Is -0.1 at most as big as m?
True
Suppose w + 0*m = 5*m, -2*m = 0. Suppose 4*q = 3*k + 134, w = -3*k - q - 4*q - 143. Let n be 1 - k/(-40) - 14/56. Are -1 and n equal?
False
Let x(a) = a**2 - 23*a - 48. Let z be x(22). Let g be 1/(z/(-50)*5). Do g and 0.2 have the same value?
False
Suppose 1342*z + 992*z = 1549776. Let m(d) = -132*d + 4. Let c be m(-5). Are c and z equal?
True
Let o = -2.6 - 4.4. Let v = 2/109 - 397/3815. Let d = -11/35 + v. Is d greater than o?
True
Suppose 3*i - 5*l = 39, -2*l = 5*i + 68 - 71. Which is smaller: i or -176?
-176
Suppose -265 = -14*j - 33445. Does j = -2370?
True
Let b be (2/84)/((-129)/(-387)). Which is greater: -290 or b?
b
Let v be 2*(-11)/(-44) + (-25)/(-2). Suppose -4*l = -l + 5*w - 23, -59 = -5*l + 2*w. Is l at most as big as v?
True
Let h be 8/6 + 4/6. Suppose r - 1 = -4*c, -2*r - h*r = 5*c - 15. Let f be 3/(-4)*1232/160314. Are f and c equal?
False
Suppose v = -6*n + 3*n + 198, 3*v = -5*n + 330. Let c be (69 - n)*(-608)/6. Which is smaller: c or -303?
c
Let x be 102/27 - 2/(-9). Suppose -21 = -x*n + 7*n. Suppose -4*k - 45 = 5*f, -2*k - 75 = -f - 56. Are k and n equal?
False
Let h = -82732 - -82757. Let l(t) = -13*t**3 + 1. Let f be l(-2). Suppose 3*r + 2*r - f = 0. Is h >= r?
True
Let y be (6 + 15)/(4 + (-10)/2). Is y at least as big as 30?
False
Let r be (-6)/4*544/(-11016). Let a be 2/1 - (-6)/(-2). Are r and a nonequal?
True
Suppose 0 = -7*w + 17*w - 10. Let s = 94 + -94.039. Let n = s - -0.049. Are n and w equal?
False
Let h = -1201 - -1102.8. Let t = h + 9.2. Which is smaller: -2/7 or t?
t
Let b = 61 + -54. Suppose 0 = 5*s + 2*q - b*q - 115, 5*q = 4*s - 93. Let t = s + -21. Is 4.2 at most t?
False
Let d = 31496 + -38372. Is -2 bigger than d?
True
Let a = 5805856901/13226 - 438973. Is a >= 1?
False
Let r = -2719 + 2716. Suppose 0*t = 4*t - 4*j - 12, -t + 3*j + 9 = 0. Is r at m