?
True
Let i be 1 + (2*-4)/((-6)/3). Suppose 10 = -i*z, -3*t - z + 5 = z. Let a be (4/t)/((42/(-9))/(-1)). Which is smaller: a or 0?
0
Let m(q) be the second derivative of -q**4/12 + 3*q**3/2 - 4*q**2 + 4*q. Let h be m(8). Let f = -621865/97 - -6411. Which is bigger: h or f?
f
Let r = 1.5597 - 1.6597. Is r < 3659?
True
Suppose -8 = -2*k, -v + 2*k = 12 - 7. Suppose 2*q + 6*f - 2*f = 34, 0 = -v*q - 2*f + 31. Let b = -0.39 + -0.01. Which is smaller: q or b?
b
Let g(j) = 102*j + 926. Let y be g(-9). Which is smaller: 7 or y?
7
Let f be 5/2 + 33682/(-44). Which is bigger: -764 or f?
f
Let r be (-12 - (130 - -13))/((-2)/(-10)). Which is bigger: -2324/3 or r?
-2324/3
Suppose 10*t - 28 = -98. Suppose -3*l + h = -4*h + 41, -2*h = -5*l - 43. Is t at most l?
True
Let p = -1.02 + -137.98. Let i = p + 142. Which is smaller: i or -3/8?
-3/8
Let v = 6458 + -6526. Let x = -87 - -28. Let k = v - x. Which is greater: k or -17/2?
-17/2
Let z(n) be the third derivative of n**5/20 + 5*n**4/24 - 75*n**2. Let f be z(-4). Are f and 29 equal?
False
Let f = 10.23 + -10.953. Let g = -0.277 + f. Is g != -0.128?
True
Let u(b) = -8*b + 20. Let j be u(1). Suppose f = 5*f - 5*s + 95, 47 = -2*f + 3*s. Let a be ((-2)/(-4))/((-1)/f). Are j and a non-equal?
True
Suppose r - 5*u = 23, 5*r - u = -6*u - 35. Let k be (-39)/(-84) + r/8. Suppose -5*b + 18929 = a + 18870, -3*a - b + 9 = 0. Is a >= k?
False
Let l = -16.353 + -0.247. Let g = -13.6 - l. Is g <= -11?
False
Let g = -33 - -44. Let c = g - -14. Let i = 38 - c. Which is bigger: 0.1 or i?
i
Let b = -9915 - -8388. Is b < -1526?
True
Suppose 3 = f - 2. Let u(t) = t**2 - 18*t - 131. Suppose -r + 24 = -4*y, 25*r - 30*r + 24 = -4*y. Let i be u(y). Which is bigger: f or i?
i
Let c be 1*(2 - 1)*126. Suppose -c - 34 = -5*f. Let q(x) = -22*x - 11. Let w be q(-2). Which is bigger: w or f?
w
Suppose 7 = -5*k + 17. Suppose -2*n + k*j - 292 = 0, 0 = 5*n + j + 803 - 79. Is -144 smaller than n?
False
Let z(m) = m - 10. Let y(g) = -g**2 - 9*g + 1. Let k be y(-9). Let s be 8 - (-1 + -3)/k. Let h be z(s). Which is greater: 4 or h?
4
Let c be ((-10980)/(90/(-6)))/(-2 + 34/20). Which is greater: c or -2435?
-2435
Suppose 249 = 9*o + 186. Let t(w) = -w**2 + 12*w - 33. Let r be t(o). Is 5 < r?
False
Let w be 25 - (1/1 - 2)*-1. Let b be (2/8)/(w/22 - 1). Which is bigger: b or 3?
3
Suppose 0 = -2*j + 2, -j + 5*j - 187942 = -3*z. Let b be (-8 - z/(-7830))*5/(-2). Which is bigger: 0 or b?
0
Let u be (1 - -2) + (23 - 37) - -5173. Which is smaller: u or 5164?
u
Let s be (-6)/(((-13)/78)/((-165)/(-27))). Is s at most as big as 218?
False
Let s(h) = 682*h - 106. Let d be s(3). Let l be 170/935 + d/(-22). Which is greater: -89 or l?
l
Let c be (3*(-2)/105)/(4/((-80)/12)). Which is smaller: c or 278?
c
Let m = 5900 + -5926. Which is bigger: m or -22?
-22
Let y = -605374308462/4601 - -131574509. Let u = 70/43 - y. Which is greater: u or -1?
u
Let n be (13/(-130))/(2/96) - -5*1. Is n > -139?
True
Let p = 2510.2 + -2510. Which is smaller: 6136/9 or p?
p
Let r be (5 - 3 - 5)*(-52)/(-6). Let x = r + 30. Suppose -x*s - 15 - 17 = 0. Which is bigger: s or -27/4?
-27/4
Suppose -3*h + 313 = 5*i, -3*i = -0*i + h - 191. Let a be (-66)/(-8)*(-20)/i. Is a >= -2?
False
Let n be (1/134)/((-10)/691420). Let z = n + 516. Let g = 0.26 - 0.16. Which is bigger: z or g?
g
Let h = 728 + -1028. Let t be 3502/(-12) - 16/24. Let n = t - h. Which is smaller: n or 9?
n
Let z be (-675035)/225 + (-48)/108 + 6/10. Which is bigger: -2999 or z?
-2999
Let x(j) = 2*j**2 + 9*j + 1112. Let c be x(32). Which is smaller: 3449 or c?
c
Let y be -5 - (92/(-5) - -5 - -7). Is y < -816?
False
Let l be -1 + -1 + (0 - (-14755)/7395). Do 1 and l have different values?
True
Let f be (-2)/7 - (-194)/(-7). Suppose -177 = 4*r + 3*a - 67, -a = 2*r + 56. Are r and f equal?
False
Let s be 212/2*(-1 + 104 - 11). Which is bigger: s or 9751?
s
Let s be (-667)/(-174)*-6 + 23. Let n = 10.2 - 10. Is s <= n?
True
Let c be (-382)/(-7) + (240/(-35))/12. Let a = 296 + -241. Is c equal to a?
False
Suppose -2*o - 50 = -3*m, -4*m - m + 4*o + 84 = 0. Suppose 2*x + 8*x = 0. Suppose -a = -n + 2, x = -a - 2*n - 4 + 2. Is m less than a?
False
Let j = -1.42 - -1.4. Let m = 0.53 - 0.21. Let d = j + m. Are d and -1/6 non-equal?
True
Let v be (-1 - -1)/((-2)/3*-3). Suppose 5*p - 5*y + 1135 = v, -3*y - 442 = 2*p - 2*y. Which is smaller: -225 or p?
-225
Let i be -20 - (189 + -21)/(-8). Which is greater: -4/4331 or i?
i
Let p(r) = -2*r**2 + 11*r + 34. Let z be p(8). Let c be z/(-14) + 180/(-28). Let x(t) = t**3 - 5*t**2 + t + 5. Let q be x(4). Is q >= c?
False
Let k = 3.46 - 4.019. Let u = 0.029 + k. Let a = u + 0.03. Is 1/2 less than or equal to a?
False
Let h = -4 - -1. Let d(q) = q**2 + 2*q + 22. Let i be d(0). Let x be 2/((-100)/i - -4). Is h at least x?
True
Let l be ((-5)/(0 + 1))/(165 + -164). Is l greater than or equal to -13?
True
Let a = 64812658/2760681 + -18517/777. Let o be 9/(-323)*(-6)/18. Let c = a - o. Which is smaller: 0 or c?
c
Let g(o) = o**2 + 128*o + 46. Let l be g(10). Which is smaller: l or 1422?
1422
Suppose -5*f + 45 + 5 = 0. Suppose -15*t + f*t - 240 = 0. Is -47 > t?
True
Let u = 3.98 - 3. Let h = -1.1 + u. Let o = 1.12 + h. Which is smaller: o or 1/15?
1/15
Let y = -15557 + 4962717/319. Which is greater: y or 0?
y
Let z be (-306)/(-714)*14/6. Is z equal to -1/10798?
False
Let p = -90.4 + 160. Let d = p - 65. Which is bigger: d or 2/9?
d
Let h(r) = -r**3 - 3*r**2 - 1. Let q be (3/(-1))/(3/2). Let j be h(q). Let f be (-9)/j - ((-40)/4)/(-5). Is 0 <= f?
False
Let q = -4361 - -52327/12. Is q greater than or equal to 14?
False
Suppose 7*i - 114 = i. Let w(k) = -k**2 + 0 + 3 + 19*k - 1. Let n be w(i). Which is smaller: n or -0.2?
-0.2
Suppose 0 = -b - 3*p + 1086, 4*b = 3*p + 1266 + 3123. Is b greater than -1?
True
Let m = 1025 - 1024.8. Let q be (2/4)/((-2)/(-20)). Let s be (-2 + q/2)*-1. Which is smaller: s or m?
s
Let u = 2.1 + -1.92. Let w = 1/43358 + -54199/65037. Which is greater: u or w?
u
Let j = -4498 + 8854. Suppose 1215 + j = -9*d. Is d at most as big as -619?
True
Let j = -1819 - -1648. Is -0.2 at least j?
True
Let l = -6312 - -6373. Is 187/3 >= l?
True
Let d = 3666 + -1132795/309. Do 1 and d have the same value?
False
Let p = 12277 - 12276. Is p >= -1/2290?
True
Suppose q + 25 = 6*q. Suppose 2*m = -q*f + 23, -m - 10 = -5*f + 1. Suppose -3 = -f*h + 9. Is h bigger than 6?
False
Let w = -3 - -7. Suppose 3 = -3*t, 5*j = 2*j + 4*t + w. Let r = -924/1079 + 20/83. Which is bigger: r or j?
j
Let h = 65 + -132. Let f be (-10)/(-4)*(-16072)/588. Are f and h equal?
False
Suppose 5*z - 4*z - 1 = 0. Let a be ((5 + 3)*-1)/(2/52). Let v be (-51)/(-85) - a/(-230). Which is bigger: z or v?
z
Let v = -73.76 - -75.505. Which is smaller: v or 0?
0
Let s = -0.0101 + -0.6299. Let g = 10 - 10.36. Let w = g + s. Which is smaller: -3/37 or w?
w
Suppose -17*u = 14 - 65. Let z = -4 - -4. Suppose z = -5*w - 2*x + 1, -u*x + 6 = -3. Which is smaller: w or -2/15?
w
Let d = 2.2736 + -0.2736. Which is smaller: d or 1176?
d
Suppose 2*x = 2*j - 26, 5*j + 2*x = 46 - 9. Let h be 764/36 + -5 - 4/18. Let p(l) = 2*l**2 - 30*l - 24. Let f be p(h). Which is greater: j or f?
j
Suppose -5*q = -2*z - 1553, 5*q = -4*z - 75 - 3106. Is z bigger than -788?
False
Let f be ((-6)/(-63))/((-77032)/9632 - -8). Which is greater: f or 2/15?
f
Let x be (29/2 + -7)*6. Let m = 139 - 416/3. Is m <= x?
True
Let q = -99/280 + -13/280. Which is smaller: q or 5061?
q
Let d = -11308/3 - -3765. Is d at most -4?
True
Let w(y) = -53*y - 4. Let j be w(2). Let t be -1 - 5/(-7) - j/(-7). Let k be ((-228)/t)/(-1*(-3)/12). Is 58 <= k?
False
Suppose 16*t - 26760 = 25032. Let k = 16337/5 - t. Which is greater: 30 or k?
k
Let c(a) = a**2 + 6*a + 9. Let b be c(-4). Let y be (33/11)/(1 - (-10518)/(-10474)). Let j = -714 - y. Which is bigger: j or b?
b
Suppose -5*r = -t - 105, 2*t = -3*r + 47 + 29. Suppose -y + 14 = 4*d, -3*d - 884*y + 18 = -882*y. Let z be -2 + (r - (-3 + d)). Which is bigger: 20 or z?
z
Let o be (-1 + (-64)/(-50))*(-730)/(-155855). Is o at least as big as -1?
True
Let a(b) = b**3 - 48*b**2 + 17*b + 1024. Let g be a(48). Which is greater: 5522/3 or g?
5522/3
Let u(x) = x**2 - 31*x + 459. Let v be u(24). Is 286 at most as big as v?
True
Suppose -10 = 2*f + 3*f