-30/19
Let u = -835 + 835. Suppose u = -4*z + 2*i + 7 + 41, i + 10 = z. Which is greater: 13 or z?
z
Let m(l) = 129*l - 57. Let a be m(3). Suppose 12*h - a = 17*h. Is h < -66?
False
Let d(r) = 7*r**2 - 16*r - 39. Let t be d(-3). Which is bigger: t or 76?
76
Let t = 73603 - 16413427/223. Let r = -7880/39471 + t. Suppose 3*y + 0 - 3 = 0. Which is bigger: r or y?
y
Let a(s) = -28*s**2 + 17*s**2 + 44*s + 17*s**2 - 4*s**2 - 18. Let m be a(-24). Is m < 79?
True
Let w = -12 + 7. Suppose -120 = 18*q + 59*q + 111. Which is smaller: w or q?
w
Suppose x - 13 = 7. Suppose -6*p + p = x. Let t be p/3*(-24)/(-16). Which is smaller: t or 0.3?
t
Suppose 11 = -9*q + 10*q. Suppose 3*c - 4*l + q = -0*c, 2*c - l = -4. Let p be (c/(-2) + 1)/(-10). Which is bigger: p or 0?
0
Let w(n) = 451*n + 6294. Let j be w(-90). Do -34296 and j have different values?
False
Let h = -34.692 + 34.592. Which is smaller: h or 1191.1?
h
Let s = -0.042 + 0.982. Let o = -4.45 - s. Let z = -5.4 - o. Which is smaller: 2 or z?
z
Let m be (-62)/(-32) - 22/(-352). Are m and 130 nonequal?
True
Let j = -77595/31 - -2503. Which is smaller: j or 3/46?
j
Let d be ((-51)/(-119))/(1/(-3)). Suppose -28 = -2*h - 2*h. Let f(g) = -g + 7. Let j be f(h). Do d and j have different values?
True
Let n be 322/(-42) + ((-4)/(-8))/((-2)/(-16)). Suppose -2*t + 8 = 3*p + 2, -3*p = 4*t - 12. Let x = n + t. Which is smaller: x or 0?
x
Let z = 64206210463/285 + -225285957. Let j = -1008 - z. Which is smaller: -1 or j?
-1
Suppose 1384 = 18*z - 1154. Let m = z + -142. Is 2/155 > m?
True
Let v = -4141 + 4004. Is -0.1 greater than or equal to v?
True
Let l = -514024975 - -8229553905/16. Let y = l + -322354. Let g = y + 210. Which is greater: g or -1?
g
Let w be (-130)/(-50) - 4/(-10). Let h be 2/6 - (-23)/w. Let l = h - 5. Which is bigger: l or -0.04?
l
Let k be (369/(-18) - -19)/((-334)/(-4)). Which is smaller: -2/5 or k?
-2/5
Let n = 0.32 - 194.32. Let s = 112 + n. Let w = s - -84. Is w at least as big as -0.9?
True
Let x(z) = -2*z**2 + 24*z + 57. Let m be x(14). Let b(c) = c**2 - 12*c + 12. Let i be b(11). Let l be 34/(-33) + i + 0. Which is smaller: m or l?
l
Suppose 8*q - 29*q + 9891 = 0. Let f = q - 472. Which is smaller: -6/197 or f?
f
Suppose -16 = -15*y + 13*y. Let c be (-1 + 1127/1134)/(6/y). Is 1 greater than c?
True
Let f be (1/(-8))/((-12)/16). Let v = -65.118 - -65. Let u = 0.018 + v. Which is smaller: f or u?
u
Let q = -0.05 + -0.234. Let j = q + -0.616. Which is smaller: -5 or j?
-5
Let g(j) be the first derivative of -j**2/2 + 3*j - 18. Let x be g(2). Let m be -1*(31/x + (-15)/15). Which is greater: -31 or m?
m
Let d(m) = m + 2. Suppose -3*x + n + n = -29, -4*n = 16. Let j be d(x). Let r(b) = b**3 + 188*b**2 + 1609*b - 347. Let o be r(-179). Which is smaller: j or o?
j
Let h = 915 + -542. Suppose 0 = h*n - 367*n - 78. Is n bigger than 13?
False
Suppose 4*v + 400 = -4*f - 100, -2*v - 256 = 3*f. Are v and -112 equal?
False
Let a be (-2)/10 - 4853634/(-2120). Which is smaller: a or 2290?
a
Let v = -5345 + 5346. Is v at most 77/89?
False
Let y = 311 - 395. Let l be (-1)/(-2)*(4 + y/18). Which is smaller: 190 or l?
l
Let p(u) = -63*u - 503. Let j be p(-8). Which is greater: -17/41 or j?
j
Let j = 97.7 - 103. Let s = -9.3 - j. Is -20 less than or equal to s?
True
Let w(t) = -t**3 - 17*t**2 - 39*t - 29. Let m be w(-16). Let n = m + -638. Let v be -1 + 1 + n/(-13). Which is greater: v or 0?
v
Let t be 5*1 + (-200)/10*1. Let x be ((-1)/(-5))/(92/t). Which is smaller: x or 0?
x
Let l = -138925/447 - -932/3. Which is smaller: -1 or l?
-1
Let m = 3 + 2. Suppose 4*t - m*z = -2*z + 168, t = -3*z + 27. Let u(q) = 38*q**2 + q. Let k be u(1). Is t bigger than k?
False
Let r(v) = 23*v + 788. Let f be r(-34). Which is greater: 34 or f?
34
Let y(b) = -28*b - 9. Let k be y(5). Let s = -144 - k. Suppose 0 = 2*i - 7*i + 10. Which is smaller: i or s?
i
Let w be (4696/(-20))/((-22)/(-55)). Let a = w - -588. Let v = -2922 + 125652/43. Which is smaller: a or v?
v
Let g = 749 + -496. Let n = g - 146.8. Let p = n + -107. Is p greater than 2/3?
False
Suppose 13*w = 8*w - 5. Let j = 6 + -14. Let z be (-27)/(-18)*j/78. Is z bigger than w?
True
Let o(z) = 2*z + 15. Let l be o(-7). Let h be -1 + 52*l/1. Suppose 11*x = -59 - h. Which is greater: x or -5?
-5
Let p be (-113 - -5)*(-20)/(-78). Let i be (-5)/90 + 83915/(-3042). Let z = i - p. Which is smaller: z or -4?
-4
Let m = 26728 - 26121. Which is bigger: 15 or m?
m
Let l = 0.1694 - 0.2694. Which is smaller: l or -0.0131?
l
Let k(f) = -758*f - 4159. Let r be k(-5). Let u(t) = -93*t + 3. Let z be u(4). Is z bigger than r?
False
Let v(y) = 3*y + 84. Let k be v(-18). Let b = k - 59. Which is smaller: b or -19?
b
Let f be -3 - -346*(6 - 4). Suppose -7*o - f = 452. Is -165 greater than or equal to o?
False
Let p = 3.6531 - -0.3469. Let t = -0.3 + 0.14. Is t at least p?
False
Let g = -8.7 + 8.886. Let w = g + 0.014. Let r = 11 + -9. Is r greater than or equal to w?
True
Suppose 0 = -0*i - 2*i - 5*m + 21, 0 = -4*m + 20. Let t be (2 + (35/i)/(-5))/7. Let z = t - 197/224. Which is bigger: -1 or z?
z
Let l be (4/(-2 - (-24)/3))/((-46)/6969). Let v be 0 + -1 + 114/1. Let w = l + v. Are 12 and w equal?
True
Suppose 0 = -10*a + 167 + 863. Let h = a + -318. Is h at most as big as -213?
True
Let o(r) = -2*r**2 + 5*r + 2. Let a be (-4 + 9 + -8)/(2/(-2)). Let j be o(a). Let l be 6/(-116)*-18 - 1. Which is smaller: l or j?
j
Suppose 4*f = -4*h - 24, -5*f - 4 = h + 42. Let n be ((-22)/(-4))/(9 + f). Suppose -5*p + 11 - 66 = -5*a, -5*p + a - 35 = 0. Which is greater: n or p?
n
Let m = -18171/4 - -4543. Is 3852 less than m?
False
Let o = -865 - -879. Let j be 2 + (8 - o) - 7*2. Let q be (-2)/8*(-2)/(-2). Which is greater: j or q?
q
Let o = -617 + 566. Let m = 70 - 10. Let z = m + o. Is z less than 4?
False
Let k = -686 + 685.949. Is k not equal to 3?
True
Let b = 26963 - 27125.413. Let m = 163.5 + b. Let o = -0.087 + m. Which is smaller: 1/2 or o?
1/2
Let y = -1037/12 - 181/3. Is -146 at most y?
False
Suppose 59 = 13*a + 20. Suppose 14*z - 13*z = -3*m - 79, 5*m + 155 = a*z. Is m at least as big as -29?
True
Let a = -1828 - -1851. Let c = 573.08 + -550. Let g = a - c. Which is bigger: g or 0.2?
0.2
Let g = 0.00323 + 0.01517. Which is bigger: g or -2/7?
g
Let u(s) = 152*s**2 + 7*s - 1. Let h = -5 + 6. Let v be u(h). Which is smaller: v or 159?
v
Suppose -41 - 67 = 4*z. Suppose 0*u - t = u + 3, 3*t = 3*u - 21. Suppose v + 81 = -u*v. Is v at least z?
True
Let s = -2869 + 3564. Is s less than 693?
False
Let z be (-80340)/(-17) - (-10 + (1512/51)/3). Which is greater: 0.1 or z?
z
Let p = -165055 + 2240621627/13575. Which is smaller: p or 0?
0
Suppose -29 = 6*z - 533. Suppose 87*n - 85*n = -z. Let h be ((-6)/(-15))/(n/(-180)). Is h < 3?
True
Let q = 6.6 - -14. Let t = q + 5.4. Let g = t + -26. Is g < 0.04?
True
Let m = -2125 + 3196. Is m <= 0.03?
False
Let b be (-20)/(-1)*(0 - -1). Let s(i) = 54*i**2 + 5178*i - 575. Let n be s(-96). Which is smaller: n or b?
n
Let w = 791 - 458. Let v = w - 332. Which is smaller: -1/81 or v?
-1/81
Suppose 10 = 2*p - 2*g, 3*p + 5*g + 13 = 2*p. Let y be p/5*(-8 - -3). Which is bigger: y or -28/15?
-28/15
Suppose s = 3*m - 27, s + 3 = -5*m - 0*m. Is s at least -164/9?
True
Let h = -3908 + 3908. Is h greater than 9/1522?
False
Suppose 0 = -c - f + 2, c + 5 = -5*f - 5. Suppose 2*n - c*n = 4*y - 26, 0 = n + 4*y + 2. Let b = n + -22. Is b smaller than -3?
True
Let d(a) = 41*a + 375. Let z be d(23). Which is smaller: z or 1319?
z
Let i be -1852 + (-13 + 20 - -11). Which is smaller: i or -1833?
i
Let h = -1123 + 5309. Which is bigger: h or 4185?
h
Let b = 511 - 267. Is b smaller than 244?
False
Let f = 3174 + -3174. Is f greater than 91?
False
Let d = 17655/4 + -4414. Which is smaller: d or -1162?
-1162
Let a = 1656485/13223 + 24/1889. Which is greater: a or 126?
126
Let x be 3 + (-42)/18 + (-5288)/(-24). Which is smaller: x or -8?
-8
Let p(a) = -2*a**2 + 27 + 3*a**2 - 20 + 0*a**2 - 3*a. Let f be p(-4). Let w = -43 + f. Which is smaller: w or -5?
w
Let g be (((-2)/2)/(6 + -7))/(36/(-36)). Which is greater: g or -1/5778?
-1/5778
Let s = -23714 - -22264. Which is greater: 0 or s?
0
Let a(w) = -1238*w - 2480. Let l be a(-2). Which is bigger: l or 641/7?
641/7
Let b(j) = -j**3 + 2*j**2 