- 3*j - 2. Let t be s(-2). Let c be t + 3 + (0 - 3). Suppose c = -4*r - 0*r - 24. Is -6 > r?
False
Suppose 4*z - 1 = 11. Let a(w) = w**3 - 9*w**2 + 3*w - 11. Let f be a(9). Suppose 0 = 6*c - c - 2*y - f, -2*y + 2 = 4*c. Is c >= z?
False
Let f be -15*8/(-8)*1/(-3). Let c(p) = p**2 + 7*p + 5. Let w be c(f). Which is bigger: w or 16?
16
Let h(f) = -f**2 - 18*f + 3. Let n be h(-18). Suppose n*z = -7*z + 10. Is 3/31 at most z?
True
Let a = 4 - 2. Let s = -1.2 + 1.31. Let o = -0.19 - s. Which is greater: a or o?
a
Let j be 3/12 + (-218)/8. Suppose -3*c - 78 = -b, 4*b + 26 = -3*c - 67. Is c > j?
False
Let n = 0 + -9. Let f = n + 9. Let m = 33.6 - 33.6. Is m less than f?
False
Let z(w) = 2*w + 15. Let x be z(-6). Suppose 86*i = 83*i + x. Is i > -3/38?
True
Let x = 71251322/2191 - 32520. Which is smaller: x or 1?
x
Let z = 5 - 2. Let b be (5 - z)*2/10. Let a = -0.06946 - -0.26946. Which is smaller: a or b?
a
Let o = 8 - 10. Let h be o/(-1) - (-11 - -14). Let n be ((-39)/(-24) + -2)*h. Which is greater: n or 1?
1
Suppose -j - m = -16, -2*j + 7*m + 26 = 3*m. Let x be 1/((j/9 - 0) + -2). Is -11/3 less than x?
True
Let l be ((-16)/10)/(126/(-75)). Which is bigger: -2/3 or l?
l
Let y = -1547 - -1452. Is -92 greater than or equal to y?
True
Suppose -34*i + 27 = -35*i. Let z = -167/6 - i. Which is smaller: z or -1?
-1
Let h be (2 + -2)/(-5 - 11 - -14). Which is smaller: h or 1/3069?
h
Let a(j) = 2*j**3 - j - 2 + 4 + 2*j**2 - 3 + 3. Let r be a(-2). Suppose -6 = c - 1. Do c and r have different values?
True
Let b be 3848/780 + (-4)/(-10). Is 6 <= b?
False
Let l be (-160)/(-12)*(-9)/(-3). Which is bigger: 36 or l?
l
Let q = -1.37 - -0.27. Let x = 0.1 + q. Let u be 6/(-46)*(230/(-15) + 16). Which is bigger: x or u?
u
Let t = 23 - 23. Suppose t = 20*z - 25*z + 45. Does z = 1?
False
Let r = -12605/3 - -4116. Is r at most as big as -87?
False
Suppose 2*l = 1 + 3. Suppose -l*m = 4*q + 2, -2*q = -3*m - 5 - 6. Let d(w) = -6*w - 107. Let h be d(-18). Is q <= h?
True
Let f = 443 - 446. Do 0 and f have different values?
True
Let v = 781/1570 - -2/785. Which is smaller: v or -103/2?
-103/2
Let j(c) = -3*c**2 - 3*c + 4. Let b be j(4). Let f = 111.9 + -111.9. Which is bigger: f or b?
f
Let y be (20/16 - 1)*-2. Which is greater: 198 or y?
198
Let u = -131 - -46. Let h = u + 88. Is 0.4 < h?
True
Let p(a) = -a**2 - 16*a + 9. Let d be p(-17). Is d >= -5?
False
Let i(m) = -9*m**2 - 23*m + 7. Let d(z) = 5*z**2 + 11*z - 3. Let l(c) = -11*d(c) - 6*i(c). Let h be l(18). Is h less than -26?
True
Let v = 0.0697 - -41.9303. Do v and -0.1 have the same value?
False
Suppose 0 = -5*p + 5*f + 550, 5*f = -3*p - 0*p + 290. Which is smaller: p or 106?
p
Let j be 1*2/56*-2. Let h(t) = t**3 + 22*t**2 + 21*t - 1. Let i be h(-21). Are j and i non-equal?
True
Suppose r + 2 = 2*w - 13, -3*w + r + 20 = 0. Suppose 4*q + 2*n = 22, w*q + 3*n - 26 = -n. Is 11/2 != q?
True
Let l = 411.152 + -411. Is -1/2 not equal to l?
True
Suppose -27*n + 8*n + 19 = 0. Which is smaller: n or 10/47?
10/47
Let a be 112/(-14) + 13 - 7366/1473. Is a <= -1?
False
Let q(a) = a + 2. Let m(t) = t - 17. Let w be m(17). Let l be q(w). Suppose -5*i + 0*i = -l*s - 5, 2 = s - i. Are s and 6 nonequal?
True
Let y = 56 - 52. Suppose -5*r = 2*c - 82, y*c = 3*r - 0*c - 44. Do 15 and r have the same value?
False
Let z(p) = p**3 + 3*p**2 - 5*p - 5. Suppose -3*u - 2 = 10. Let j be z(u). Let g be (2/5)/(2/(-10)). Which is smaller: j or g?
g
Let b = -150.15 + -2.85. Is -2/3 >= b?
True
Let c = -0.6 + 0.8. Let u = -0.6 + 2.6. Let z = u - 2.1. Which is smaller: c or z?
z
Let m be 8/(-2)*(-2)/4 - -2. Let k be (-19)/(-7) + 3*m/42. Which is bigger: k or -9?
k
Let i = 12092/3193 - 118/31. Let g = 4663 - 4663. Which is smaller: g or i?
i
Let n = -0.26 + 0.06. Let c = n + 0.4. Let y = 157 + -158. Which is bigger: c or y?
c
Let k = 782/393 - -5717408/4323. Let q = -1326 + k. Which is smaller: -1 or q?
q
Let q(u) = u**2 + 15*u + 35. Let t be q(-12). Let j = -640/5773 - -6/251. Is j greater than or equal to t?
True
Let f = 286.07 - 284. Which is smaller: f or -1?
-1
Let b = -148 + 157. Are -3 and b unequal?
True
Let m = -207 + 213. Which is smaller: m or 0?
0
Let n be ((-4)/(-5))/((-154)/(-41195)). Is n smaller than 216?
True
Suppose 2*f + 22 = 5*f + d, 0 = 5*f + 5*d - 20. Let o(u) = -u**3 + 3*u**2 + 2. Let w be o(3). Let m = f - w. Which is smaller: 6 or m?
6
Let g = 379 - 378. Which is smaller: g or 3/28?
3/28
Suppose 3*j = -4*w - 406, j - 2*w + 154 = 32. Which is bigger: 0 or j?
0
Let x be ((-4)/(-18))/(374/33 + -12). Which is greater: x or 1027?
1027
Let g(s) = -3*s**2 + 6*s**3 - 5*s**3 - 2*s**2 + 5*s - 3. Let q be g(4). Let y = 3446/5 - 687. Is y less than q?
False
Let m = -491 - -552. Are m and -3 nonequal?
True
Suppose 3*n - 118 = 2*p, -3*n + 93 = 3*p + 300. Suppose -13*i = 6 - 6. Is i bigger than p?
True
Suppose 0 = 25*n - 4*n - 840. Let s(d) = d**2 - 2*d + 6. Let z be s(-5). Which is bigger: z or n?
z
Let n(d) = 4*d + 49. Let g be n(-12). Is 1/560 greater than or equal to g?
False
Suppose 3*n - 5 = -5*b, -3*b - 2*b - 25 = 0. Suppose 2 + 18 = -2*q. Let t = q + n. Which is smaller: t or -1/10?
-1/10
Let k be (-1 + 0)*-3 - 3. Suppose -m + k*m + 8 = 5*h, -5*h - 3*m = -4. Let r be (-5)/(-7)*h/(-15). Are r and 1 unequal?
True
Let q = 16.82 - -2.18. Let a = -0.41 - 19.59. Let s = q + a. Is -5 bigger than s?
False
Let g be 0 - 3/(-8)*-178. Which is smaller: g or -66?
g
Let b = -12073 + 12057. Suppose 2*x - 2*n = 3*x + 16, n - 64 = 4*x. Is b greater than x?
False
Let q(a) = a**2 - a + 7. Let g be q(5). Let w = -17 + g. Let s be 6/9 + w/(-12). Which is bigger: s or -1?
s
Let t(c) = c**2 - c - 1. Let y be t(2). Suppose 3*h + 2 = -y. Let b = 0.8678 + 8.1322. Which is smaller: h or b?
h
Let l be 134/15*780/27. Let v = l + -258. Which is bigger: v or 0?
v
Let v(p) = p**2 - p - 4. Suppose 3*f = 7 + 5. Let i be v(f). Which is bigger: i or 9?
9
Let c = 56 + -55. Let x be (-71755)/(-175) - 1*3. Let m = -407 + x. Which is smaller: c or m?
m
Let v be (-20)/8 + 0 - (-6)/4. Let o be -2 - (48/(-21) + 0). Is v smaller than o?
True
Let v(j) = j**3 + 20*j**2 - 95*j + 23. Let q be v(-24). Which is bigger: q or -26/17?
q
Let i be 7*(7670/70 - 7). Is i greater than or equal to 717?
True
Let x(g) be the first derivative of g**4/4 + g**3/3 + g**2/2 + 2. Let h be x(-1). Let z be (2 - h/(-3)) + -1. Which is smaller: z or 24?
z
Suppose -20*t + 8 = -12*t. Let w be (-11 - -8)*(0 - t). Which is smaller: w or 0.18?
0.18
Let l be (15/(-10))/(2*438/(-16)). Let d = 358690 - 104737269/292. Let w = l + d. Is w bigger than 1?
False
Let g be (-13)/11 - -1 - 468/(-396). Let l be 0/(1/(-2)*2). Suppose -2*r - 13 = -5*y - 5*r, l = 2*y + r - 5. Is g less than or equal to y?
True
Let w = -662 + 387. Are 2/3 and w non-equal?
True
Suppose -4*p - 24 = 2*a, -26 = 4*a + p + 22. Let f be (-2*22/a)/((-14)/42). Which is smaller: f or -12?
-12
Let b(c) = c**2 - 3*c. Let v be b(3). Let m = 2023/318550 + 1/1150. Is v greater than m?
False
Suppose 3*c = 4*d - 25, 14*d = -4*c + 12*d - 4. Is c > 9/5?
False
Let g = -66.8 + -0.2. Which is greater: -0.1 or g?
-0.1
Suppose 19*r = -11*r + 30. Is r less than -74?
False
Let d(s) = s**2 - 2*s - 8. Suppose 0*o + 12 = -2*o. Let a be d(o). Let n be (12/30)/(2/a). Is 8 at most as big as n?
True
Let i = -50 - 15. Let v = 64 + i. Which is greater: v or -3/10?
-3/10
Let g = -3 + 2. Suppose -y = -r, -3*r = -7 + 4. Let i be (-6)/3*y/(-2). Is g less than i?
True
Let c(a) = a**2 - 4*a - 33. Let r be c(8). Let l be (-6)/40*(-8)/(-12). Which is bigger: r or l?
l
Let q = -621 + 622. Let t be (6/15)/(2/20). Let d be -2 + t/5 + -1. Are d and q unequal?
True
Let d = -0.173 - -53.673. Let q = -53 + d. Are q and -7 equal?
False
Suppose -4 = -10*h - 4. Is h at most as big as -1/150?
False
Let l(u) be the first derivative of u**4/4 + u**2/2 + 2*u + 11. Let k be l(0). Is -1 at least as big as k?
False
Let y be (-2435)/(-45) + (-1)/9. Suppose -a + 6*a = -4*v + 8, 3*v - 5*a = 6. Suppose -v*x - 122 + 21 = -5*j, 3*j + x = y. Does j = 19?
True
Let t be (18/3)/((-21)/(-7)). Let f(x) = 4*x**2 - x - 2. Let h be f(-1). Is h less than t?
False
Let t = 29 + -18. Let u = -11.0593 + 0.0593. Let p = u + t. Does -9 = p?
False
Let x(k) = k - 3. Let b be x(6). Suppose -10 - 32 = b*d. Let m be d/(-8)*