is bigger: y or v?
v
Let p(u) = -80*u + 403. Let a(x) = 20*x - 101. Let i(j) = 9*a(j) + 2*p(j). Let o be i(4). Let k(c) = -6*c + 5. Let q be k(5). Are o and q non-equal?
True
Let h be 5*1/(-4)*((-10614)/(-60) - 17). Which is greater: -199 or h?
-199
Let l = -2483/3124 - -29/71. Suppose -8 = -10*u + 2*u. Which is smaller: l or u?
l
Suppose -4*r = 2*h + h - 12, 2*r - h = 6. Suppose -z + 3 = -3*t + r*z, -4*t + 4*z = 8. Let w = t - -4. Are 0 and w equal?
False
Let c = 130744605671236/3663 + -35693313376. Let p = 3010/9 + c. Which is greater: 1 or p?
1
Suppose 1459 = -8*u + 1867. Which is greater: u or 60?
60
Let o = -55 + 221/4. Suppose -30*q = 31*q + 976. Let g = -15 - q. Which is greater: g or o?
g
Let u = -48 - -909/19. Let y(h) = 4*h**2 - 47*h + 33. Let l be y(11). Is u not equal to l?
True
Suppose -2277 = 53*w + 373. Which is smaller: 3 or w?
w
Let r be ((13932/(-301))/(-18))/(4/7). Suppose -9 = -f - 3. Which is bigger: f or r?
f
Let q(b) be the second derivative of b**4/2 - b**3/3 + 3*b**2/2 + 12*b. Let s = -110 + 111. Let y be q(s). Is 6 at most y?
True
Let j = 42.25 - -460.87. Let k = j + -466. Let x = -37 + k. Which is bigger: 3 or x?
3
Let f = -16830461/47290 + 3559/10. Is f bigger than 0?
True
Let d = -3241 - -3224. Is -14 smaller than d?
False
Let t = -8.5 + 8. Let d = -3338.071 + 3336. Let b = d + 0.071. Is b < t?
True
Let g = -97 - -96.97. Let q = -2.191 - -0.161. Let f = q - g. Is f < -2?
False
Let s be 22/33 - 12120/36. Which is bigger: s or -311?
-311
Suppose -33*j = -15*j - 71100. Is 3950 at most j?
True
Let d = 197 - 197. Suppose -t = -d*t. Which is greater: 1/34 or t?
1/34
Let n = -57096 + 57095.87. Let u = -22.96 + -0.04. Which is smaller: u or n?
u
Let x be (29 - 26) + -113*(-3)/327 + -4. Which is smaller: x or 0.3?
x
Let q = -117 - -198. Let o = -33 + q. Is 48 not equal to o?
False
Let b = 1035/88 - 106/11. Suppose 0 = -13*n + 16*n - 3. Which is smaller: n or b?
n
Let h be (-1 - -2) + -2 + 3. Suppose -r - h*s = -11, -4*r - 4 = 4*s - 32. Suppose r*l + 15 = 4*l. Is 14 bigger than l?
False
Let r be 8987/(-2064)*-66 + (-9)/24. Let z be (1 - -143)*4/2. Is z bigger than r?
True
Suppose h + 28 = -4*n, -h + 70 = 66. Is n < -39?
False
Let b = 164866/37 + -4456. Which is bigger: -7 or b?
b
Let p = 1979 - 3957/2. Which is bigger: 14832 or p?
14832
Let y = 5052 - 4983. Let k = 68.907 - -0.093. Let f = k - y. Which is smaller: f or 2?
f
Suppose -157*d + 220*d = -18270. Which is greater: -285 or d?
-285
Suppose -62*v - 66 = -66*v - m, 74 = 4*v + 5*m. Are v and -33 equal?
False
Let d be (-1)/(-7)*(-182 + 189)*1. Are d and -7/4206 non-equal?
True
Let m be 114/520 + (-3)/12. Let d = -145 + 132. Let z(p) = -3*p - 38. Let q be z(d). Which is greater: m or q?
q
Let s be (-7 - 678/(-30)) + 6. Suppose 0 = 4*d + g - 87, -5*g + 2*g = 15. Is s <= d?
True
Let t be 1 + 2 + 152/(-114). Is t smaller than 111?
True
Let w be ((-2093)/(-147))/(-13) + 2 + 6/63. Which is greater: 1/1753 or w?
w
Let h = 127.0277 + -127. Let c = 2.1223 + h. Is -1 at least as big as c?
False
Let w be 768*(-5 - (-52)/12). Let t = 2568/5 + w. Is t > 2?
False
Let o(b) = -1367*b - 414. Let x be o(2). Is x <= -3145?
True
Let p be ((-5)/10)/(-1*1/(-24)). Let o be (18/p)/((-18)/564). Which is smaller: o or 46?
46
Let g be 19462/46 - 16/184. Is 423 equal to g?
True
Let t = 1705 + -2986. Is -1279 != t?
True
Let p be (-14 - -1) + (-3712)/(-261) + 4/(-18). Are 1/523 and p non-equal?
True
Let j = -40.55 + 36.55. Are j and -0.4 equal?
False
Suppose 6 = d + o, 5*d + 5*o - 33 = o. Suppose -y + 13 - 11 = 0, -3*p + 4*y = 8. Suppose 11*t - 2*t - d = p. Which is bigger: t or -4/13?
t
Let k = -1226 + 1310. Let z = -4183 + 8533/2. Are k and z equal?
False
Let v = 1690 - 3975. Are -2287 and v non-equal?
True
Let t = 0.39 + 1.19. Let u = 23.42 + t. Which is greater: u or -4?
u
Let a be -4 + (0 - (1 + -1)). Let z(x) = -2*x**3 - x**2 - 2*x + 9. Let d be z(2). Let v be ((-1)/9)/(65/d - a). Which is bigger: v or -0.02?
v
Let i be (2 - 0)/(1 + 5/(-3)). Let o be (3 - (-1 - i)) + (-80)/(-7). Which is smaller: o or 13?
o
Let p(h) = 4*h**2 + 4*h + 2. Let x = 98 + -102. Let r be p(x). Suppose -53*l + r*l - 72 = 0. Is -45/2 bigger than l?
True
Let h = -44 - -65. Let t be 15 - (-6 - (-6 - -3)). Which is greater: t or h?
h
Let x be (-1)/(-11) + 1286/(-1078). Is x <= -2?
False
Let v = 33 + -32. Let q = -132 + 222. Let h be (-4 - 63/(-15)) + 182/q. Is h bigger than v?
True
Let g be -1*(3 + -3 + 0) + 10. Suppose 7*m = g*m - 9. Suppose -5*o - 21 = 3*j - 2*j, -m*j - 5*o - 23 = 0. Is 5 at least j?
True
Let a(z) = 6*z - 16. Let c be a(3). Suppose c*y - 2*k + 6 = 16, -y = -2*k - 6. Suppose o + 12 = y*p, 2*p - p = 2*o + 10. Which is greater: 26/9 or p?
26/9
Suppose 235 = -52*d + 287. Which is smaller: -3/8279 or d?
-3/8279
Suppose 0 = 3*d + o - 785 + 221, 4*d - 736 = 4*o. Which is smaller: 215 or d?
d
Let d be 2/(-8) - 37/(-4). Let b(l) = l**3 - 15*l**2 + 16*l + 20. Let h be b(14). Let r be (-450)/(-48) - 18/h. Is d bigger than r?
False
Let o(a) = -15 + 727*a**2 - 728*a**2 + 2. Let n be o(0). Let b(l) = -l**3 - 13*l**2 + 2*l + 25. Let j be b(n). Is j < 3/14?
True
Let g = -278 - -280. Suppose g*c + 45 = -a, 20 = -2*c + 7*c. Which is greater: a or -54?
a
Suppose 0 = 2*j - 5*w + 51, 4*j + 2*w = -w - 89. Let c(x) = x**3 + 23*x**2 - 2*x + 2. Let i be c(j). Let a be (-2)/10 - i/60. Are a and -1/24 non-equal?
True
Let p = 155.9 + -167. Let i = -11 - p. Let k = -2917 - -2898. Which is smaller: i or k?
k
Let a = 12/4075 - 509543/57050. Which is smaller: a or -10?
-10
Let m = -667 - -579. Let z be (-4992)/m - (-24)/88. Suppose -y - 2*n = -54, -2*y + 3*y + 3*n = 52. Is y equal to z?
False
Let n be (-1)/((-63)/15537) + (-2)/7. Let x = n - 259. Let o = -178/15 - x. Which is smaller: 1 or o?
o
Suppose -g + 3*g - 12 = 0. Suppose -2*o = -0*o + g. Let b = 781 + -784. Does b = o?
True
Let c be (2/1 - 2) + 2 + -2. Suppose c = 5*y + 44 + 6. Let r(q) = q - 22. Let m be r(14). Which is smaller: y or m?
y
Let i = -1.566 + 768.566. Let v = i - 754. Which is bigger: -1.3 or v?
v
Let x = -86.118 + -0.882. Let h = x - -87.1. Let d = 11.8 + -0.8. Which is smaller: h or d?
h
Let u be (11608/(-12))/(8 - 12). Are 243 and u non-equal?
True
Let v = 278.35 - 279. Let s = v - -0.6. Which is smaller: -2/3 or s?
-2/3
Let f(d) = -15*d + 182. Let v be f(9). Suppose 5*w + 21 = 231. Which is smaller: w or v?
w
Suppose 4*q + 425 = -2703. Is -781 greater than q?
True
Suppose -p + 10 = -6*p. Suppose -7*s + 27 = 286. Let b = s + 7. Which is smaller: p or b?
b
Let n = -3395 - -1887. Which is smaller: n or -1507?
n
Suppose 16*r - 20*r + 204 = 0. Suppose -r*g + 50*g = -7. Let w(s) = -s**3 - 4*s**2 + 6*s + 4. Let i be w(-5). Which is bigger: g or i?
g
Suppose 8*i - 1 = 11*i - 2*q, 5*q = -i - 6. Let n = -1335 - -68081/51. Which is greater: i or n?
n
Let k be 18/(-30)*(-20)/12. Suppose 2*y = y + 48. Let f be 2/18 + (-8)/y. Which is bigger: k or f?
k
Let b = 21.879 - 0.879. Which is smaller: b or -17.5?
-17.5
Suppose 13*w + 240 + 2568 = 0. Let z be (-7371)/w - 2/(-16)*-1. Is z at most as big as 167/5?
False
Let r = 0.868 - 1.05. Let p = -16.657 + 15.657. Is r not equal to p?
True
Suppose j - 6*j + 13 = i, 0 = -2*j + 2*i - 2. Suppose -5*k - 4 = s - j*k, 3*s + 7 = -4*k. Let v be (-3)/(-18) + 8 + -4 + -4. Which is smaller: v or s?
s
Suppose -4*a + 530*p - 535*p + 19 = 0, -4*a - 4*p = -16. Which is greater: 8/1653 or a?
a
Suppose -66 = -17*n + 19. Suppose 4*y = 2*c - 8, -15*y - n = -14*y. Is -24/5 at most c?
False
Let l = 113 + -13. Let y(g) = -3978*g - 23768. Let h be y(-6). Are l and h equal?
True
Let i(y) = 3*y**2 - 6. Let c be i(2). Suppose 2*l + c - 12 = 0. Suppose 0*m - 2*r = l*m + 113, 4*m + 4*r + 144 = 0. Which is smaller: m or -39?
m
Let h = -0.526 - 0.702. Let w = h - -0.228. Which is smaller: 75 or w?
w
Let q = -13 + 31. Let w be (-2*3/q)/1. Is w equal to 21?
False
Let f = 2661 + -2661. Which is bigger: f or 6/743?
6/743
Suppose 0 = 2*c - 638 + 230. Let s = c - 4688/23. Is s at least as big as -1?
True
Let k be ((-43860)/(-35055))/4 - (-2)/(-6). Which is smaller: 1 or k?
k
Let p(g) = -3*g**3 - 39*g**2 - g - 12. Suppose -11 = 2*m + h + 10, -59 = 3*m - 4*h. Let v be p(m). Is -2/17 < v?
True
Let d(h) = 8*h**3 + h**2 + 2*h + 1. Let j be d(0). Let k be (-2)/36*21/(-