
Let q be (-23 + 11)*(-3)/8*-4. Let j be 6/(-4)*6/q*4. Is j at most 79?
True
Let t be (-10 - -1264)*((-12)/(-9) - -1). Which is greater: 2925 or t?
t
Let t = 12381 + -9174. Which is bigger: t or 3209?
3209
Suppose 181*z = 184*z - 2*j + 508, 0 = 16*z - 3*j + 2648. Which is bigger: z or -325/2?
-325/2
Let g = 199 + -204. Let l be 22/132 + g/246. Which is bigger: l or -1?
l
Let d = 11833 - 9841. Which is bigger: d or 1994?
1994
Let f = -2009/120 + 135/8. Let a = -27.8 - -209.8. Let w = 177 - a. Which is smaller: w or f?
w
Let j be (-9 + 37)/(4/10). Let v be (153/j + -2)*-522. Let i = v + 97. Does 1 = i?
False
Suppose 0 = -178*d + 173*d + 40. Suppose d*r = -5 - 11. Is -10/11 < r?
False
Let f(t) = -7*t + 1. Let p(w) = -13*w + 4. Let v(c) = -11*f(c) + 6*p(c). Let u be (-1248)/(-90) + 2/15. Let r be v(u). Which is smaller: r or -2/203?
r
Let b = -1207.3 + 1211.3. Is b < -2/533?
False
Suppose 3*s - 4*c = -6*c - 15, -5*s = -3*c + 44. Let a be (1 - 0) + (7 - 8). Suppose n + 0 + 1 = a. Which is bigger: n or s?
n
Let w be 4/(-18)*12933/958. Which is smaller: -315/103 or w?
-315/103
Suppose 14*t - 4*t = -70. Let a be 44/220*(1 + 2 + -44). Which is smaller: a or t?
a
Suppose 14*p = 106*p + 184. Which is greater: p or 2014?
2014
Suppose 64 + 22 = r - 3*s, 0 = 5*r + s - 350. Let q = r - 494/7. Is q greater than or equal to -1?
True
Suppose -2*p + w + 131 = p, p = 2*w + 52. Let o be ((-12 - 0)*162/243)/(-2) - -27. Which is greater: p or o?
p
Let s = -29.37 + 29.47. Which is smaller: s or -1686.7?
-1686.7
Suppose -6 = -6*v + 18. Suppose -5*i = -5*p + 245, 2*p - 149 = -p + v*i. Which is greater: p or -1/2?
p
Let v = -14 - -14. Suppose 0 = g - 1 - v. Let k = 125 - 135. Which is greater: g or k?
g
Let u(z) = 2349*z**2 - 2400*z**2 + 0 + 5. Let v be u(-2). Is v greater than or equal to -199?
True
Let v(j) = -4*j - 31. Let b be v(-12). Let t = b + -14. Suppose 0 = -3*n - t*n - 102. Is n greater than -17?
False
Let c be ((-47)/(-94))/((-2)/(-4)). Is -18/565 at least as big as c?
False
Let n be 320488/16030 + -18 - 2. Is n equal to 1?
False
Let x = 0.1071 - -0.8929. Is -198 less than or equal to x?
True
Let b(h) = 97*h - 7. Let m be b(-2). Let r be 5676/(-28) - ((-2)/7)/(-1). Is r greater than m?
False
Suppose 3*l = 4*q + 278, -2*l = 2*q + 72 + 88. Is q < -76?
False
Suppose 21 = 47*o - 40*o. Suppose g - 10*h + 95 = -11*h, o*h - 297 = 3*g. Which is greater: -289/3 or g?
-289/3
Let p = 1.3834 - -273.6166. Is p smaller than 2/7?
False
Let p = 18 - 7. Let b be (3 - 2)/(p/33). Is b not equal to 5?
True
Suppose -35*m + 90*m - 91 = -36*m. Let v = -6/53 + -16/795. Which is bigger: m or v?
m
Let r = 21 - 46. Let j = 0.03051 - -0.96949. Is r greater than j?
False
Let a = 0.191 + 0.009. Let w = 5.359 + -5.039. Is w smaller than a?
False
Suppose -124 - 212 = -6*i. Suppose 246 = 4*l + 2*c, -5*c + i = 3*l - 111. Is l > 64?
False
Let v = 3027 + -3026. Which is smaller: v or -32/375?
-32/375
Let a = 82989399/2360 + -35165. Which is greater: a or 1?
1
Let p be -4*4/(-8) + (-1 - -1). Let z(x) = x**3 - x - 8*x - 2*x**3 - 8*x**p + 6 - 2*x. Let r be z(-6). Is r equal to 0.09?
False
Let x = 27034 - 27038. Is x >= -102/29?
False
Let u be 41/8 - (-60)/(-6 - 9). Let j be (8 + -8)/(2/1). Is u bigger than j?
True
Let r = 12323 + -12322. Let h = -40/7 + 277/49. Are h and r unequal?
True
Let o(r) be the second derivative of 2*r**3 + 5*r**2/2 - 687*r. Let s be (-4 + 0)*2*1. Let a be o(s). Is a != -91?
False
Let w(u) = 9*u + 154. Let q be w(-67). Is q at least -7?
False
Let f = 26 - 20. Suppose f*j = -46 + 10. Let h be ((-4)/15)/(j + (-175)/(-30)). Is 2 less than h?
False
Let c = -575.33 + 46.33. Which is smaller: 1/8 or c?
c
Let k be 27 - (-2 + 2)/1. Let v = -230448 + 230477. Which is smaller: k or v?
k
Let p be (-100763)/(-52) + -4 - (-5)/20. Is p >= 1934?
True
Let v = -275 - -296. Suppose 868 = v*t + 7*t. Which is bigger: t or 36?
36
Let v be (-8 + 5)/(-999)*2. Let i be 1/(-2)*(2 - 4). Are v and i equal?
False
Let s be (127/(-130) + 1)/((-20115)/(-8940)). Which is bigger: 95 or s?
95
Let n(s) = -s**2 + 16*s - 59. Let u be n(10). Let a(f) be the second derivative of -f**3/6 + f**2 + f. Let m be a(u). Which is smaller: -1/21 or m?
-1/21
Suppose 3*r - 53 = -14. Let d = r - 13. Suppose -5*z = 4*b - 42, d = 3*z - 0*b - 3*b - 9. Is z equal to 6?
True
Suppose 0 = o + 1 + 19. Let s be 4/(-1)*(-35)/o. Suppose -2*g = 2*q - 5*q - 24, -q - 2*g - 16 = 0. Is s bigger than q?
True
Let w = 0 + -1. Let h(z) = 4*z**3 + 6*z**2 - 4*z - 3. Let q be h(1). Let i be q/(w + 190)*2/3. Which is smaller: 1 or i?
i
Suppose -38*x + 12512 = -21*x. Suppose -9*d = 979 - x. Which is bigger: d or 4?
4
Let k = -9715 - -126415/13. Suppose 2*z = -5*d + 5*z + 56, 5*d - 5*z - 60 = 0. Do d and k have the same value?
False
Suppose 0*z - 20 = -10*z. Suppose -z*o = -2*b - 100 + 820, -1832 = -5*b - 3*o. Suppose 4*s + 3*h + 140 = b, 3*s = -5*h + 157. Which is smaller: 60 or s?
s
Let d = -0.0479 - 50.9521. Is 0 at least as big as d?
True
Let x be (-23282)/26 - 4/2. Let q = -898 - x. Suppose -2*s = 3*p - 4*p + 8, 23 = -5*s + 3*p. Is q at most s?
False
Let q = -3/50 + 7/50. Let s = 193 - 162. Suppose 35*b - s*b - 4 = 0. Which is smaller: b or q?
q
Let q = -6 - 14. Let s be 34/q - (-3 + 4/2). Suppose -5*b - 10 = 5*h - 2*h, -2*h = 0. Is s less than or equal to b?
False
Let v = -353 - -315. Let f be (8/5 + -2)*(v - -33). Is f >= 17/5?
False
Let q = -2049 - -2049.1037. Which is smaller: q or -1?
-1
Let d be ((-2)/(-2) + -4)/(-1 - 0) + -512. Are d and -509 nonequal?
False
Let q(c) = 166*c - 24. Let y be q(18). Suppose 12*r - y = -7*r. Is 1 <= r?
True
Let y(c) be the second derivative of 0 + 1/6*c**3 - 5/2*c**2 - 10*c. Let v be y(8). Which is smaller: 14/5 or v?
14/5
Let q be (-8 + 6)*((-4)/6)/(140/(-42)). Which is greater: -20.1 or q?
q
Let j(p) = -2*p**2 + 14*p + 9. Let u be j(7). Let f be (1 - u/7)/(306/(-126)). Let b = -3 + 3. Is b < f?
True
Let b = -4794 + 4769.8. Is 2 equal to b?
False
Suppose -7*n = 18*n + n + 26. Which is smaller: 6/5021 or n?
n
Let c = -46 + 51. Suppose c*y = y + 144. Let q = -36 + y. Do 1/60 and q have different values?
True
Suppose 0 = 2*l - 10, 0 = 5*i - l + 6*l - 45. Let q be (-108)/7*1/((-2)/i). Do 31 and q have different values?
True
Let r = -19801 - -455415/23. Which is smaller: r or 57?
r
Let m = 29 - 15. Let d be -1*m/(-4) - (-4)/(-8). Let b = -37 - d. Are -41 and b equal?
False
Let b be 298/8 + (24/(-78) - 245/260). Let h = 35486/951 + 6/317. Which is smaller: b or h?
b
Suppose 175 = w - 8*w. Let f be w/((-4 - -3)/(-1)). Which is bigger: f or -23?
-23
Suppose s - 6*s = -90. Let r be (-6)/27 + 2848/s. Let y be 5 - r/2 - 0. Which is greater: y or -75?
y
Let q be (-2 - 40/(-18)) + 408/108. Let a be (19/(1425/(-72)))/(q/(-10)). Suppose 3*s + 0 - 12 = -4*g, 0 = 3*g + 2*s - 9. Does g = a?
False
Let d = 151.2 + -93.3. Let m = -51 - 7. Let k = m + d. Which is smaller: k or 45?
k
Let u be (-29)/(-13) + 1056/(-4576). Which is smaller: 98/113 or u?
98/113
Let q be 1/(5/211) - (-2)/(-10). Let h = q - 45. Let w = 1484/5 + -299. Which is smaller: w or h?
h
Let d be 7/(1/((-242)/(-10))). Let u = 169 - d. Is -2/3 greater than u?
False
Let y(g) = 2*g + 10. Let h be y(-5). Let v be (0/1)/(1 - h). Let d = 2927/15 - 195. Is d at most as big as v?
False
Let y be (-3 + (-51)/(-12))*(-12)/30. Let m = -3.6 + 3.578. Let o = m + -5.978. Is y at least as big as o?
True
Suppose -2*o = -2*y + 88, -y = 4*o - 32 - 22. Is y bigger than 46?
False
Let u = -410.19 - -411.38. Which is greater: u or -2/33?
u
Let p(x) = 6*x - 8. Let c = 36 - 34. Let m be p(c). Suppose 71 = -m*v - 21. Is -21 at most as big as v?
False
Let h be (-14)/24 + 3/9 - 21660/1520. Let j be 13*(-3 + 2)*-1. Suppose v + j + 2 = 0. Is h at most as big as v?
False
Let x = 279/164 + 2/41. Let z = -12 + 14.9. Let a = z + -1.9. Do x and a have the same value?
False
Let f = -92.4 - -75. Let h = f + 17. Let b = -0.6 - h. Is b smaller than 1?
True
Let v be ((-528073)/71994 - -8) + 2/(-3). Is v >= -1?
True
Let s = -4.88 + -0.12. Let h = -2.2982 + -0.7018. Which is smaller: s or h?
s
Suppose 4*r - 169 = 15. Suppose -4*h + 351 = x - 57, -4*x = 2*h - 1660. Let s be x/9 - (-10)/(-45). Is r <= s?
True
Let o be (-4 - 12)/(2/4). Suppose 3*i = -2*l + 1, i = -2*i + 2*l - 19. Let t be ((-27)/(-1