se
Suppose 6*g - 44 = -2*n + 2*g, 4*n - 88 = -g. Let w = -0.0852 + -0.0148. Which is smaller: w or n?
w
Let r(v) be the first derivative of -v**4/4 + 11*v**3/3 + 5*v**2/2 + 20*v + 24. Let a be r(9). Suppose 0 = -5*y + 157 - a. Which is greater: y or -16?
y
Suppose 0 = -42*y + 44*y - 10. Let n(f) = 4 - 3 - 4*f + y*f - 13. Let v be n(12). Which is smaller: v or 6/7?
v
Let k = -5 - -3. Suppose -3*t = -47 - 49. Let u = t - 30. Which is greater: u or k?
u
Let n = -377 - -377. Let l = -16.02 - -16. Let q = 0.09 - l. Is n less than or equal to q?
True
Suppose -1 = -19*b - 83 + 6. Is b smaller than -122/43?
True
Suppose 4*m + 8 = 3*d - 5*d, -23 = -4*d + 5*m. Let u be -3 + d/(-3)*9. Let l = u + 9. Is l less than 4?
True
Let z(c) = 9*c - 93. Let s be z(57). Is 2094/5 smaller than s?
True
Let j = 7578 + -7579. Is 0.01714 less than or equal to j?
False
Suppose 3*u - 4 = 2. Let l be (2 - (-213)/(-111))*u/(-4). Is 1 <= l?
False
Let l(a) = 419*a + 3770. Let p be l(-9). Are p and 2/109 equal?
False
Let m(j) = 3*j**2 - 167*j + 6512. Let z be m(47). Is 5290 at most z?
True
Let r(u) = 3*u**3 - 18*u**2 + 9*u + 38. Let s(x) = 4*x**3 - 19*x**2 + 7*x + 39. Let c(d) = 3*r(d) - 2*s(d). Let q be c(12). Do -383 and q have different values?
True
Let y(b) = -b**3 + 9*b**2 - 13*b - 13. Let o be y(7). Let s(p) = -3*p**2 - 11*p + 20. Let z be s(o). Is z at most -21?
True
Let y = 671/50 - -2/25. Let k = 181/14 - y. Let b = -122 - -122. Is k less than or equal to b?
True
Let l = 3 + -2. Let d = 0.067 - -0.031. Let o = d + -3.098. Which is smaller: l or o?
o
Let r = 55/294 + -29/49. Let l = -4/7 - r. Suppose 0 = y + 3*y. Is l at most as big as y?
True
Let m = 470.6971 - -0.3029. Which is smaller: m or -1?
-1
Let q = 103641884461/1308 - 79236907. Let n = 8/327 + q. Let k = n - 127/16. Which is bigger: k or 0?
0
Let c be (1 + -6 + 1)/(-2). Let g(b) = b**c + 144 - 7*b + 0*b - 151. Let f be g(8). Is f equal to -3/23?
False
Suppose -29*n + 141783 = 35643. Is 3660 <= n?
True
Suppose 0 = -2*r + 4 + 4. Suppose -r*m = -2*x - 24, 0*m = -5*m - 4*x + 30. Let n be m/12 - ((-3 - -2) + 2). Is 3.5 >= n?
True
Let y be -1*(-167 + 0/4). Let r = y + -309. Is r at least -142?
True
Let n = 8 + -7.91. Let y = n - -0.61. Let a = 46182 - 46180. Is a less than y?
False
Let q = -948370/3601 - -3424/13. Which is smaller: 1 or q?
q
Let i(l) = l - 33. Let t be i(38). Suppose 2*d = -4*p + 10, 6*d - 3*d - 10 = -t*p. Do p and -0.4 have the same value?
False
Let g be (-5)/(-4)*2658/(-30)*-4. Let u = g + -444. Which is smaller: u or 3/10?
u
Let c be 12/(-42)*(-473956)/203052 - 2/3. Which is smaller: -1 or c?
-1
Let h(j) = -j**3 - 10*j**2 - 9*j - 10. Let x be h(-9). Let g be (12/x)/(6/(-45)). Let d be (4/(-14))/(((-30)/(-6))/(-140)). Which is bigger: d or g?
g
Let t = -0.1 - -18.1. Let l = t - -8. Let p = -38 + l. Is 3 <= p?
False
Let p = -20487 - -20429. Let d = 4 + -3. Which is smaller: p or d?
p
Let x(y) = -463*y - 6482. Let b be x(-14). Is b smaller than 1/4255?
True
Let z(a) = -a**2 + 25*a + 15. Let h be z(30). Let k = h + 167. Are k and 32 equal?
True
Let g = 0.0494 + 5.5306. Let a = g - -1.42. Is a <= -0.7?
False
Let r be -27*19/(-342)*1/(-3)*-1004. Which is smaller: 501 or r?
501
Let a = -3914.3 - -3685. Is 0.1 at most a?
False
Let q be (594/(-94))/(555/(-740)). Which is smaller: q or 8?
8
Let m be ((-1)/(-4) - 189/(-108)) + 53 + -31. Let t(y) = -8*y + 2. Let w be t(-3). Is w > m?
True
Let b be 16 - (1 + (-4)/2). Let h = 10 - b. Let q = 550 - 558. Is h smaller than q?
False
Let o = -18384473/32 - -574593. Let p = 627/8 - o. Which is smaller: 1 or p?
p
Let g = 0.14 + -0.04. Suppose -u - 3*d - 11 = -15, -2*d - 1 = u. Is u at least as big as g?
False
Let h = -6 - -4. Let v = -167.7 - -972.7. Let b = v + -794. Which is smaller: b or h?
h
Let g(s) = -s**3 + 36*s**2 + 21*s - 234. Let o be g(37). Is -830 < o?
True
Let c(t) = t**2 - 5*t + 6. Let f be c(1). Let n be 2*6/f - 5. Let d be 2/20*3/(-2). Which is smaller: n or d?
d
Let m = -1068 - -561. Let y = -64121 + 63615. Is y at least m?
True
Let j = -8430 - -8429.09. Is j less than -3?
False
Let p = -1678.6 - -1679.4596. Which is bigger: p or 0?
p
Suppose 0 = -5*o - 51 + 16. Let z be 351/o + (0 - -2 - 1). Let b = z - -4470/91. Is b greater than or equal to -1?
True
Let b = -46 + 115. Suppose 0 = b*s - 72*s. Let k = 3417/287 + -83/7. Which is smaller: k or s?
s
Suppose -45*h = -32*h + 32*h + 45. Which is bigger: h or 7/192?
7/192
Let t be (0 + (-124)/(-16))/(9/(-36)). Let d(q) = q**3 + 29*q**2 - 64*q - 63. Let l be d(t). Let s be ((-1)/13)/((-1)/6). Is l greater than or equal to s?
False
Let u = -4226 - -4226.032. Which is bigger: u or 45?
45
Let o = 8066 - 7363. Which is smaller: -1/2 or o?
-1/2
Let f be 80/(-360) - (-1532)/9. Let k be 2/(-2) - (-240)/f. Which is smaller: k or -1?
-1
Suppose -21*j + 6*j = 13*j + 140. Let q = -17 - -12. Let d = q + -2. Are j and d non-equal?
True
Suppose 0 = -0*x - 9*x + 81. Suppose x*u = -12*u + 4*u. Which is smaller: 1/51 or u?
u
Suppose -1291 = -57*m + 5720. Which is greater: 120 or m?
m
Let d(m) = -5*m**2 + 16*m - 46. Let i be d(6). Let s be ((1 - 0)*(-52)/i)/(-46). Which is greater: 1 or s?
1
Let d(j) = 15*j - 443. Let l be d(30). Let x = 16 - 10. Let k be (1 - 2)/x*3. Which is smaller: l or k?
k
Let f(s) = -s**2 + 31*s - 27. Let q be f(30). Suppose q*l - 7 = 8, h - 5*l + 22 = 0. Suppose -3*p = -4*d - d - 17, -h*p + 7 = 5*d. Which is bigger: -4/11 or d?
-4/11
Let i(x) = -10*x - 276. Let t(o) = -10*o - 278. Let y(h) = -4*i(h) + 3*t(h). Let j be y(-33). Which is greater: j or -65?
j
Suppose 4*w + 3*x - 1198 = 0, -4*w = -5*x + 210 - 1392. Let l be -3*(5 + (-1492)/w). Is -1 at least as big as l?
False
Let u = 2440 + -2460. Let r = 837 - 2572/3. Which is smaller: r or u?
r
Let s = 6 + -8. Suppose 1408 - 532 = 12*u. Suppose -3 = 14*a - u. Is a bigger than s?
True
Suppose 0 = -5*s - 9*s. Let k be 320/24*12/(-2). Let f be 48/130*k/(-32). Which is greater: s or f?
f
Let y = -6467.4 + 6467. Is -79 at least y?
False
Suppose -3*k - 435 = 3*b, 5*k - 2*k + 4*b = -434. Which is greater: -155 or k?
k
Let j = 8551 - 8515.8. Is 1 not equal to j?
True
Let g(s) = -7*s**2 - 19*s - 6. Let a be g(-3). Let t be (4/a)/((-16)/(-6) + -3). Are t and 6 equal?
False
Let f = -23 + 8. Let v = f + 14.95. Let z = v + 0.15. Do 14/9 and z have different values?
True
Let x = -3375 + 3374. Which is smaller: x or -13/387?
x
Let s(v) be the first derivative of 2*v**2 - 14*v + 2. Let t be s(4). Which is smaller: t or 8/5?
8/5
Let r(b) = b**2 + 3*b - 3. Let f be r(-4). Let v be (12/(-2) - -407) + -2. Let s = -9174/23 + v. Is f bigger than s?
True
Let f = 2243 - 1266. Is 974 less than or equal to f?
True
Let r be 3484/(-28) + -8 - 6/(-14). Is -112 greater than r?
True
Let f = 623 - 618. Suppose 196 = 4*z - 3*v, -f*z - 10*v = -5*v - 210. Let i(o) = 2*o**2 - 3. Let x be i(5). Which is smaller: z or x?
z
Let r be 6 + (-1 - -2 - 4). Suppose -4 = 5*z - 4*j, 2*z - r*j = -3 - 0. Which is bigger: -1/85 or z?
z
Suppose 0 = 18*d - 20*d + 8. Let c(r) = -10 + 0*r - 8 - d - 2*r. Let u be c(-10). Is u less than -5?
False
Suppose -6 = 3*y - 6*y. Let c be ((-6)/(-4) - y)*8. Let a be (c - 0)/(14 - 3). Is a at most as big as 2/7?
True
Let q be 26985/(-12) - 21/84. Is q > -2249?
False
Suppose 1278 = 5*n - 3*u - 69, -1389 = -5*n - 4*u. Which is smaller: n or 4?
4
Let q be 10/(-65) + 178/(-26). Let t be 20/90 + q/(-9). Let k be ((-15)/(-930))/(1/3). Which is bigger: k or t?
t
Let c = 27288 - 24019. Which is greater: 3264 or c?
c
Let b(o) = 6*o**2 - o - 2. Let s be b(2). Let u be 18 + (-40)/24 + 2/(-6). Let y be (1/2)/(u/64). Which is bigger: y or s?
s
Let b = -1333 + 1287. Is b greater than -50?
True
Let z = 40 + -16. Let d = z - 23.5. Is d smaller than -11?
False
Suppose -3*z + q - 3 = 0, -3*z = 2*q + 4 - 1. Let r be 0/(z - 2) - 4/(-8726). Let d = -187601/17452 - r. Do -12 and d have different values?
True
Let y = 710.5 - 710. Do y and -1/29 have different values?
True
Let g = -23/70 - 6/35. Let m = 139/280 + g. Is m at least as big as 1?
False
Let u be (-12)/12 + (-22)/(1/(31/50)). Which is greater: -15 or u?
u
Suppose -2*r = h - 310, -3*r - 65 + 523 = -2*h. Let u be -1*(-8)/(-12) + r/(-3). Let t = u + 57. Is -0.1 less than t?
True
Let j = 39.7 + 14609.3. Is -1 smaller than j?
True