t v = -4.99 + -0.01. Let r = v - -4. Which is bigger: r or a?
r
Let y = -130 + 136. Let g = y + 130. Is g at least 137?
False
Suppose 111*l + l = 147 - 483. Is l > 37?
False
Let o = -42166 + 42578. Is o not equal to 2/7?
True
Let h be -48*(4/(-6) + 0). Let a(g) = -46*g - 43. Let w be a(-1). Let z be 6 + -15 - w*-14. Which is greater: h or z?
z
Let r(i) = i**2 - 74*i - 7282. Let j be r(130). Which is smaller: j or -57/58?
j
Suppose 14*u = 10*u + 72. Suppose -u*x + 198 = -306. Which is smaller: x or 29?
x
Suppose -17*y + 15*y - 36 = -4*a, -5*y = a + 46. Which is greater: -112 or y?
y
Suppose -3*b = 5*h + 5041, 2*b + 3*b = 2*h + 2035. Let z = h - -998. Let o be 2/(-7) + 74/14. Which is bigger: z or o?
o
Suppose 6 = -4*a + 2. Let r be -2 + 3 - (2 + a). Let s = 0.64 + -0.45. Does s = r?
False
Let y = -25385 - -25837. Which is smaller: y or 4066/9?
4066/9
Let r be 56/(-70)*5510/(-6). Let a = 733 - r. Is a < -4/5?
True
Let x be 0/((-3)/1 - -1). Let a be (20/(-25))/(4/100). Let i = a - -81/4. Which is smaller: i or x?
x
Let z(x) = 8*x + 137. Let y be z(-17). Let b = 10/839 - 10858/66281. Are b and y non-equal?
True
Let h be 235/(-259) + 154/539. Is 1 equal to h?
False
Let c be (-696)/(-1827)*(-3066)/(-9). Is c less than -0.2?
False
Let m = -30756 - -32427. Is m greater than 1672?
False
Let b = -442 + 1783/4. Suppose 0 = 3*k - k - 10. Let r(t) = -2*t**2 + 11*t - 2. Let h be r(k). Which is smaller: h or b?
h
Let d be 26/(-3900)*12*2. Suppose -8 + 0 = 4*s + 3*b, 2*s - 5*b - 22 = 0. Which is bigger: s or d?
s
Let d be (-11)/12*(-4)/(-2). Suppose -2*p + 96*p + 94 = 0. Which is smaller: p or d?
d
Let p be (140/(-10))/(-7) + 25044/(-7). Let h = p + 3583. Does h = 7?
False
Let a be 95304/(-168) - (-2)/7. Let r be 6/10 - a/(-595). Which is smaller: 1 or r?
r
Let s = 397 - 396.9. Is -0.08 greater than s?
False
Let p = -8842/3 - -3014. Suppose 3*v + 338 = 5*m + 2*v, -5*v = 2*m - 119. Which is smaller: p or m?
p
Let t be (34 + -27)/((-4)/388). Let n = t + 4073/6. Are n and 1/41 equal?
False
Let r = -4539/26572 - -21/292. Which is greater: r or 0?
0
Let v(s) = 430*s**3 + 3*s**2 + 81*s - 163. Let o be v(2). Is o >= 3452?
False
Let b(o) = 98*o - 2558. Let c be b(6). Is -1970 less than or equal to c?
True
Suppose -357802 = -169*s + 7*s + 146828. Which is greater: 3114 or s?
s
Let g(v) = -2*v - 9. Let p be g(-6). Suppose 4*y + p = -1. Let z(k) = -k**3 - 7*k**2 - 14*k - 50. Let r be z(-6). Which is smaller: r or y?
r
Let g = -123/32 - -119/32. Are g and 3 equal?
False
Suppose 34690 + 500 = 34*p. Let k be (-1 + -6)/(8 + p/(-129)). Which is greater: 300 or k?
k
Let z be 5/20 + 35*(-1)/(-4). Let l(g) = -g**2 + 9*g + 7. Let u be l(z). Which is smaller: -3 or u?
-3
Let i = -0.04 - 0.029. Let r = 605 - 605. Is r at most as big as i?
False
Let o be 162/(-1053) - (51000/60242 + -1). Which is smaller: o or 1?
o
Let g = 267 - 265.93. Let t = g - 1. Which is smaller: t or 10?
t
Suppose 506 = -4*p - 16*p + 2466. Suppose -x + 112 = 4*q, 0*q = -x - 5*q + 116. Which is smaller: p or x?
x
Let g(p) = 42*p**3 + p - 2. Let s be g(1). Suppose s = -2*a + 5*b, -a - 8 = 5*b + 5. Which is bigger: -20 or a?
a
Suppose -8 = -5*j - 33. Let b = -19 - -53. Suppose -v - 3 = l + 5, -3*l - 5*v - b = 0. Which is smaller: j or l?
j
Suppose 0 = y - 42 + 37, -v + 746 = -y. Which is bigger: v or 746?
v
Let o(l) = -l**2 + 2*l + 3. Let t be o(3). Suppose a = -3*f - 57, t = 2*f - 2*a + a + 38. Do -21 and f have the same value?
False
Let d be 9 + (-1 - (1 + 2)) - -1. Let g(u) = 7*u - 37. Let t be g(d). Suppose 2*i + 90 = -4*x, 270 = -5*i - t*x + 10*x. Is i greater than -51?
False
Let h be 12/27 - (328/(-72) + 5). Is -1/551 equal to h?
False
Let q be 3360/(-49) - 6/(-3). Let w = q - -967/14. Which is greater: 19 or w?
19
Let h = -11208 + 11207. Which is smaller: 3961 or h?
h
Let h = 53 + -53. Let g be (2/(-4) - 34/44*-1) + -1. Is h != g?
True
Suppose -v = -0*u + 2*u, 6 = 2*u + 4*v. Let l be -3 + 31/(-4) - (5 + u). Is -16 equal to l?
False
Suppose 27*u = -11*u - 385 + 81. Let q(o) be the first derivative of -o**4/4 - 7*o**3/3 + 13*o**2/2 + 19*o - 1. Let m be q(u). Is m bigger than -22?
True
Let v be 20/200 + ((-6)/(-4))/(15/25689). Is v equal to 2574?
False
Suppose 4*c = 8*c + 4. Let j be (47/(-5) - -1) + (-70)/(-175). Let w be (2/(-44))/(-3*(-2)/j). Is w less than c?
False
Let o(a) = -283*a - 1127. Let z be o(-4). Let g = 6 + -2. Suppose -g*k + u = -7*k - 94, 3*k = -z*u - 98. Which is smaller: -29 or k?
k
Let i be ((-124)/(-4588))/(4/22). Which is smaller: 0 or i?
0
Let t be 4/(-3)*(-45)/114. Suppose 556*r + 934*r = 155*r + 2670. Which is smaller: r or t?
t
Suppose 0 = -41*x - 13550 - 4203. Let q = -459 - x. Is q at least as big as -80/3?
True
Let m = -246 - -148. Let a be -30*(26/(-24))/(20/(-60)). Is a bigger than m?
True
Let w be 16/(-64) - -159*(-9)/(-12). Let b be (2 - 9 - -8)*w. Is 119 less than b?
False
Suppose 380 - 3740 = 14*n. Let j(q) = -10*q**2 - 4*q + 29. Let w be j(5). Do n and w have different values?
True
Let i = -14348 - -14357. Which is smaller: i or -48.1?
-48.1
Let w(z) = 1265*z - 8667. Let b be w(7). Are 91 and b unequal?
True
Let s = 64717/28 - 2311. Let c = s + 61/28. Is 4 <= c?
False
Suppose -19*g + 4*g + 4065 = 0. Suppose g*s - 642 = 277*s. Is -107 <= s?
True
Let a = -342.4 - -342.4. Let u = 42.03 - 39. Let y = u + -0.23. Are y and a nonequal?
True
Let v be (384120/25)/(-9) - 8/10. Which is bigger: -1709 or v?
v
Let v be (2/5 - 1)*(6 - 11). Let i be ((-35)/v)/((-17)/255). Which is greater: i or 173?
i
Let i = -25486 + 22542. Is i smaller than -2947?
False
Suppose -3*n = -67 - 41. Suppose 24*a - 9 = -225. Let f be -111*((-3)/a)/(-1). Which is greater: f or n?
f
Let p be -16 - (4 + -4 + -4). Let j = 25 + p. Let d(w) = -6*w - 6. Let a be d(-3). Which is smaller: j or a?
a
Let s = -189 + -30. Let t = 206.4 + s. Are t and -2/5 equal?
False
Let a(b) = -b**3 - 6*b**2 + 5*b - 11. Let r be a(-7). Let x be 9 + -3 + (-4 - r). Do x and -6/5 have different values?
True
Let c = 182.79 + -182. Let t = -0.99 + c. Let w = 275/3 - 90. Which is bigger: w or t?
w
Let l = 134 + -278. Let o = -127 - l. Which is greater: 2 or o?
o
Suppose 14*f - 110 + 7 = -5. Which is bigger: 280/37 or f?
280/37
Let l be (-134)/14 - (-1 - -2). Let m = -303 + 325. Suppose m*s = 10*s - 120. Is s at most l?
False
Let f = 587138/8182791 + -2/29329. Are 0 and f nonequal?
True
Let s = -11.07935 + 0.07935. Which is smaller: s or -125?
-125
Let r be ((-8)/(-6))/(4696/(-672) - -7). Let m = -41 + r. Let w = 235 + -165. Which is bigger: m or w?
m
Suppose 13*j - 11*j = -2*g + 48, -2*j = 5*g - 39. Is 18 at most as big as j?
True
Let l be 13/(78/(-24))*(-4)/104. Is l at least as big as -1?
True
Suppose 3*q = 2*u - 17, 2*u = 5*u - 2*q - 13. Let i be 3*u + 4 + 15. Suppose 2*l = -5*n + 10, 4*n + 4*l - i + 2 = 0. Which is greater: 4/7 or n?
4/7
Let i be 1602588/(-208) - (-3)/(-12)*2. Let j = i - -7750. Is 44 smaller than j?
True
Suppose -12*j + 165 = -7*j. Let r = j - 32. Let d = -232/13 + 2812/143. Is r at most d?
True
Suppose -2136*f - n - 365 = -2133*f, 3*n - 599 = 5*f. Which is smaller: -112 or f?
f
Let f be 1498/(-6) - (-55)/(-165). Let r = -127 - f. Which is greater: 122 or r?
r
Let h(i) = -i - 62. Let m be h(-17). Let w be (28/m)/2 + (-10)/(-50). Let p(c) = -c + 3. Let f be p(3). Which is smaller: w or f?
w
Suppose -10*v = -v - 15*v + 6. Which is greater: 4/2137 or v?
v
Let f = 2320 + -227363/98. Suppose 2*i = 6, -3*r + 13 - 1 = 5*i. Is r <= f?
True
Let w = 27/553 - -552757/4977. Does 112 = w?
False
Let h = -2093 + -9769. Which is greater: -1 or h?
-1
Let u = 131811 - 525398641/3986. Which is bigger: -1 or u?
u
Let w be -1 + 46/136 + (-18)/(-24). Let t = -7/17 - w. Is t <= -1.61?
False
Let l = 0.6508 - -1.3492. Let u be 4/6 + 94/3. Is l < u?
True
Let z = 3 + -4. Let w = 265 - 525. Let g = w - -8058/31. Is g > z?
True
Suppose -2011 - 2639 = 25*h. Which is smaller: -183 or h?
h
Suppose 63*f - 2691 = 6948. Is 145 at most as big as f?
True
Let k be 3/4*(-32)/(-12). Suppose 5 + 3 = k*o. Suppose 190*c - 54 = 172*c. Which is smaller: c or o?
c
Let n = 29 + 10. Suppose -7*w + 8*w = n. Let o = w - 40. Does o = -1/12?
False
Suppose -2*y - 3*u + 8 = 0, -1255*y + 1251*y - 4*u = 0. Let o be 13/(-2) - 2/(-4). Which is smaller: y or o?
y
Let z = 