4. Let d be x(1). Let f = 51117/16 + -3197. Is d bigger than f?
True
Let a(o) = 31*o**2 - 1. Let w be a(1). Suppose 8*l + w = -2*l. Which is bigger: l or 4?
4
Let s be (-51)/(27846/42756) + -1*9. Which is smaller: s or 2?
s
Suppose -2*h - 2 = 3*t - 15, 0 = 4*h + 16. Suppose 144 = b + t*b. Suppose 4*g = 3*d + 125 - 26, 4*g - 4*d = 104. Is b != g?
True
Let r = -10594 - -10861. Which is smaller: 268 or r?
r
Let y = 2/28447 - -455126/369811. Suppose 0 = 5*c - 5*i - 25, 0 = -c - 0*c - 5*i - 25. Is c at least y?
False
Let o(v) = v + 46. Let q be -14 - -2 - (3 - 0). Let x be o(q). Let r = x - 63/2. Which is bigger: 3 or r?
3
Suppose -j - 5*u - 1046 = -4*j, -5*u - 1393 = -4*j. Let l = 1/20401 - 49431630/142807. Let t = j + l. Are 2 and t equal?
False
Let l be 6/((0 + -1)*4/(-10)). Let n be ((-70)/l)/(-1)*3. Let w = 8/5 - 6/5. Which is bigger: w or n?
n
Let z(g) = 28*g**2 + 491*g - 491*g - g**3 - 4. Let b be z(28). Let l be (b/20)/((-2)/20*-12). Are -10 and l equal?
False
Suppose 109*q + 78120 = 24*q - 83*q. Which is bigger: 0.06 or q?
0.06
Let t = 155.3 + 9.7. Let i = t - 151. Let j be -1 + (1 - 1) + 0. Is i < j?
False
Let t(i) = 118*i**2 + 65*i + 230. Let k be t(-9). Which is bigger: 9202 or k?
k
Let h be (3/2)/(15/40). Suppose -h*p - s = p - 17, -1 = -4*p - 5*s. Suppose 6*d = 52 - p. Is d smaller than 4?
False
Suppose k + 3*g = -2*k, -4*g = 3*k. Let j be (0 - k - (5 + -4)) + -75. Let s = 68 + j. Is -11 < s?
True
Let a = -27.00042 + 0.10042. Is -1/2 not equal to a?
True
Suppose 0 = 3*s - 4*o - 30, 5*s - 4*s = -5*o - 9. Suppose s - 6 = -17*f. Is 23/28 equal to f?
False
Let y = 1367 + -1334. Let g = 131 - 101. Which is bigger: g or y?
y
Suppose -129*u + 2*c = -124*u + 365, 2*c = 3*u + 215. Which is bigger: -73 or u?
-73
Suppose 66 = -3*b + 2*i + 42, 4*i = -3*b - 42. Which is smaller: 2/7 or b?
b
Suppose -314*y + 149*y + 11 = -154*y. Let i = -180/19 + 15622/1653. Is i < y?
True
Let d(n) = -156*n + 2155. Let v be d(14). Let i be (-2)/6*(-300)/(-4). Which is greater: v or i?
i
Suppose 8 = -m + 1. Let t(q) = q**3 - 2*q**2 - 2*q + 2. Let x be t(2). Let r be x/(-3)*((-780)/16)/5. Which is greater: r or m?
r
Suppose -2*d + 39*k - 40*k + 1014 = 0, -d - 5*k = -498. Is d at most as big as 0.03?
False
Let n = 287 + -246. Suppose n*j = 46*j. Let f = 0 + -0.1. Which is bigger: f or j?
j
Let r be ((-3036)/(-1790))/2 - 12793/5815. Which is bigger: -2 or r?
r
Let l(c) = -22*c + 5. Let s be l(-2). Suppose 10*a + 22*a = 1504. Is a equal to s?
False
Let u = -9786 + 9785.72. Let x = -2/93 - 20/31. Is x less than u?
True
Let n = 2764665/359 + -7701. Is n greater than 1?
False
Suppose 0 = -10*j + 8*j - 144. Let f = 72 + j. Suppose 2*u - 4*m + 62 = -f*u, -2*u - 4*m = 30. Is u less than or equal to -23?
True
Let k = -1/94 + -467/282. Let c = 24 + -23. Which is smaller: c or k?
k
Let q(o) = 58*o**3 + 12*o**2 - 27*o + 10. Let f be q(3). Which is smaller: f or 1601?
1601
Let y = 13669 + -13670. Which is smaller: y or -3/478?
y
Let t(h) be the first derivative of h**4/2 - 3*h**3 + 5*h**2 + 29*h + 30. Let f be t(5). Which is smaller: f or 103?
103
Let g = -19 - -56. Let o = g + -18. Let v = -7 + 25. Which is smaller: o or v?
v
Suppose -2*x + 3*y + 312 + 336 = 0, 2*y = -5*x + 1677. Which is greater: 330 or x?
x
Let z be ((-3)/(-5))/((-4)/5). Let r = 4949 - 4908. Is z less than r?
True
Let v = 20 - 16. Let p = 10 - v. Let m(s) = s**3 + 14*s**2 + 32*s - 8. Let z be m(-11). Is p less than or equal to z?
False
Let c be 49/((-20580)/52944) - 5/(35/(-6)). Is c smaller than -1?
True
Suppose 17*k - 12*k - 1200 = 0. Suppose 6*o = 702 - k. Is 76 at least as big as o?
False
Let q = -75339/4 - -18824. Which is smaller: -0.6 or q?
q
Let u be (1355/10)/((-4)/8). Let j = -270 - u. Which is smaller: j or -4/19?
-4/19
Let n(g) be the first derivative of 2*g**2 - 27*g - 10. Let x be n(8). Let d(u) = -u**3 + 3*u**2 + 6*u - 5. Let r be d(x). Which is smaller: 2/7 or r?
r
Let k = 53 + -19. Let n = k - 2.9. Let t = 31 - n. Which is bigger: 24 or t?
24
Let n(r) = -5*r + 292. Let s be n(41). Suppose -s*y = -84*y - 21. Is 15 smaller than y?
False
Let i(p) = p**3 - p**2 - 4*p - 6. Let h be i(0). Let o be (18 + h)/(26/(-17)). Which is smaller: o or -8?
-8
Let w = 4179 - 4181. Which is bigger: w or 1235?
1235
Suppose -12*q = -28*q + 1616. Suppose 98*v + 84 = q*v. Is v at least as big as 23?
True
Let f = 2863 - 3416. Which is smaller: f or -1/3?
f
Let d = 5582/3 + -15979/15. Let w = d + -793. Suppose 0*q - 3*q = -2*s + 7, -5*s = -5*q - 10. Is s at most w?
True
Let p be (0 - (-131)/(-4)) + 7/(-28). Suppose -2*u - 74 = 3*m, -7*u + 4*m - 111 = -4*u. Which is smaller: p or u?
u
Let a = -2719 + 2719. Is -8/187 bigger than a?
False
Let j be (-24)/(-13)*(4 + 45/(-12)). Let k = 11/52 - j. Which is bigger: k or 26?
26
Let l = -426085/367 - -1161. Suppose 21*z = 5 + 16 - 0. Does l = z?
False
Let c(v) = 3913*v + 5. Let g be c(2). Suppose g + 3617 = 27*n. Which is smaller: 423 or n?
423
Let u = 8848 + -7099. Is u at least as big as 1749?
True
Suppose a - 930 - 576 = -4*t, -5*t + 4525 = 3*a. Which is greater: a or 1507?
a
Suppose 3*x - 3 = 0, -10886 = -5*u + x + 18858. Which is bigger: u or 17849/3?
17849/3
Let u = 426 - 426.012. Let v = 22.912 - 23. Let y = u + v. Which is smaller: -3 or y?
-3
Let c(o) = o**3 - 34*o**2 + 58*o - 19. Let d be c(32). Which is bigger: d or -200?
-200
Let t = 22559/41338 + -1/3758. Let r(s) be the second derivative of s**3/6 + 9*s**2/2 - s. Let f be r(-8). Is t <= f?
True
Let m = 3755 + -4211. Which is greater: m or -4100/9?
-4100/9
Let u = -7392.3 + 7392. Are -105 and u equal?
False
Let x = 20898/5 - 4199. Suppose z - 15 = -4*y - 78, -9 = -4*y - 9*z. Which is smaller: y or x?
x
Let s be -10 + 21 - 516/48. Which is smaller: s or -3/857?
-3/857
Let j be (-15)/(-393)*(-24)/10. Let y(t) = -9*t**3 - 115*t**2 + 24*t - 27. Let c be y(-13). Are j and c non-equal?
True
Suppose -9*d - 7912 = 8144. Which is smaller: -0.1 or d?
d
Let s(q) = -131*q - 2. Let j be s(-1). Suppose 0 = -2*n + 4*d - 54, 5*d = 4*n - 18 + j. Let o = n + 44. Is o equal to -1/3?
False
Let g(j) = 249*j + 379. Let x be g(-2). Which is smaller: -125 or x?
-125
Let k(d) = -108*d + 3125. Let y be k(39). Which is smaller: 13 or y?
y
Let y = -29669 + 29667.9. Which is smaller: y or 1071?
y
Let f = 75.48 + -75. Let v = 0 - f. Let o = 0.68 + v. Which is smaller: 0.32 or o?
o
Let x = -0.129 + -26.871. Let o = -108 - x. Let y = o - -81.3. Is y < 12?
True
Suppose -2*j = -4*j - 5*i + 58, -4*i = j - 35. Suppose -j*a = -15*a. Let r be (-3)/(-6)*(-64)/336. Are a and r equal?
False
Let w(t) = t - 15. Let i be w(12). Suppose 61 - 19 = 21*z. Let x be (42/(-25))/(z + (-16)/10). Which is smaller: i or x?
x
Suppose 2*m = -3*t - t - 26, -t - 56 = 5*m. Let s be 0/(5 + 0) + 0 + m. Let g be -2 - (15 - 4) - -1. Which is greater: g or s?
s
Let j be (10 + -9)*(-28)/(-2). Let a be -1 + (-2)/j + 1. Let o = -209 - -208. Which is greater: a or o?
a
Suppose 72*a - 17*a - 2080 = -10*a. Which is smaller: a or 1?
1
Let j be (-388)/1746 - 24020/(-36). Which is smaller: j or 665?
665
Let u = 137813.26 + -137814. Let a = -1 + -1. Which is smaller: a or u?
a
Suppose 0 = 270*x - 265*x + 1355. Let h = -244 - x. Which is smaller: 141/5 or h?
h
Suppose 8 - 48 = -10*j. Let b(g) = -6*g + 23. Let h be b(j). Are -7/16 and h nonequal?
True
Suppose -3*i + 657 = 5*f, 5*f + 225 = 4*i + 889. Suppose f*o - 120 = 126*o. Are o and 96/5 equal?
False
Let r = -16 + 24. Let m = -0.043 + -4.957. Let k = r + m. Is k >= 10?
False
Let d = 26.39 + -0.39. Let z = 700 + -671. Let t = z - d. Is t != 2?
True
Let r be 3/5 + -6*1079/10465. Which is smaller: r or -1?
-1
Let r(z) = -5*z**2 - 7*z - 4. Let d be r(-2). Let x be d*(5/(-10) + 0). Suppose 3*b - x = -2*l - 9, -3*l = -2*b - 7. Which is smaller: -0.3 or l?
-0.3
Let y = -227/384 + 161/128. Suppose 2*k = k. Suppose 2*q = q + 5*w + 1, 5*w = k. Which is bigger: q or y?
q
Suppose -1239 - 3948 = -18*o - o. Is o at least as big as 273?
True
Suppose 2387 = 14*t - 889. Suppose 5 = 3*s + 2*h - t, 3*h + 249 = 3*s. Which is greater: 80 or s?
s
Suppose 5*v - 3*h = -240, -7*v + 5*v - 75 = 3*h. Suppose 0 = -3*u + 5 - 98. Let k = u - v. Is 16 at least as big as k?
True
Let p = 10436 - 31307/3. Which is smaller: p or 52.19?
p
Suppose -3*b = -5*p - 25, 0 = -5