s smaller: i or 30/913?
i
Let t = 74.56 + -73.56. Which is smaller: t or -19.26?
-19.26
Suppose -146*x + 96*x = 53550. Is x > -7506/7?
True
Let x(u) = 24*u + 833. Let m be x(-34). Which is greater: 63 or m?
63
Let j = -20 + 163. Suppose 4*g = -3*u + 5*u + 106, u - j = -5*g. Which is smaller: 53/2 or g?
53/2
Let a = 104 + -84. Let q be 12/(-15) + ((-204)/a - -4). Suppose -3*b + 15 = -6*b. Is b smaller than q?
False
Suppose 0*b - 3 = -b. Suppose 5*d = q + 17, -3 = b*q - 3*d + 24. Let r(k) = -k**3 - 8*k**2 + 8*k - 16. Let u be r(-9). Is u at least as big as q?
True
Suppose 6*b + 265 = 283. Suppose -5*l = -w + 37 - b, -w = 2*l + 8. Let m = -6.7 + 7. Which is bigger: l or m?
m
Suppose 15209 - 2681 = 36*z. Which is bigger: z or 351?
351
Suppose 40 = -5*r + 60. Suppose r*u + 18 = -11*g + 13*g, -5*g - 5 = 0. Let w(h) = -h + 1. Let c be w(3). Is c less than or equal to u?
False
Let a = 3.03 + -1.19. Let w = a + -1.84. Is -1/7 > w?
False
Let b = 10477 + -10477. Which is smaller: b or -3/11?
-3/11
Let h = -41857 - -41803. Which is greater: -1144/21 or h?
h
Let i = -0.58673 + -0.01327. Which is greater: 48 or i?
48
Suppose -6*t + 1 = 7. Let r = -231257883/175 + 9241966/7. Let m = r + 1193. Which is bigger: t or m?
m
Let x(q) = q**3 + 9*q**2 + 14*q + 155. Let d be x(-9). Is 31 less than or equal to d?
False
Suppose 353*w = 273*w - 46560. Which is smaller: -4078/7 or w?
-4078/7
Let f be 25220/(-585)*10/6*63/(-14). Is f smaller than 322?
False
Let f = 36 + -31. Suppose -4*g - 5*z - 41 = 0, -2*g + 4*g + f*z + 13 = 0. Let y = 13 + g. Which is bigger: -7/6 or y?
y
Let x = 1113 + -1113. Is -3/752 != x?
True
Suppose 0 = 108*v - 119*v + 11671. Which is bigger: v or 1062?
1062
Let a be 20/8*(5824/400 + -16). Let q be 0*1/(-2) + -3. Is a >= q?
False
Suppose -4*k + 0*s = 5*s + 3, 2*k + 2*s + 4 = 0. Let y = 1139 + -1128. Let c be -7 + 12 - (y + (2 - 2)). Which is bigger: k or c?
c
Suppose -4*a - 3*p = 17, 3*a + 4 = -5*p - 17. Let v be a - (3 + 5/(-20)*0). Is v less than or equal to -3?
True
Suppose -154*l = -164*l. Suppose l*p + 78 = 2*x - 2*p, -4*p = -8. Which is smaller: 39 or x?
39
Let b be (-1)/(-3) - 1461/9. Let s be 6*312/b*46/(-6). Let j = s + -266/3. Which is greater: j or 0?
0
Let a = -491 + 483. Let i be (200/(-140))/(a/434). Which is smaller: i or 77?
77
Let a = 88.141 - 0.141. Let s = -126 + a. Let p = 38.13 + s. Are p and 1 equal?
False
Suppose -6*j = 18*j + 5640. Let b = 1 + j. Which is greater: b or -235?
b
Let k(t) = t**3 + 7*t**2 - 81*t + 17. Let w be k(6). Which is greater: 60.49 or w?
60.49
Let v be -3 + (184 - (1 + -6)). Suppose q - 116 = h, v = 2*q + 5*h - 53. Which is smaller: 118 or q?
q
Suppose 12*o + 49 = 3*q + 17*o, -2*o + 18 = q. Suppose -q*x + 702 - 694 = 0. Is x at least as big as -12/103?
True
Let v = 59399/237564 - 2/59391. Are v and 82/89 equal?
False
Suppose -102*t = 220*t - 20608. Are 75 and t equal?
False
Suppose -49*o - 43 - 6 = 0. Let r be (((-12)/(-1416))/(o/(-16)))/2. Which is smaller: r or -1/2?
-1/2
Let z be (3/96)/((-6)/(-76)). Which is bigger: 0 or z?
z
Let w(u) = u + 2. Let x be w(-1). Let g = 0.542615 + -0.570615. Which is bigger: x or g?
x
Suppose 2*g + 397 = 3*g + 3*k, 0 = -2*g + 5*k + 805. Suppose -2*r = 2*d - 380, 25*d - 3*r - g = 23*d. Which is greater: d or 193?
d
Let a be 8 - (-44 - -50)*-6*367. Is a at most 13220?
True
Let p be -11 + (-10)/((-60)/54). Let c = -462669321/219228355 - 2/654413. Let n = -6/67 + c. Is p >= n?
True
Let l = 646402/396825 + -12/5291. Is 3 less than or equal to l?
False
Let p be ((12/2)/3)/((-3)/(-99)). Let x be 8 + 174/(-24) - p/(-8). Suppose -7*u + 288 = x*u. Which is greater: u or 21?
21
Suppose -5*d = -35*c + 32*c - 110, -3*c - 114 = -3*d. Suppose 5*p + 13 = -3*u, p - 6 = -4*u - p. Suppose 2*t = u*t + 82. Is c > t?
True
Suppose o - 6*o + 425 = 0. Let a = o + -208. Is a greater than -123?
False
Let h = -30618.1 + 30618. Which is smaller: h or 151/116?
h
Suppose -19 = a + 3*q - 0, 21 = 3*a - 4*q. Which is bigger: a or -18/853?
-18/853
Let q(l) = -l**2 - 167*l - 1271. Let v be q(-8). Which is smaller: v or 1/165?
1/165
Let q = -13809/434 - -226/7. Is q <= 1?
True
Let k(m) = -m**2 + 2*m + 4. Let b be k(0). Suppose -4*v - b*r = -2*v, -5*r = -25. Let w be 4/10 + ((-96)/v - -3). Which is greater: w or 15?
15
Suppose -3 + 138 = 5*v. Let i = v - 7. Let w be (36/(-8))/((-270)/84 + 3). Is w less than or equal to i?
False
Suppose -466 = 3*u - d, u = -4*u - 4*d - 771. Let v be 96047/u + 3 + 104/(-40). Let h = -619 - v. Which is smaller: h or 0?
0
Suppose -a - 9 = -5*v - 5, 2*v + 2*a + 8 = 0. Suppose -2*k - 33 = -3*n - 15, v = -4*n + 16. Are k and 7 nonequal?
True
Let y = 4455 + -4475.1. Which is smaller: y or -7/8?
y
Let z = 7932 + -7036. Is z <= 902?
True
Let q = -8641 + 10905. Is 4527/2 smaller than q?
True
Suppose 0 = -6*l + l. Suppose 17*j - 16*j - 78 = l. Is j not equal to 79?
True
Let p be 2312/6*(705/(-300))/47. Which is smaller: -18 or p?
p
Let y = 415 - 394. Let x(i) = -10*i + 212. Let z be x(y). Which is bigger: 286 or z?
286
Let p be 48/2*(-2)/(32/12). Let u(q) = q**2 - 37*q + 322. Let r be u(16). Which is smaller: p or r?
p
Let v be (2 - -2)/((-4)/398). Let h(n) = 2*n**3 + 38*n**2 - 25*n - 99. Let g be h(-20). Which is greater: v or g?
v
Let q be 1*(-1)/2*(-14 - 35448/(-2527)). Which is smaller: q or 0?
q
Let u(s) = -11*s**3 + s + 1. Let z be u(2). Let m = -81 - z. Let w(y) = -y**3 + 3*y**2 + 2*y - 8. Let q be w(m). Which is greater: -2/5 or q?
-2/5
Let x = -1/6 - 37/30. Let b = -373.1 - -373. Is x <= b?
True
Let a = -77 + 80. Suppose 0 = a*l + k - 35, 1 - 7 = -3*k. Is 0 at least as big as l?
False
Suppose -b - 5*f + 5 = 0, 5*f + 0*f = 4*b + 5. Let s be (b - 0)*(-1)/2. Let t = -2/1312351 - -7874188/53806391. Are t and s non-equal?
True
Let r be 4 - 3 - -62 - 4. Let q(a) = 14*a**2 + 4*a - 4. Let k(o) = 2*o - 16. Let s be k(9). Let h be q(s). Is r smaller than h?
True
Let w = -8572 - -42864/5. Are -201/7 and w equal?
False
Let n = -3941 + 3828. Is 10 smaller than n?
False
Let f be (-1)/(-2) - (-3)/6. Let a = -139.71 + 1.71. Let z = -143 - a. Which is smaller: f or z?
z
Let g(q) be the third derivative of q**5/60 + q**3/6 + q**2. Let l be g(4). Suppose 1950 = 128*v - 7*v + 9*v. Is l at least v?
True
Let p = 7367 + -7366. Is 473 at least as big as p?
True
Let p(g) = -g**3 + 18*g**2 - 18*g + 15. Let n be p(17). Let y(b) = -10*b - 10. Let x be y(n). Are -4 and x unequal?
True
Let m(w) = -8*w + 48. Let i be m(6). Suppose 0 = -3*o + 13 - 4, l + 5*o - 18 = i. Suppose -4*x + 19 = k, 5*k - k - 11 = -l*x. Is -1/2 at most as big as k?
False
Let b = 46 - 15. Let l = b - 14. Suppose x - 17 = -3*c - 29, 2*c = -x - 11. Which is greater: l or c?
l
Suppose 0 = -5*k + 3*d + 102, 3*k + 2*d = -k + 86. Suppose k*o + 10 = 16*o. Let f be 4 - (-2 - o - -26). Does -22 = f?
True
Suppose 7*c - 10*c + 10 = 55. Which is smaller: 58 or c?
c
Let z = -770.8 - -773. Which is bigger: 1.4 or z?
z
Suppose -d + 5 = 0, -2*d = 5*n - 4*n + 48. Let x = -99 - n. Which is smaller: x or -42?
-42
Let r(a) be the second derivative of -4*a**3/3 - 9*a**2/2 + 43*a + 1. Let j be r(-1). Let q be ((-3)/2)/(102/8). Is j less than or equal to q?
True
Let b be 5258/(-239) + (-1 - -3). Which is greater: -16 or b?
-16
Let u(c) = -2*c + 5. Let i(m) = 3*m - 9. Let g(r) = 5*i(r) + 9*u(r). Let h = -1357 + 1359. Let t be g(h). Is t less than or equal to -6?
True
Let t be (-1)/5 + 7/140*1804. Let m = 64 + t. Is 154 smaller than m?
False
Let h be (-57792)/(-352) - (-2)/(-11). Let z = -239 + h. Which is bigger: z or -74?
-74
Suppose -5*n + 175 - 35 = 0. Suppose 980 = -n*t - 1204. Is t not equal to -4?
True
Let k = -0.506 - 295.494. Let m = -296.1 - k. Let p = -0.2 + -7.8. Are m and p unequal?
True
Let s = -14 + 64. Let d = 49.72 - s. Is d > 4/7?
False
Let h be (108/45)/(2/(-15)). Let t be (8/(-48) + 15/h)*11. Let u be -2*(-1 + 22/4). Is t at most u?
True
Suppose i + 4*n = 159, -4*i + i + 402 = -3*n. Let v = -45.2 + 45.1. Is v not equal to i?
True
Let j be 10/(-8) + (-8)/(-32). Let o be -14 + (j/5 - (-320)/100). Is o less than or equal to 0?
True
Let m = 6.61 - -273.29. Let y = m - 263. Let u = -3.9 + y. Which is greater: 1 or u?
u
Let q be (2880/20)/((-6)/4). Let k be (-166)/12 + 5 + q/18. Which is greater: k or -13?
-13
Let q(m) = 22*m. Let o be q(