25. Let n be s(3). Let o = n - 98. Is o != 78?
True
Let p = 2375/13 - 18614/91. Is 26 at least p?
True
Suppose 6 - 135 = -3*m. Suppose 5*z + 10 = 0, -z - 277 = a + 67. Let q = -299 - a. Is q less than m?
False
Let p = 1 + -1. Let i be -2 - (-3796 + (-12)/(-4) + -4). Let x = 671713/177 - i. Is x greater than or equal to p?
False
Let g = -4626/11 - -434877/1034. Suppose -5*n + 5 = -0*n. Which is greater: g or n?
n
Let h = 0.45 - 3.05. Let z = 3.9 + -25.9. Let a = 21 + z. Is a equal to h?
False
Let d = -1263 - -1261. Is d at most as big as 1/8?
True
Let w = 5274 + -4847. Is -0.09 smaller than w?
True
Let h = 4/21 - -1/105. Let a = -592.94 + 608. Let c = a + -0.06. Is c < h?
False
Let z be 136/20 + -7 + 12/10. Let u be -2 + (-11)/((-11187)/2040). Which is greater: z or u?
z
Suppose -3*j + 6 = 5*p - p, 2*j + 5*p = 4. Suppose 28 = d + k - 6*k, d + k + j = 0. Suppose -d*v - 53 - 94 = 0. Is -51 > v?
False
Let w(o) = -o**3 + 35*o**2 - 62*o - 132. Let b be w(33). Which is smaller: 8/303 or b?
b
Let a(q) = -734*q - 10. Let i be a(-2). Suppose -16*k + 10*k = -i. Is 243 bigger than k?
False
Let z = 9 + -6. Suppose z*g = 7*g. Suppose 2*q + g*q = 0. Which is greater: q or -3/14?
q
Let m = 4141.85 + -4142. Let v be 24/16 + (-2 - 0). Are v and m unequal?
True
Let g be 166/(-996) + 1282/132. Which is smaller: g or -1/4?
-1/4
Suppose -45*c + 5*m - 6922 = -43*c, 0 = 5*m + 30. Are -10424/3 and c equal?
False
Let q(m) = -3*m - 29. Suppose 0 = n - 4*n - 54. Let u be q(n). Suppose 26*b = u*b + 40. Do b and 40 have the same value?
True
Let o = 5462 - 5462.1. Which is smaller: 2219 or o?
o
Let d be 2390/440 - (-4)/(-1) - (-9)/(-36). Do 0.35 and d have the same value?
False
Suppose -128 = 3*j - 2*a, 5*j - 1729*a + 1725*a = -216. Let p be 0 - 0 - 130/13. Which is smaller: p or j?
j
Let y(g) = g - 1. Let u(i) = 2*i**2 - 49*i + 318. Let w(c) = u(c) + 2*y(c). Let r be w(7). Let d = 3 + -3.1. Which is greater: r or d?
r
Suppose -m - 94 + 66 = -5*a, -4*m - 3*a = -26. Is m not equal to 2.7?
True
Let z(b) = -b**3 + 7*b**2 - 5*b - 1. Let r be z(5). Suppose -4*p + 4 + r = 0. Let a(j) = -j**3 + 6*j**2 + 5*j - 38. Let q be a(5). Is q < p?
False
Suppose -5*n - 2908 + 196 = -y, 2*y - 4*n - 5436 = 0. Which is smaller: 2721 or y?
2721
Let n = -7461/113 - 2692555/339. Does n = -8009?
False
Let i = -1036 + 1104. Are i and 83 non-equal?
True
Suppose 0 = -2*g - 5 + 13. Let s(f) = -f**3 + 2*f**2 + 21*f + 4. Let w be s(4). Suppose 2*y - y = g*z - 147, 4*y + w = 2*z. Is z less than 37?
False
Let d be (-3)/(1 + 1 - 3). Suppose -v + 5*t = 2 + 8, 0 = d*v - 3*t + 6. Let g be (93/(-620))/(12/5). Is g less than v?
True
Suppose -4*z + 5*l - 28 = -12, 0 = 3*z - 3*l + 9. Is z at most 134/77?
True
Let v be -3 + -15 + 16 - (5 + -3). Which is greater: 3.75 or v?
3.75
Let k = -2097 + 8573/4. Let i = k + -93/2. Is i at most -9?
False
Suppose 12*w = 13*w - 6. Suppose 4 = -4*s + 4*i - 8, s + 2*i - w = 0. Let c be (-1 + 1)/(-1 + 10 + -10). Is s <= c?
True
Suppose 4*d = -2*f - 1218, -2*d - 3*f - 909 = d. Let z = 270 + d. Which is bigger: z or -35?
-35
Suppose -47 - 29 = 2*w. Suppose 367*s - 18 = 366*s. Let x = s + w. Is x not equal to -20?
False
Let j(x) = 2*x**2 - 7*x - 329. Let w be j(32). Which is smaller: 1494 or w?
1494
Suppose -3*f - 219 = -5*i, 3*i + 290 = f + 363. Is f not equal to -71?
True
Let z(g) = 7*g**3 - 17*g**2 + 15*g + 11. Let t(w) = -3*w**3 + 8*w**2 - 7*w - 5. Let o(p) = -9*t(p) - 4*z(p). Let k be o(1). Is k greater than -4/17?
False
Let q be 84/48*1*-26. Let l = -35/66 - -1/33. Which is smaller: l or q?
q
Let x(b) = 2*b**2 + 18*b + 12. Let v be x(-8). Which is smaller: v or -120/43?
v
Let j = 594 + -590. Suppose -j*x = -5*x + 357. Which is smaller: x or 356?
356
Let o = 131 + 225. Suppose -3*x + 467 = -4*m, -4*x = -4*m - o - 268. Which is greater: x or 156?
x
Suppose -21*j = -17*j - 32. Let l be j/(-3) + (-7)/21 - 11. Let y be (-129)/9 + (-1)/(-3). Is y bigger than l?
False
Let o = 0.5689 - 0.1689. Which is smaller: -41.8 or o?
-41.8
Suppose -225 = -5*q - 5*h, -43 = -q + 3*h + 22. Suppose 9*n = 5*n - 4*z + 68, 2*z + q = 5*n. Which is bigger: n or 40/3?
40/3
Let w = -11093 - -11093.615. Which is smaller: w or 2/5?
2/5
Let z(g) = 4*g + 31. Let c be z(-7). Suppose -3*o + 2 = 5*p, -c*p - o = -5*o - 7. Let a = 417/5 - 83. Is p equal to a?
False
Let x(l) = -57*l - 3205. Let y be x(-15). Is -2350 > y?
False
Let n = 13.8 - 0.8. Let z = -0.0457 + 296.0457. Let t = z + -295.7. Is t > n?
False
Let n = -17382 - -17274.61. Let l = n + -1.61. Let b = -103 - l. Which is smaller: 1 or b?
1
Let n be (-228)/380*(-55)/(-9). Let s = 0 + -0.1. Is s smaller than n?
False
Let s = -0.43 + 1.43. Let k = -8751273/23107 + 46/3301. Let x = 378 + k. Is s less than x?
False
Let r = -5582989/21114035 + 1/71573. Is r less than or equal to 1?
True
Let i = -501 + 329. Let u = -1033/6 - i. Which is bigger: u or -4?
u
Let d = 39357 - 315779/8. Is -116 smaller than d?
True
Let p(j) = -j**3 + 25*j**2 - 50*j - 37. Suppose 122 = -6*g + 260. Let n be p(g). Which is smaller: -130 or n?
-130
Let b = -24.51 + 24.489. Is 64 > b?
True
Let i = 1.03 + -1.84. Let n = -80.19 + i. Let v = -3537 + 3536. Is n less than v?
True
Suppose -4*c = -58 - 2. Let v = 257/5 - 359/10. Let m = v - c. Which is smaller: m or -1?
-1
Let c = 22 + -23. Suppose -5*d - 300 = 10*d. Let l be ((-48)/d + -2)*(1 + -3). Which is smaller: c or l?
c
Let h = 2/43903 - 878074/307321. Let i = 0 - 2. Is i < h?
False
Suppose -17 = 4*z - 117. Suppose -z = -3*b - 19. Suppose -b*f + f - 72 = 0. Are f and -72 unequal?
False
Let i = 341 + -337.28. Let z = -3.82 + i. Is z <= -224?
False
Let i = -229/541 + 221311/489605. Which is smaller: i or 1?
i
Let i(h) = -15*h**2 + 82*h - 219. Let b be i(10). Is -906 smaller than b?
True
Let n = 23 - 27. Let t = -172 - -52. Let v = 119 + t. Is n greater than or equal to v?
False
Let q be (-69)/161 - 75/21. Let j(l) = l - l**3 + 9*l - 4*l**2 + 1 - l. Let d be j(q). Is d bigger than -34?
False
Let s be -4*9/(-144)*2*6. Which is smaller: -64.8 or s?
-64.8
Let g be (((-6)/9)/2)/(((-812)/12)/29). Which is smaller: 649 or g?
g
Suppose -5*d = -4*g - 225, 5*d - 5*g - 177 = 43. Let p be d/7*8/14. Let s be 5*(-18)/75 - (-3)/15. Which is bigger: s or p?
p
Suppose 3 = -4*k + 15. Let i be 1*(-2)/10*-5. Let b be i/4 - 54/(-72). Is b > k?
False
Suppose 0 = 2*b - 5*b. Let x = -2912001/20 - -145556. Let h = x + 44. Which is smaller: h or b?
h
Suppose -181*o - 1693 = 1746. Let n(z) = -24*z + 1. Let a be n(1). Which is smaller: a or o?
a
Let s(q) = -3*q**3 - 4*q**2 + 184*q + 901. Let g be s(-5). Suppose -5*w + 1274 = -3*c, -2*w - 4*c = c - 522. Do g and w have different values?
False
Let y = 3399 + -2350. Is 4/3 greater than y?
False
Let x = -619 - -911. Let p be 6/(-668)*x/219. Is 1 at least p?
True
Let v = 160 - 165.4. Let l = -6 - v. Which is greater: 0.03 or l?
0.03
Let w = -127 + 80. Let a be (-18)/(-99) + 1/77*w. Let m(l) = l**2 - 11*l - 2. Let v be m(11). Is a smaller than v?
False
Suppose -1408 = 21*p - 5020. Is p > 854/5?
True
Let j = -1216/1819 + 10/5457. Is j at most as big as -213/28?
False
Let x be (-14634)/22 + (-40)/(-220). Let g = x + 668. Which is smaller: 0 or g?
0
Let c = -4245 + 4294. Is c < 53?
True
Suppose -32*k + 56 = -18*k. Suppose -k*z = a + 12, 0 = 3*z + 9*a - 4*a + 9. Suppose y = -w + 8, 5*y - 3*y = -3*w + 20. Which is smaller: z or w?
z
Let t = -23 - -12. Suppose 5*u = 2*s - 50, 5*s + 273 = 248. Are t and u nonequal?
True
Let j be 0 - ((-566)/14 + 2). Let w = 37 - j. Let z = 15358 + -15359. Which is greater: w or z?
z
Let p = 2/14387 + -1596965/57548. Is p greater than -2.3?
False
Let x = -787 - -1418. Let c = -1289/2 + x. Suppose -162 = -136*l - 1930. Is l >= c?
True
Suppose 3*h + x = -6, 4*x = h + 2587 - 2559. Which is bigger: -0.3401 or h?
-0.3401
Let v = -396/245 - -75464/245. Which is bigger: 307 or v?
307
Let r be ((-377)/(-39) - 8)/(4/(-12) - 0). Which is smaller: r or -4058?
-4058
Let r = 5.53 + 2.67. Let f = -8.24 + r. Which is smaller: f or 13/4?
f
Let f = -50 + 174. Suppose -85*x - 27*x + 1436 = -12564. Which is greater: f or x?
x
Let h = 4627 - 50898/11. Does h = 79?
False
Suppose -22176 = -4*c - 4*g, 0 = -27*c + 28*c - g - 5544. Suppose -18*z + c = 6*z. Do 231 and z have different values?
False
Suppose -4*t - 4*y - 4