*f + 32, 0 = 4*f + 12. Suppose 3*y + 5*u = 102, 2*y = a*y + u - 192. Let p = y - 40. Is -2 < p?
True
Let u be (2/6)/(2/(-6)). Let j = 42 + -185. Let o = j + 143.8. Is o > u?
True
Let b = 802 + -903. Let n = b + 117. Which is smaller: -1/2 or n?
-1/2
Let l be 6/(-12)*2 - 83. Let z = -333/4 - l. Does 3 = z?
False
Let b = 113 + -161. Let o be 14/(-45)*b/(-14). Which is smaller: -0.2 or o?
o
Let p(o) = -2*o + 11. Let z be p(4). Suppose 3*v + 0 - z = 0. Let u = -653/432 + 23/16. Is u greater than v?
False
Let l be (-101943)/135828 + -3 + 55/20 - -1. Are l and 1 equal?
False
Let k = 3755/2812 - -110157857/182780. Let y = k + -604. Is y at most as big as -1?
False
Suppose 14*c - 275 = 3*c. Suppose -6*r + 46 = -92. Which is smaller: r or c?
r
Let v = 0.703 + -0.696. Let p = -0.007 + v. Does p = 11/8?
False
Suppose -26687 - 28277 = -15*q + 581. Is 3701 <= q?
True
Suppose 4*d - b + 97 = 0, 47*d - 50*d + 4*b - 76 = 0. Is d != 59?
True
Let p be (-4)/(-5 - (4 - 13)). Which is smaller: p or 3/124?
p
Let k = 7708/3 + -2569. Let c(a) = -27*a + 9. Let v be c(-8). Let l = v - 3373/15. Which is smaller: k or l?
l
Let u be 1/(-4) - 265/(-4). Let r be u/4*(-4)/3. Suppose -347*g - 6401 + 4507 = 5393. Is r not equal to g?
True
Let c be 8/((-537)/(-9)*-1). Let y = 2242/1969 - c. Do -0.1 and y have the same value?
False
Let c(j) = -j**3 - 17*j**2 - 35*j - 67. Let o be c(-15). Suppose -o*r + 33 - 41 = 0. Which is bigger: r or -5/41?
-5/41
Suppose 11*f - 83*f + 128160 = 0. Is 8896/5 >= f?
False
Let k = -19224868/23 - -836267. Let z = k - 403. Which is smaller: 1 or z?
z
Let r = 3539 - 3266. Which is smaller: 0.7 or r?
0.7
Let a = 797 - 797. Suppose a*z - 768 = 8*z. Is -96 at least as big as z?
True
Suppose 305 = -2*s + 249. Let j = s + 26. Which is smaller: -3 or j?
-3
Let d(t) = t**2 - 39*t + 181. Let p be d(5). Does p = -0.8?
False
Let l = 0.3 + -0.1. Let f = 500 + -493.74. Let d = -1.26 + f. Which is smaller: l or d?
l
Let j be (-170 - -174)/(3 + 1). Which is bigger: j or -1/675?
j
Let q(b) = -86*b**2 - 59*b + 60. Let o be q(1). Is o equal to -82?
False
Let a be 23/(-5)*(-1 - 3 - 1). Suppose 0 = -3*n + a - 26. Which is greater: n or 4/29?
4/29
Let a = 14605 - 14593. Is 98 <= a?
False
Let y be -109 - (-5 - (5 - 7)). Let t = 111 + y. Suppose -t*r = -57 + 37. Which is greater: 2 or r?
r
Let k = -0.759 - -0.359. Is 30.1 >= k?
True
Suppose -37*b + 2*h - 122 = -39*b, 0 = -5*b - h + 289. Which is greater: 225/4 or b?
b
Suppose -4*o + 9488 = -2*j, 0 = -4*j - 446*o + 447*o - 18990. Is -4748 <= j?
True
Suppose 0 = -2*m - o - 2, 2*m - 5*o = 2 - 28. Let n be 36/(-10) - m/5. Which is smaller: n or -30/17?
n
Let a be (-11 - 0) + 25/40050*30582. Which is smaller: 9 or a?
a
Suppose 5*m = -2*n - 26, -2*m - 7*n + 9*n + 12 = 0. Which is smaller: m or -63/80?
m
Let r = 37 + -40. Let s = 29.77 - 30. Let x = s - -0.23. Are r and x non-equal?
True
Let k = -48.6 + 46.31. Let f = k + 3.89. Which is smaller: 0 or f?
0
Let i be 2653462/72177 - (-4)/7. Let x = i + -2/1473. Is x < 37?
False
Let s = 213 - 212.965. Let y = s - -0.145. Which is smaller: y or 0?
0
Let m = 5 + 5. Let f = 45959/9 - 5113. Let l = f + 20/3. Is l >= m?
False
Suppose 4*o = -12, -f - 4*o = -2*o + 41. Let v(l) = 104*l - 278. Let z be v(3). Let s = z + f. Which is smaller: s or 1/12?
s
Let h(u) = -24*u**3 + 3*u**2 - u - 14. Let d(t) = -25*t**3 + 2*t**2 - t - 11. Let b(o) = 4*d(o) - 3*h(o). Let w be b(-1). Is w < 51/2?
False
Suppose -3864 = 3*q + 3*k, 31*k = -q + 32*k - 1276. Is q at least -1282?
True
Let y = -0.1062 - 65.5938. Let n = y - 195.3. Is 1 < n?
False
Let k = -57 - -22. Let u = 1.16 + -35.16. Let w = k - u. Which is greater: w or -83?
w
Let t = 95 + -65. Let i be 6/t - 58/190. Let c be (-24)/(-192) - (-2)/32*-6. Which is bigger: i or c?
i
Let p = 3510263303/19699 - 178195. Let s = p + -38872/5180837. Is 2 at least s?
True
Let o = -254 - -258. Suppose 0 = -0*w - o*w - 296. Are w and -75 unequal?
True
Let b(w) = -w**2 - 7*w - 3. Let v be b(-7). Suppose -206*z = -207*z - 4. Let n be (1/v)/(z/(-12)). Is -6 less than n?
True
Suppose -9*b + 8*b = 558. Let j be (-2742)/b + 5/((-1)/1). Which is smaller: -1 or j?
-1
Let p be ((-93)/434)/(2304/98). Which is smaller: 0 or p?
p
Let o = 2082 - 2499. Is o <= -418?
False
Let v be (21/(-6) - -4)*8. Suppose 3*s - z - 1 = 0, -v*s + 2 - 5 = 3*z. Suppose -3 = -s*n + 3*n. Is 3/10 equal to n?
False
Let x be ((-90)/60)/((-1)/110). Suppose 0 = 4*l - x - 11. Let q = l - 47. Is -1 < q?
False
Let y = -1/97 - 284/679. Is -321 smaller than y?
True
Let o be (-18)/2952*(-695962)/(-18). Let z = 2122/9 + o. Which is smaller: -1 or z?
-1
Let a(o) = o**2 - 53*o - 24. Let r be a(64). Is 670 greater than r?
False
Suppose 16*y - 207 = -159. Which is smaller: y or 20/7?
20/7
Suppose 2*w = 9*w - 3150. Suppose -g - 348 = -4*v - 0*g, -5*g = -5*v + w. Suppose -d - 83 = f + 3*f, 4*f + v = 2*d. Is f < -21?
False
Let p = 27581 - 28379. Which is bigger: -797 or p?
-797
Suppose 4*d + 4*v - 3032 = 0, -d + 11*v - 15*v = -764. Which is bigger: d or 757?
757
Let k = -4.05 + 0.05. Let m = 2.164 - 1.844. Which is bigger: k or m?
m
Let k be ((-36)/8)/(40/(-1200)). Which is smaller: 102 or k?
102
Suppose x = 5*x - 20, -y + 5*x = -3. Let g = y - 26. Let o(q) = -q**3 + 3*q**2 - 4*q + 3. Let m be o(g). Which is greater: -4 or m?
m
Let n(j) = -j**3 + 38*j**2 + 39*j + 2. Let m be n(39). Let g = 0.4 + -0.4. Let x = -13 + g. Is x at least as big as m?
False
Let y = -4 + -49. Let w = y + 43. Let u be (-10)/4*4/1. Is w greater than u?
False
Let b(p) = -63*p + 2336. Let r be b(37). Suppose -2*k - 2*k = 24. Is r >= k?
True
Let s = -613.39 + -7.61. Let h = -715 - s. Which is bigger: 1 or h?
1
Suppose -3 = 3*s, -s - 9 = -p - 23. Let z be p/(-9)*18/(-15). Is -21/19 smaller than z?
False
Let z be 3289/(-10120) + (-2)/(-16). Which is smaller: 868 or z?
z
Let d(p) = -15*p - 360. Let x be d(-24). Which is smaller: x or 2/1035?
x
Let n be 1/2 - 132/(-24). Let f be (-115)/57 - (4 - n). Let m = f - 94/57. Which is bigger: m or -1?
-1
Suppose -22*q = -79*q - 1938. Suppose 0 = -3*s + 6, -3*s + 172 = -5*f - 2*s. Is f smaller than q?
False
Suppose -23*j = -29*j + 558. Suppose j - 183 = 3*s. Let r be (-1)/6 + (-716)/24. Is s >= r?
True
Suppose 3*c + j = -2524, -2*c = 3*j - 376 + 2061. Let v = 613 + c. Is v equal to -228?
True
Suppose 5*b - 4*n = 698, -3*b + 273 + 144 = -3*n. Let i = b - 117. Which is greater: 23 or i?
i
Let h(n) = 23*n - 482. Let k be h(21). Which is smaller: 1/2923 or k?
1/2923
Let l be (0/(-2))/3 - (-4 + 1). Suppose l*g + 2*t = 374, t = 4*g - 0*t - 506. Which is smaller: g or 128?
g
Let w = -451600 + 451629. Let q = -0.01 + -0.29. Let l = q + 0.1. Are l and w equal?
False
Let t = -68 - -65. Let x be (-9 + 2 - -4)/t. Is 2/55 at most as big as x?
True
Let v be -2 - (-1)/(5/120). Suppose 0 = -p - 24 + v. Let x be (p/3)/(122/3). Is x smaller than 0?
True
Let s = 1 + -1.2. Let o = s - -0.3. Let l be (-81)/(-11) - ((-24)/297 + 240/540). Which is greater: o or l?
l
Suppose -1382 = 2*a + 4*v, -2*v + 1204 + 1510 = -4*a. Which is smaller: -679 or a?
a
Let g = 3632/15 - 242. Let q be 7/(-2)*(-25 - (-32 + 9)) + -5. Which is smaller: g or q?
g
Let x = -9498 + 9493. Is -4 at least as big as x?
True
Let c be (-268184)/(-390) + 1 + 36/27. Let a = 690 - c. Is a greater than or equal to -2?
True
Let u be (-25)/(-30) + 43/(-86). Which is bigger: u or 0.3209?
u
Let w = 23791 + -499519/21. Let x = w + -9137/2100. Let b = -18/25 - x. Which is bigger: -5 or b?
b
Let c = 311 + -513. Let o = -197 - c. Does -7 = o?
False
Suppose -20 = 5*b, 4*s + 61*b - 60*b = 0. Let m = 48458/55 - 881. Let o = 259/715 - m. Which is bigger: o or s?
s
Let i = -1418.07 - -1412. Let t = i - -0.07. Let a = 7 + -8. Which is smaller: a or t?
t
Let f be ((-816)/(-84))/17 - 3603/21. Is -169 at least as big as f?
True
Let s = -2396 - -2379.09. Let f = s + 82.93. Let c = f + -66. Is 3 at most c?
False
Suppose -2*q + 1045 = q - x, 2 = -2*x. Let r = 434 - q. Is r smaller than 88?
True
Let n(q) = -3*q**3 - 25*q**2 - 8*q + 118. Let s(b) = 5*b**3 + 37*b**2 + 12*b - 176. Let o(y) = 8*n(y) + 5*s(y). Let k be o(15). Which is greater: -52 or k?
k
Let j = 2280.3 + -2281.3. Is j greater than or equal to 10980?
False
Let u = -0.008 - 150.992. Let d = u - -150.9. Which is bigger: d or 9.