alue?
False
Let r be (28/540)/(7 + 228/(-30)). Let f = -58 + 59. Which is smaller: r or f?
r
Suppose -20*n + 3*u = -18*n - 33, 8*n - 3*u - 177 = 0. Which is bigger: 1 or n?
n
Let t be (-10)/(-128)*(262/110 + 326/(-1793)). Which is bigger: t or 0?
t
Let t = -450.6 - -407. Let s = 22.6 + t. Which is smaller: 2/5 or s?
s
Let u = 0.723 - 0.74. Let v = u + -0.042. Let a = v - 4.941. Is a smaller than -0.3?
True
Let w = -5421.2 + 5421. Let m = -5 + 3. Which is smaller: m or w?
m
Suppose 9*l + 17 = -37. Let w be (-10)/l*7/(105/(-46)). Let g = -1279/252 - w. Is g equal to 1?
False
Suppose 0 = 3*n - c - 58 - 345, -1 = c. Suppose -n + 17 = 9*y. Let m(w) = -w**2 - 7*w - 8. Let d be m(-6). Which is bigger: y or d?
d
Let d = -1393/12 - -574/5. Let n be 2/5 - (-7)/(-20). Let x = d - n. Is -1 >= x?
True
Let t = 0.146 + -67.146. Let u = -67.1 - t. Which is bigger: 139 or u?
139
Let t = 5 - 14. Let r(a) = -6*a + 10. Let p be r(t). Let d = -383 - -446. Is p bigger than d?
True
Let j(d) = 2*d**2 - 2*d + 2*d**2 + 0 + 0*d**2 - 2. Let b be j(-1). Let m be (-9)/36 - (-37)/b. Which is greater: m or 8?
m
Suppose 20 = 18*o - 34. Suppose 0 = -5*k - f + 209, o*f - 2*f - 125 = -3*k. Suppose -39*b - k = -33*b. Is -15/2 less than b?
True
Let n = -860 - 1707. Which is bigger: -2569 or n?
n
Suppose 5*f + 2*x = -4, -3*f - 4*x + 3 = 11. Let n(c) = c**3 - 12*c**2 + 11*c - 27. Let r be n(12). Let w = r - 419/4. Which is smaller: f or w?
f
Let f = -21.65872 - -0.02872. Let t = 0.63 + f. Let l = 21 + t. Is 1.2 smaller than l?
False
Let v = 15843 + -14367. Is 1475 greater than or equal to v?
False
Let d = 71 - 75. Let h = -91 + 82. Is d at least h?
True
Suppose -165239 = -50*t + 134561. Is t > 5998?
False
Suppose -12*s - 77 = -101. Let d = -6041/4 - -1501. Let y = d + 463/44. Is y greater than s?
False
Let c = -1026.758 - -1027. Let r = 290/417 + -4/139. Which is greater: c or r?
r
Let z = -3395 + 3407. Which is smaller: -3 or z?
-3
Let d be 18495/45*(4 + -1 + (-115)/3). Is d greater than -14522?
False
Let t be ((-46)/(-6))/(19/(-57)). Is t greater than -42?
True
Suppose -138*m = -127*m - 44. Suppose m*u + 1025 = 5*i, 4*i - 5*u = 74 + 737. Is i equal to 2?
False
Let n = -43.1 - -29. Let i = -71.1 - n. Which is smaller: i or -0.2?
i
Let f = -9438 + 9439. Are -0.00803 and f unequal?
True
Let o be (-119)/168*3 - (-1)/4. Suppose 6*l + 9 = -2*b + l, 0 = b - 2*l. Which is smaller: b or o?
b
Let c = 19269.557 - 19269. Which is smaller: -6/13 or c?
-6/13
Let z be (4/42 - (-4 + (-31625)/231)) + 7. Let l be (-902)/(-6) + 1/(-3). Which is smaller: l or z?
z
Let s = 129220 - 1221775106/9455. Is -1 < s?
True
Let i be 34/4 - (-10 + (-152)/(-16)). Suppose 2*r - 231 = -i*r. Which is smaller: 20 or r?
20
Let v(m) = -6*m**2 - 2*m + 19. Suppose 6*f + 33 = 51. Let o be v(f). Which is smaller: 3 or o?
o
Let t = 209.0028 + -0.0028. Let r = -213 + t. Is 2 != r?
True
Let g be ((-6)/9)/(4/(-18)). Suppose 0 = z + 1 - 0, -g*v = -4*z - 22. Let p be (2/1)/(-2)*(-1428)/204. Is p < v?
False
Suppose 127*t = 112*t + 420. Suppose -x + 0 - 7 = 4*g, 3*x + 21 = g. Which is bigger: t or x?
t
Let x be (-62)/124*2/3*1. Which is bigger: x or -49/136?
x
Let m = -652.845 + -0.155. Which is smaller: m or -14?
m
Let j = 101 + -101. Let z = 54 + -39. Let u = z + -9. Which is smaller: u or j?
j
Let b be (-17)/(-221) - 52542/684567. Is b != -1?
True
Let d = -0.372 - 248.628. Let s = 417 + d. Do 1/2 and s have the same value?
False
Let k be (-46)/4 - 1/(-2). Let q(g) = -g**3 + 5*g**2 - 5*g + 6. Let a be q(4). Suppose -20 = a*p + n, 8 - 40 = 4*p + 4*n. Which is smaller: p or k?
p
Suppose -46*n + 40*n + 2190 = 0. Let s = n - 372. Which is smaller: -43/7 or s?
s
Suppose -191*r = -200*r + 549. Is r greater than or equal to 1/17?
True
Let f = -147 - -158. Suppose 286 = 9*a - f. Which is smaller: a or 34?
a
Suppose -2*l + 1436 = 2*z, 86*l - 3590 = -5*z + 90*l. Which is smaller: 710 or z?
710
Let v = -223/32 - -2517/352. Which is bigger: 778 or v?
778
Let r = 7561 - 7556. Is -3304 at most as big as r?
True
Let d = -3.731 + 3.631. Is 3577 at least as big as d?
True
Let n be (-2)/(-10) + (-1635919)/(-1832655). Let l = n + -2/1149. Let f = -2 - -3. Which is smaller: l or f?
f
Let t = -2248.152 - -2239. Let p = 9 + t. Let v = p - 0.048. Which is bigger: -3 or v?
v
Let g = -625442/2409 - -2856/11. Let l(a) = -a**3 + a**2 - 1. Let u be l(0). Do u and g have the same value?
False
Let w be (1 + (-45)/10)*48/(-84). Let g be 1 + -2*(2 - 1). Let i be ((w/348)/g)/((-57)/(-76)). Which is smaller: i or -1?
-1
Let t be (-2)/7 - (-1888)/826. Let m = 107/4 - 4605/172. Is m != t?
True
Let o(c) = c**2 + 98*c - 847. Let h be o(-106). Which is smaller: 65/66 or h?
65/66
Suppose 20 = -3*x - 133. Let r = -43 - x. Let z(k) = 3*k - 18. Let g be z(r). Which is smaller: 40/7 or g?
40/7
Let y = 3161642874 + -774600581612/245. Let r = 7847 - y. Is r less than or equal to 1?
True
Let i(g) = 23*g + 5. Let p(z) = -2*z - 2. Let n(y) = -2*i(y) - 22*p(y). Let v be n(43). Is -52 smaller than v?
False
Let d be (2 - ((-12)/8)/3)/(6147/(-18)). Is d at most as big as 1?
True
Let j = -2297 - -2268. Is -77 greater than or equal to j?
False
Suppose -11*g + 72 = -35*g. Let z be (-3)/(13/26 - g/(-9)). Is z != -87/5?
True
Suppose -23*h + 20*h = 5*c - 572, 3*c - 340 = -5*h. Let o = 195 - c. Which is greater: 157/2 or o?
o
Let d = 13643/14650140 + -9/5396. Which is smaller: d or -1?
-1
Let q = -159940 - -160098. Let o = 422 + -263. Which is greater: q or o?
o
Let x = -1.842 - -1.8. Let s = 44.958 - x. Let o = -45.2 + s. Which is greater: 0.03 or o?
0.03
Let m = 109 - -38. Let d be m/3021 - (222/(-57) - -4). Are -1 and d non-equal?
True
Let f be (0 - -7) + -2 - 6 - 0. Let y be (116/(-36))/f + -3. Do y and -1.2 have the same value?
False
Let m be (-15)/2*(-13 - (-285)/(-45)). Is 151 greater than or equal to m?
True
Let m(p) = -6*p + 66. Let c be m(13). Let y be c/(-60) + 1749/(-120). Is -13 greater than y?
True
Suppose -2433*h - 815 = -2438*h. Suppose -648 = 3*l - 7*l. Which is smaller: l or h?
l
Let u be (2/4)/(3/36). Suppose -f - 2*f - 3*w + u = 0, -5*f - 25 = -2*w. Let y be (-3)/f*((-64)/22 - -3). Are -0.2 and y non-equal?
True
Suppose 500*g + 40932 = 473*g. Is g != -1?
True
Let m = -54.62 + 858.62. Is -2 at least as big as m?
False
Let p be 189/171 + (-2 - -1). Let n = p - -89/57. Suppose -47*d + 59 = -82. Which is greater: n or d?
d
Suppose -3*b + 140 = 128. Let a = -44 - -29. Is a at least as big as b?
False
Let d = -6029 + -7651. Let p be 2*1/5 - (-5312)/d. Suppose 7 = 11*u + 18. Is u less than or equal to p?
True
Suppose 0 = -0*v - 3*v - 78. Let c be 2 + 1 - (-82)/v. Which is greater: c or 1?
1
Let w(h) be the second derivative of -h**3/3 + 27*h**2/2 + 238*h. Let k be w(16). Is -106/19 at most k?
True
Let p = -0.7 + -10.5. Let m = -10.73 - p. Let f = m - -20.53. Is -1/5 greater than f?
False
Let c be (13*(-3)/9)/(187/(-22)). Is 0 less than c?
True
Let r(k) = k**2 + 22*k + 3. Let v be 0/((-12)/2) - (-150 + 0). Let x = -172 + v. Let u be r(x). Is u bigger than 3?
False
Suppose 4*r = 5*i - 83, r - 1 = -3. Suppose 5*h - 25 = 0, i = 4*z - 5*h - 140. Let l be (-18)/z + 2/((-40)/(-18)). Which is smaller: -16 or l?
-16
Let s be (2/274)/(-75 + 50). Are -1 and s nonequal?
True
Let r be 7/(-49) - 548/(-210) - 5/3. Is -649 greater than r?
False
Let v be -10 + 43/((-301)/3276). Is -481 at least as big as v?
False
Suppose -25*r = -21*r - 928. Let x = -201 + r. Which is smaller: x or 30?
30
Let w = -27.065 - -0.065. Let b = 23 + w. Let m = 19.6 - 20.2. Do m and b have the same value?
False
Suppose 344 = -3*n - k, 8*n - 9*n + k - 112 = 0. Let g be n/57 + 6*-1*1. Which is greater: g or 4?
4
Let n be (-1028)/(-1141)*((-2799)/(-534) + -5). Let v = 36/163 - n. Is -1 at most as big as v?
True
Let h(r) = -40*r - 3241. Let z be h(-76). Which is smaller: -206 or z?
-206
Let b = -21743 + 21837. Which is bigger: b or 1798/19?
1798/19
Let d = 15437/9 + -1715. Which is greater: 16 or d?
16
Let d be (75/(-6))/(-5)*(-51)/(2550/5560). Let v(b) = -34*b**3 - 3*b**2 + 4*b - 3. Let z be v(2). Is z < d?
True
Let p = 278 + -250. Let m be (-104)/p*35/(-5). Is -1/8 <= m?
True
Suppose -315*y + 280 = -325*y. Which is greater: -18 or y?
-18
Let f = 105599081/261 + -404595. Let p = f + -2/29. Suppose -168*s + 78 - 4