?
25
Suppose o - 16 = 2*u, -5*o - 28 = 2*u + 12. Let w be 6/u - 14994/85. Let s = -536/3 - w. Which is smaller: -2 or s?
-2
Suppose 5*c = -3*u - 1, u = -4*c - u. Suppose x = -c - 9. Let h = 6.156 - 3.156. Is x != h?
True
Suppose -3*o + 2516 = 4*f, 4*f - f + 2*o - 1888 = 0. Suppose z - 9*z = f. Is z <= -2/7?
True
Let k(a) = -a - 18. Let v be k(-6). Let o(n) = n**3 + 16*n**2 + 27*n - 31. Let l be o(v). Which is bigger: 220 or l?
l
Let t = -8 + 20. Let h be t/8 + 9/(-6). Let x = -30 + 30.1. Which is smaller: x or h?
h
Suppose 3*z + 10*z = -42*z - 57970. Which is greater: z or -1037?
-1037
Let l = 5337.09895 - 0.09895. Which is bigger: 1/2 or l?
l
Let x(a) = -91*a - 3044. Let h be x(-47). Do 1232 and h have different values?
True
Suppose -5*r - 2*r + 917 = 0. Suppose -5*b = -j - r, -5*b + 2*j + 133 = -j. Let d = b - 26. Which is smaller: 3 or d?
d
Let x = 234 - -2. Suppose 201*i - 205*i - x = 0. Which is bigger: i or -58?
-58
Let j = 3/2984 - -14857/62664. Do j and 0 have the same value?
False
Let x = 5935.68 - 5936. Is x < 0.77?
True
Let n = -19 + 39. Let c be 138*(2 - n/12). Let f = 138 - 91. Is f at least c?
True
Let k be ((-9)/3 - -3)*(-3 + 34/17). Let d = 1596 + -122889/77. Is d greater than k?
True
Let u be (3/(-7))/((-22)/(-385)*75185/(-11)). Which is bigger: -1 or u?
u
Let x = 7.1 - 0.1. Let z = x - 8. Let h = -599 + 597. Is z less than h?
False
Let c = 7750.1 + -7750. Let j = 53.63 - -1.37. Which is smaller: c or j?
c
Suppose 3*g - 153 + 48 = 0. Let a be (9/(-6))/((13/104)/(8/(-3))). Which is bigger: g or a?
g
Let z = -319.25 - 1.75. Which is greater: z or 0?
0
Let g be ((-122190)/(-12))/(65/130). Is 20366 <= g?
False
Let p be (((-2660)/210)/19)/(1 + 39874/(-39876)). Which is smaller: -13291 or p?
p
Let n = 4955 - 128837/26. Let f(u) = -5*u**2 + 7*u + 3. Let c(b) = 14*b**2 - 21*b - 10. Let a(q) = -4*c(q) - 11*f(q). Let x be a(8). Is n <= x?
False
Let p be -1 + (-13)/(-16) + 2022/5392. Is -2/41 less than or equal to p?
True
Let g = 254 + -250. Suppose 24 = -g*s - 4*p, s + 3*p + 0*p + 14 = 0. Which is bigger: -29/27 or s?
-29/27
Let g(a) = 13*a**3 - 1. Let w be g(-1). Let d be (2 - 1 - 707/w)/2. Let s = 26 - d. Which is bigger: -3/2 or s?
s
Let p be (-395)/2*(51 - 12361/235). Are p and 339 non-equal?
True
Suppose -9800 - 12200 = -80*y. Is 272 at most y?
True
Suppose -4*z - 2542 = -u, -5*z - 4*u = -3*z + 1280. Is z at most as big as -648?
False
Let f = -676 - -50699/75. Suppose 0*r - 3*r + 86 = -4*w, -4*w = -2*r + 88. Let s = -24 - w. Which is smaller: f or s?
s
Suppose 4*z + 8 = 780. Let r be ((0 - -2) + 6)*1337/56. Suppose 2*n + r = z. Is n at most 3/2?
True
Let q = 2107 - 2069.06. Let i = -38 + q. Is i greater than -1/5?
True
Let y = 258.1 - 431.1. Which is greater: 0.1 or y?
0.1
Suppose -a + 5 = -13. Suppose -2*j = -2 - a. Let z = -1.2569 - -0.2569. Which is bigger: j or z?
j
Let r be (8/3)/((-1)/(-6)) + -4. Suppose -2 = -r*y + 22. Let n = 225 + -2017/9. Which is smaller: y or n?
n
Let f be ((-2982)/(-66))/1 - (-1 + -4 + 2). Which is smaller: 49 or f?
f
Let c(t) = -t**2 + t. Let s(z) = -4. Let y(a) = -c(a) - s(a). Let q be y(0). Suppose -26*k - 25*k - 456 = 63*k. Does k = q?
False
Let p(c) = -4*c**3 + 10*c**2 + 7*c + 10. Let f(n) = 5*n**3 - 10*n**2 - 6*n - 9. Let j(d) = 3*f(d) + 4*p(d). Let k be j(11). Is 19/8 != k?
True
Suppose 8*x - 88 = 7*x - 2*s, -x + 84 = s. Suppose 6*a + 74 - x = 0. Is a > 9.7?
False
Let x be ((-24)/22)/(4/(16/(-20))). Let y = x + 74/165. Which is bigger: y or 10?
10
Suppose -f + 2*f + 9 = 2*v, -f + 21 = 4*v. Let c(o) = -21*o**2 + o - 1. Let p be c(f). Let r = p + 6. Which is smaller: r or 0?
r
Suppose -3*h - 9*h - 4 = -4. Which is smaller: -2/7261 or h?
-2/7261
Suppose -4*l = l - 15. Let j(u) = -2*u + 11. Suppose 10*m - 15*m + 15 = 0. Let z be j(m). Is z at most as big as l?
False
Let n = 7 + -8.5. Let b be 1 + (915/235 - 5). Let i = b + -79/141. Is n < i?
True
Let c = -383902/31 - -12384. Which is smaller: 103 or c?
c
Let x = -0.003 - 0.039. Let j = 74.958 - x. Is j < -1?
False
Let f be 8232681/7057170 - 7/6. Which is greater: f or 1?
1
Suppose -3*l - 14*l = -68. Let n be 160/(-310)*3/l. Let c = n + 98/93. Which is smaller: c or -0.08?
-0.08
Let y = 10194 - 10194. Is y greater than or equal to -9993/7?
True
Suppose -48*i - 1617 = -2*g - 49*i, -5*i + 25 = 0. Which is smaller: g or 808?
g
Let c be (-9)/(-6)*(11 + -15) - 213. Is -231 at least c?
False
Let x = -21 - -25.8. Let f = x - 21.8. Let a = f + 17.2. Does 1/6 = a?
False
Suppose -5*s - 4*n - 4092 = -1407, 2*n = 2*s + 1092. Is -560 at least as big as s?
False
Let h = 1.058 + -0.058. Let k = 0.23 + 12.77. Let n = k + -12.9. Which is greater: h or n?
h
Let o = -28761/25 + 1151. Is 1.1 at least as big as o?
True
Let n = -3.1 - -3. Suppose -5*z + 646 = 3*s - 17, 3*s + 3*z = 657. Suppose -75*l = -69*l - s. Does l = n?
False
Suppose -5 = 5*a, 5*a - 27 = -2*z + 6*z. Let o(m) = 3*m + 4. Let d be o(z). Let u = d - -11. Is -12 > u?
False
Suppose -5*u = -u. Let q = 96/209 - 728/5225. Is q != u?
True
Let i = -1.0106 + 1.0606. Is 68 at least as big as i?
True
Let h(s) = 4*s - 21. Suppose -60 = -2*j - 48. Let l be h(j). Suppose l*u = 11 + 1. Is u less than -1?
False
Suppose 0 = d - 150 + 39. Let m be (0 - 1/(-63))*(-113 + d). Which is bigger: m or 2/9?
2/9
Let t be ((-264)/40 - -7)/(2/(-5)). Let d be 156/(-9) - t/3. Let b = -21 - -6. Which is smaller: b or d?
d
Let n(q) = -q**2 + 40*q - 32. Let f be n(19). Is 13 at most f?
True
Suppose -2*k - 3*u = 133, -5*k - 162 = -u + 213. Is k > -1266/17?
True
Let d be 24*(1 - (-12)/(-24)) - 1. Which is smaller: 107/9 or d?
d
Suppose -3*t + 6 = -5*t. Let r be 3/((-513)/168 - t). Let z be ((-3)/2)/((-189)/r). Is 0 not equal to z?
True
Suppose 39*s - 40*s - 7*o + 407 = 0, 2*s + o = 879. Is 3982/9 > s?
True
Let w = 11.7 + -4.9. Let b = -6.7 + w. Let o = 304/24857 + 1/371. Which is greater: b or o?
b
Let z = -2617 + 2625. Which is bigger: z or 278/31?
278/31
Let o be 34 + 1341/(-36) - (14/8 + -1). Let n = -5 + 23. Is n equal to o?
False
Let b = -220 + 223. Suppose -m - 31 = b*s - 6*s, 12 = 4*s. Which is smaller: -24 or m?
-24
Let m = 19 + -85. Let n = m + 118. Which is smaller: n or 53?
n
Let f be -4*(2/4)/(4/32856*6). Which is smaller: -2741 or f?
-2741
Let l(t) = -13*t + 6. Let b be l(2). Let y be 4/(-6)*648/b. Let n = -696/35 + y. Is 2 at least n?
True
Suppose -4*i = m + 39, -4*m + 9*m + i + 176 = 0. Suppose 0 = 8*v - 7*v. Suppose -5*p + f = -10*p - 177, v = 3*f + 6. Is m smaller than p?
False
Suppose 4*l - 5*t = -2145, -t = l - 1527 + 2052. Which is smaller: -529 or l?
l
Let i be (1 - -18 - -1) + 4/((-60)/(-45)). Is i at least as big as 4?
True
Suppose 22*x + 40 = 14*x. Let g = x + 16. Does g = 88/9?
False
Let d = -74412/5 - -14883. Which is greater: d or 0.027?
d
Let t(g) = -668*g**2 - 68*g + 66. Let d be t(5). Is d less than -16974?
False
Let s = 369274/13 + -28406. Suppose 1 = 2*r + 3. Is r greater than or equal to s?
False
Let j(c) = -2*c**2 + 8*c + 24. Let l be j(6). Suppose 3*r + 2*m + 8 = 1, 0 = 3*r + m + 5. Is r at least l?
False
Let v(u) = -58*u**2 - 753*u + 13. Let l be v(-13). Which is smaller: l or 1/663?
l
Let i = -1149 + 1166. Let h be 15 + 2 - 3/(-3). Which is greater: i or h?
h
Let c = 52/4881 - -10801393/24405. Which is smaller: c or 444?
c
Let s = 42 - 39. Let m be (-10)/(s*1/3). Let p = -529/48 - -27/16. Which is smaller: m or p?
m
Let i be (-61)/(8052/(-360))*-33. Which is bigger: i or -3?
-3
Let r be 4/(-3) + 14 + 104/6. Is 175/6 equal to r?
False
Let l be 14/2 + (87/6)/(14/112). Suppose u + 0*u - 123 = 0. Is l > u?
False
Let r = -16.6223 - 0.3777. Is 3.4 at most r?
False
Let d = 517 + -1048. Let k = 512 + d. Which is bigger: k or -22?
k
Let g be 124/(-175)*27/72. Let n = 2/7 + g. Let z = -23/100 - n. Are 2/9 and z non-equal?
True
Let m be -1527*(14/(-21) - (-2 + 1)). Let x = m + 381. Is x bigger than -128?
False
Suppose -3*h + 84 = -q - 4*q, -2*q = 3*h - 63. Let w = -12 + 34. Let i = h - w. Which is bigger: i or 33?
33
Suppose -3*q + 3*p + 321 = 0, -3*q + 81 = -2*p - 245. Let a = 95 - q. Let n(t) = -t**3 - 17*t**2 - 14*t + 14. Let v be n(-16). Are a and v unequal?
True
Let m = -155 - -151. Let g be (m + 11/3)*3*-1. Which is bigger: g or 22?
22
Suppose 12 - 2 = -5*c - 3*v, 25 = 5*c - 4*v. Let s be -3 + 10392/289