 smaller: v or x?
x
Let p = 4598 + -2785. Which is smaller: p or 1811?
1811
Let a(c) = -2*c**2 - 10*c - 18. Let f be a(-4). Let h be -3 + 5 + f/5 + 1. Which is smaller: -2/35 or h?
-2/35
Let m = 450 - 294. Let k = m + -134. Which is smaller: 2/3 or k?
2/3
Let w = 68.7441 - -0.1559. Let r = w - 49.9. Is 2/7 less than or equal to r?
True
Let w = 1518 + -1658. Which is bigger: -2 or w?
-2
Let x = 1442 - 1440. Let g be (-52)/125 - 10/(-25). Let u = g - -129/250. Is x less than u?
False
Let l be (-3 - -10)*-1 + 2 - 4. Let s be 2/l + 2890/12546. Which is greater: s or -1?
s
Let r = 21053/780 + -325/12. Suppose 0 = 4*z + 5*d + 11, -3*z + 0*d + d + 6 = 0. Is z not equal to r?
True
Let t = 50.0589 + -50.1. Let y = t - 12.9589. Let k = -0.9 - -1. Which is greater: y or k?
k
Suppose -3*r = -41 - 39 - 10. Is r bigger than -3.6?
True
Let s = 4584 - 4579. Which is smaller: s or -3?
-3
Let s = 239.79 - 239.49. Which is bigger: -1449 or s?
s
Let p = 1678 - 21898/13. Is -5 >= p?
True
Let y = -1205 - -228. Do y and -975 have the same value?
False
Let m = -5.708 + 5.76. Which is smaller: 1.5 or m?
m
Let d = -782833 - -782832.695. Let s = 0 - 0. Do d and s have different values?
True
Let f be (786/(-89735))/((-9)/5). Which is smaller: f or 1/13?
f
Let q = -2.9719 + 2.9399. Let g = 5 + -8. Is q equal to g?
False
Let p be (-6549)/(-2301) + 4/26. Which is smaller: p or -25?
-25
Suppose -3*k = -4*k + 66. Let y = 61 - k. Let p(n) = -n**3 - 4*n**2 + 6*n + 3. Let s be p(y). Is s bigger than 2/5?
False
Let q be 2/10 - 78/(-510). Let z be 10/15 - (-96)/(-9). Let k = z + 10. Which is smaller: q or k?
k
Let l = -18783 + 18895. Do 139 and l have different values?
True
Let l = 0.91 - 1.1. Let d = l + -0.06. Which is smaller: d or -1?
-1
Let u(h) = -2*h**3 - 14*h**2 - 100*h - 72. Let g be u(-9). Which is greater: g or 1158?
1158
Suppose 1420 = -7*t - 57. Let w = t + 211. Is 1/106 < w?
False
Let n(m) = m**2 - 52*m - 166. Let w be n(55). Is w greater than -4/655?
False
Let a = 2613 + -2612. Let b be 1/3*(-4)/(-54). Is b at most as big as a?
True
Let c = 7 - 0. Let v = -120 - -130. Let i be (-1*3/(-21))/(10/v). Is c less than i?
False
Let o be (-6117)/12 - 3/12. Let f = o - -320. Is -189 at most f?
False
Let c = 2458 - 47. Which is greater: 2 or c?
c
Let r = -1.228 - -1.24. Let s = r - -0.188. Let x = 64 + -106. Which is bigger: x or s?
s
Let g = -5/39308 - -142563/39190076. Which is smaller: 0 or g?
0
Let f = 14523 + -14072. Is f greater than 457?
False
Let g = 148 - 239. Let j be ((-122)/(-305))/(2/(-465)) - -1. Is j less than or equal to g?
True
Suppose 2*r - 5*z - 27 = 0, r - 4*z + 84 = 6*r. Let d be 17 - r - (0 + -11) - 5. Is d at most 20?
True
Let z = 472 + -264. Let j = z + -208. Which is smaller: j or 2/1911?
j
Let f be (-6)/4*43780/(-30). Is f equal to 2190?
False
Let f(s) = -s**2 + 25*s + 245. Let x be f(-11). Is -152 equal to x?
False
Let h = -600 + 599. Let q be 3/h + (-61 - -35). Is q less than -35?
False
Let z be -9 + -1068 + -21 + 32. Is z at least as big as -0.6?
False
Let c(y) = -2*y**3 + 13*y**2 + 15*y + 28. Let i(u) = -3*u**3 + 19*u**2 + 22*u + 42. Let d(q) = 7*c(q) - 5*i(q). Let k be d(7). Is k != 290/3?
True
Let y = 5/221211 + -255228341/221211. Let h = 1156 + y. Suppose 0 = -4*l + 46 - 34. Is h at least l?
False
Let v = -26 - -79/3. Let g(h) = 7*h**2 + 16*h + 7. Let b be g(-5). Let f be 20/(5/(-1)) + 405/b. Is v >= f?
True
Let u = 402 + -612. Is u >= -2/7?
False
Let f(q) = 20*q - 136. Let r be f(26). Let b = -375 + r. Is b not equal to 15/2?
True
Let t(p) = -4*p - 114. Let a(i) = -i - 37. Let d(g) = 10*a(g) - 3*t(g). Let m be d(-11). Which is greater: m or -48?
-48
Let d be (-8)/(-52) + 126/26. Suppose -d*v = -10*v - 5. Let m = -2/3661 - 1032/25627. Is m not equal to v?
True
Suppose -53 = -19*r + 6977. Suppose -266*n - r = -268*n. Which is smaller: -1 or n?
-1
Let c(b) = -4*b - 14. Let d be c(13). Let a = d + 85. Suppose -3*v = m + m - 5, -a = -v - 5*m. Which is smaller: v or 2/173?
v
Suppose 57 - 97 = 58*p + 76. Which is bigger: -58/81 or p?
-58/81
Let b = -10184 + 10183. Which is smaller: b or 3/24364?
b
Let h(b) = 9*b - 56. Let o be h(17). Let u = o + -134. Which is smaller: -35 or u?
u
Suppose -6*s = -11*s + 5. Let v be s + 1269/10 + (-20)/(-10). Let b = v + -130. Is b greater than or equal to -1?
True
Suppose 7*b - 4*b = -2*c + 3, 3*c = -2*b - 3. Suppose 2*w - 64 = -b*d - 3*w, -3*w + 72 = 3*d. Is d bigger than 26?
True
Let u be (-3 + (-6)/(-4))*1976/78. Is 9/2 at least as big as u?
True
Let d be (-3819)/(-5172) + (-9)/12. Is -1 at most as big as d?
True
Let z = 42 - 71. Suppose -62*l - 34835 + 33099 = 0. Is z greater than or equal to l?
False
Let d(n) = 22*n**2 - 16*n - 21. Let f be d(9). Let a = 4621/3 - f. Let z = 76 + a. Which is bigger: z or -1?
z
Let b = 55.56 + -55. Let c = b + -0.72. Let w = c + 0.26. Which is bigger: -0.05 or w?
w
Suppose 0 = -r + 4*w + 1078, 25*r - 4*w + 2120 = 27*r. Which is bigger: r or 1053?
r
Let c = -215 + 214.798. Let p = c - 0.07. Let h = p - -0.072. Is -3 at most as big as h?
True
Let x = 109.159 - 0.159. Let y = 128.9 - 9.9. Let h = y - x. Is h bigger than 2?
True
Let p = -5560 - -5526. Which is greater: p or -39?
p
Suppose -5*t = 5*j + 730, -14*t + j - 438 = -11*t. Is -153 > t?
False
Let w(m) = -m**2 + 37*m + 205. Let o be w(42). Which is greater: o or -252/43?
o
Let y = 502 - 512. Let l be ((-224)/y + -4)/(4/(-50)). Is l > -230?
False
Let m = -113.9795 + 11.0655. Let h = -103 - m. Is 2/7 <= h?
False
Let j = 351221291 - 1526056527674/4345. Let z be (-1690)/6952 - (-1)/4. Let q = j + z. Which is smaller: q or -1/4?
q
Let h be (-2200)/12*457/309. Let t = h + 113/309. Let b = t - -270. Is -1 < b?
True
Let o(t) = -4*t**2 + t. Let n(b) = -b**2 + 27*b - 25. Let v be (52/(-5))/(44/(-110)). Let s be n(v). Let g be o(s). Is -24/11 < g?
False
Let k = -19.263 - -18.263. Which is smaller: k or -10364?
-10364
Let h be ((-561)/(-132) + -6 + 1)/((-2)/(-48)). Are 0.143 and h equal?
False
Let b = -69.389 - -0.789. Let v = b - -67.3. Which is greater: v or 23?
23
Suppose v + 4*t - 3 = 3*t, 0 = -2*v + 3*t + 1. Suppose 494 = -4*y - v*g, -11*y - 4*g = -9*y + 238. Which is smaller: y or -126?
-126
Suppose -12*j = -9*j - 588. Suppose -5*w - f = -84 + j, -92 = 4*w + 2*f. Is w <= -22?
True
Suppose -4*r = r. Suppose r = d - 2 - 0. Let b = -34 + 209/6. Is b at least as big as d?
False
Let v = 370 - 356. Let j(h) = h**3 - 3*h**2 - 1. Let u be j(4). Which is smaller: v or u?
v
Let v be 1/(-4) + (-189)/(-36). Suppose 4 = v*g - 1. Let n = 7 + 19. Are g and n non-equal?
True
Let p(j) = 14*j + 167. Suppose -286 = 48*o - 26*o. Let k be p(o). Is -14 <= k?
False
Suppose 58*y = 60*y + 346. Let x = -356 - y. Is x at least -184?
True
Let w be 2/(-4) + (-18)/28. Let i = -4103.68 + 4104. Is i >= w?
True
Let d = 2197/36 + -664/9. Let n = -12 - d. Which is bigger: n or 1?
1
Let u = 6320 - 6319. Which is greater: 47/308 or u?
u
Let r be ((-6)/(-5))/(1/5). Let m be 6/24 - r/(-8). Let b = -504 + 15623/31. Is b greater than or equal to m?
False
Suppose -3*k = -20*c + 19*c + 7, 4*k + 4*c = 28. Which is bigger: k or -5/746?
k
Let x = -17.3 + 17.25. Let a = x + 0.25. Is -0.05 smaller than a?
True
Let g = -214 - -176. Let u = g - -39. Do u and 5/46 have the same value?
False
Let g(b) = -6 + 7 + 7 - 2*b. Suppose -2*x = -0*x - 24. Let q be g(x). Is q equal to -18?
False
Let d = 119 - 116. Let z be (-49)/58 + d - (-2)/(-4). Which is smaller: z or 1?
1
Let o be 0 - -5 - -5*104/8. Let d be 5/(o/77) - 5. Which is smaller: 0.065 or d?
0.065
Let q = 1/282057 - -182240161/188038. Which is smaller: 969 or q?
969
Let m be (-16)/(-24) - (-4270)/21. Which is bigger: 614/3 or m?
614/3
Suppose 9*l + 57 = 1101. Let z = 112 - l. Is -7 at most z?
True
Suppose 4*u + 6 = u, 4*o - u = 98. Suppose -o*d + 1198 = -290. Is d bigger than 62?
False
Let t = 429.0496 + -436.23. Let o = 0.0496 - t. Let g = o - -0.77. Which is bigger: g or 1/4?
g
Let i(w) = 575*w - 115. Let y be i(-5). Is -2989 at least y?
True
Let j be (-151 + (-15)/(-5))/(-135). Which is greater: 1 or j?
j
Suppose 3*s - 1 = 25*h - 23*h, -5*h + 5*s = 0. Which is greater: h or 1284?
1284
Let x = 2.51 + 3.49. Is 36 bigger than x?
True
Let u(z) = -z**3 + 24*z**2 - z + 40. Let q be u(24). Let o be 0 + ((-390)/q)/(-13). Is o bigge