2)*(z + v). Is -9/10 less than or equal to x?
True
Let v(f) = -3*f + 23. Let u be v(7). Suppose -j = -5*z + 341, 2*z + u*z + 3*j - 269 = 0. Suppose -2*y = -z - 18. Is y greater than or equal to 42?
True
Let y = -11008/21 + 524. Let v be 0/((-16)/12 - 10/15). Which is bigger: y or v?
v
Let b = 11/107 + 9103/963. Suppose 25*m + 33 = 28*m. Which is bigger: m or b?
m
Suppose -x = -3*x. Let v be -15 - 20979/(-1372) - (-2)/(-8). Is v >= x?
True
Suppose r + 3*l - 295 = -2*l, 0 = 5*r - 3*l - 1531. Let j = r + -11279/37. Let o = j + 130/111. Is o at least 0?
True
Let x(i) = -2198 + 4395 - 2*i - 2200. Let p be x(-1). Let d = -3288718/355 + 9264. Which is bigger: p or d?
d
Let f be (7834/(-84))/((-34580)/(-105)) + 4/14. Which is bigger: 0 or f?
f
Suppose -4616 - 1306 = -7*s. Let q = -31300/37 + s. Which is bigger: 1 or q?
1
Let k be 8 - 0 - (0 - (-1 - -1)). Suppose -k*i + 13*i = -210. Is i < -42?
False
Let z = -386 - -398. Suppose u = 13*u + z. Which is smaller: u or -29?
-29
Let h be 8 + (-4 - -4) + 1 + (-39144)/350. Are h and -102 nonequal?
True
Let h = 34576 + -39523. Which is smaller: -4951 or h?
-4951
Let x be (-123)/630*-26 + -3 - 2. Is x at least -1?
True
Let l = -8065 + 7191. Which is greater: l or -873?
-873
Suppose -41*h + 135 = 94. Let s be (7010/25)/(66/(-10)). Let g = -468/11 - s. Is g at least as big as h?
False
Let n(l) = 49*l - 1136. Let x be n(24). Suppose -6*z + 58 = -176. Is x not equal to z?
True
Let k(n) = -10*n**3 + 27*n**2 - 4*n - 121. Let s be k(-7). Which is greater: 4661 or s?
4661
Let j be -3 + 18 - (-359975)/(-24000). Which is bigger: 1/12 or j?
1/12
Suppose 180*b - 299*b + 152 = -157*b. Suppose -7 = -s - 1. Let j = 0 - s. Which is bigger: b or j?
b
Let k(y) = 2219*y**2 + 15294*y - 8. Let j be k(-7). Which is smaller: 1664 or j?
1664
Suppose 5*q + 5*v + 2 + 3 = 0, 5*q - 2*v - 30 = 0. Let o = q - 97. Which is smaller: -92 or o?
o
Let s = 540 + -514. Suppose 0*b - 3*b + 5 = t, 5*b = t + 11. Suppose b*a - 24 - 26 = 0. Which is greater: s or a?
s
Let d(w) = -w**2 + 7*w - 2. Let u be d(5). Suppose u - 10 = -2*q. Let m be (-5)/3 - -4 - (q - -1). Which is smaller: -1 or m?
-1
Suppose 1340*v + 54 = 1394*v. Is 82/623 bigger than v?
False
Let f = 808 + -329. Let d = f - 945/2. Which is greater: d or 8?
8
Let l be -9 - (-8 + (-38585)/(-15675)). Let i = 66/19 + l. Which is smaller: 0 or i?
0
Let l be (-7)/14 - (-1860)/(-24). Let y be l/(-1547)*(-21)/(-27). Which is bigger: y or -30?
y
Let z = 26.885 + 0.115. Let p = 26 - z. Which is greater: -5.3 or p?
p
Suppose -3*y - 3 + 15 = -5*t, 3*t = y - 4. Let j = 134 - 70. Suppose -64 = -t*f - 4*f - i, -4*i = -4*f + j. Which is bigger: f or 15?
f
Let s = 88266151/3401 - 25953. Is s bigger than 1?
False
Let x(s) = -s**2 - 3*s + 53. Let f be x(6). Let q be f*(-3 - 60/(-18))*-165. Is -5 <= q?
True
Let t(s) = s**3 - 22*s**2 + 36*s + 80. Let n be t(20). Let u = 372687 - 33541399/90. Let g = 44/9 - u. Which is greater: n or g?
g
Let x be -13 + 8 - 4/(750792/(-904322)). Let w = 54/287 + x. Is 0 != w?
True
Suppose 0 = 4*s - 101 + 649. Let l be s/245 + (-51)/(-85). Is 0 greater than l?
False
Let k be ((-8)/(-16))/((-57)/(-4)). Let j(r) = -r**2 + 2*r + 39. Let s be j(-5). Suppose 0 = -5*z, -3*z - s = 4*q - 8. Is q less than k?
False
Let g(x) = x**3 - 18*x**2 - 11*x - 9. Suppose -74*c + 304 = -58*c. Let i be g(c). Which is bigger: 144 or i?
144
Let t = 0.021 + -337.021. Let m = -340 - t. Is m smaller than 1/13?
True
Suppose -5*w + 2031 = 2*i, -3*i - 4*w = 695 - 3752. Suppose i + 182 = -5*j + p, -5 = -p. Is j at most -241?
False
Suppose 3*x + 13*x = 1056. Let r be (-2)/(-11) + 2/x*-314. Does -10 = r?
False
Suppose 4*r + v + 67 = 0, -4*r + 2*v + 198 = -16*r. Is r less than 3?
True
Suppose -17 = -h - 44. Let r be 6/h + (-19)/(-45). Let x = -7726 - -54086/7. Are x and r unequal?
True
Let t = 109/4 + -33/2. Let u be ((-65)/15)/(-13)*33. Is u less than or equal to t?
False
Let g be (-28)/6*(-63)/2. Let q be (-280)/g + 4/2 + 0. Which is greater: q or 1?
1
Let u = 147 + -165. Let h be 155/4 + u/(-72). Is h greater than 41?
False
Let q be 1164/(-20)*75/(-45). Is 107 at most q?
False
Let s be (7122/(-9))/((-12)/(-72)). Let q be 5/((-120)/s) - 4/8. Which is smaller: 197 or q?
197
Let f = -666 + 708.3. Let g = 0.3 - f. Let l = g - -49. Are -0.3 and l unequal?
True
Let h be (95/(-10) + 7)*22. Let o = -17 + -38. Let a = o - h. Which is greater: a or 3/22?
3/22
Suppose -9477 = 2848*g - 2821*g. Are -1409/4 and g equal?
False
Let n = 158 + -512. Let o = n + 309. Is -91/2 bigger than o?
False
Let u = 713/13 + -55. Let m = 15.6564 - 14.6564. Which is smaller: m or u?
u
Let r(g) = 7*g**3 + 118*g**2 - 17*g - 12. Let i be r(-17). Suppose 4*b = 110 + 22. Let w = b - 46. Which is greater: w or i?
i
Let i = -5 - -7. Let z be i/2 - 0/(-3). Suppose 21*u = 17*u + 24, -4*f = 5*u + 34. Are f and z equal?
False
Let o = -4 - -12. Let x(z) = -z**3 + 9*z**2 - 13*z + 12. Let l be x(o). Let a(m) = -4*m**2 + 43*m - 17. Let d be a(11). Is d at least as big as l?
True
Let t = -5869793624609539/836152967264 - -40/205746301. Let r = t - -7020. Let z = r + 7963/670560. Is -1 less than z?
True
Let d be 50*(4 + 48/(-15)). Let i = d - 49. Let n be 272/576 - -2*1/i. Which is bigger: n or 1?
1
Let p = 170.2487 - 1.2547. Let t = p - 169. Which is smaller: t or 0.01?
t
Let n = -52974/35 + 7596/7. Is -427 less than or equal to n?
False
Suppose 0 = -963*q + 826*q + 1644. Let f be (-2)/(1/((-10)/(-4))). Let u be (-3)/f*255/12. Which is smaller: q or u?
q
Let x = 33 - 17. Suppose -6*z - x = -2*z. Let l be -6*((-7 - z) + 4). Do -5 and l have different values?
True
Let j = -475 + 475. Suppose 90*a - 82*a - 856 = j. Which is greater: 106 or a?
a
Let i be (-4 + 0 + 5)*73. Suppose 4*u = -u - r - 63, 5*u - 4*r = -i. Suppose h = 6*h + 65. Is h < u?
False
Let h(y) = -2*y + 8. Let u be h(9). Let o be 4/602*(-11 - u). Is o <= 1?
True
Let z = -17102 + 17095. Let r be 292/(-50)*10/8. Let t = r + 9/5. Is t at most as big as z?
False
Suppose 0 = 94*t - 75*t - 1159. Which is smaller: 59 or t?
59
Let d be 14/2 - (-30277)/91. Let i = 147499/434 - d. Is -1 != i?
True
Suppose -3*y - 5*y + 48 = 0. Let x be (10/(-6))/(20/(-24)). Suppose -y + x = 4*d. Which is smaller: d or -35?
-35
Let k be (-2)/(-18)*((-466)/(-51) + 64/192). Are k and 1 equal?
False
Let k(w) = 2*w + 24. Let t be k(-7). Let s be 22/(-10) - (-4 - (7 - t)). Which is smaller: s or 0?
s
Let x be -160 + 90/(-162)*9. Suppose -5*n = -3*b + 435 + 387, -2*b + 823 = -5*n. Is n equal to x?
True
Let f = -336.7 + 46.7. Let u = f - -287. Does u = -28?
False
Let q be (6/482)/((-12)/8). Let m(g) = -2*g**3 - 8*g**2 + 18*g - 36. Let x be m(-6). Is q greater than or equal to x?
False
Let b be 1536/15 + (-4)/10. Suppose -4*s - 17 = -5*i, -4*i - 36 + 58 = s. Suppose -88 - b = -i*z. Are 38 and z unequal?
False
Let k be 120/567 + (-7)/((-49)/(-2)). Let m(h) = -h**3 + 7*h**2 + 8*h - 1. Let p be m(8). Let a be (-5)/p*5/(-25). Is a equal to k?
False
Let b = 10.5 + 10.3. Let o = b - 20.63. Let y = 59/2 - 29. Is y greater than o?
True
Let o = 35.61 + 0.39. Let f be 225 + -218 + (0 + 1)*-9. Is o greater than f?
True
Suppose 0 = 6*j - 43 + 223. Let v be 0 + 3 - (-6)/j. Which is greater: 2 or v?
v
Let j = 41 - 19. Let h(d) = -d + 22. Let s be h(j). Which is bigger: s or 2/239?
2/239
Suppose -102 = 6*r - 30. Suppose -20*c + 7*c + 52 = 0. Suppose 3*a - 8 = v, -v + 35 = -c*v - 2*a. Is v less than or equal to r?
False
Let k = -117 - -29. Let w = -44 - k. Does w = 46?
False
Let k(r) = 74*r**2 - 1544*r + 4623. Let w be k(3). Is w < 3288/5?
True
Let p(d) = -2*d**3 - 5*d**2 - d + 6. Let h be p(-2). Suppose h*l - 563 + 31 = 0. Is l bigger than 131?
True
Let h be 247/(-57) - (48/(-9))/4 - -4. Is 27/32 < h?
True
Let y be (-8464)/3174*(-1182)/568. Are y and 6 nonequal?
True
Let o = -4556 - -1248. Is o > -1/5?
False
Let q = 0.42 + -7.22. Let s = 4 + q. Let i = -3 - s. Is i greater than -13?
True
Suppose -4894 = -5*i - 4*n, -1 + 5 = -n. Suppose 4*w - 776 = -3*h - 184, 5*h = -2*w + i. Is h <= 195?
False
Let a = -3/10 - 1/5. Let u = 0.747 - 3.757. Let y = -1.99 + u. Which is smaller: a or y?
y
Suppose -94*d = -50*d - 8111 + 320071. Which is greater: -7091 or d?
d
Let z be ((-39)/12 - -3)/(-6 + (-27)/(-4)). Which is greater: z or 3/82?
3/82
Let j(a) = 2*a*