7. Is -2/3 smaller than r?
True
Let x = 3457.58 + -2844.5. Let m = -613 + x. Which is bigger: m or 0.4?
0.4
Let b be 5 + (-13)/((-52)/184). Let h be (-3)/((45/260)/(-3)). Which is smaller: b or h?
b
Let d = 510.54 + -228.54. Is 0.17 greater than or equal to d?
False
Let m(h) = 56*h - 1519. Let v be m(27). Is v <= 0.007?
True
Let b be (0/(-4))/(-12 - -13) - (5 + -5). Are -1109 and b equal?
False
Suppose -4851 - 171 = 62*i. Which is smaller: -84 or i?
-84
Let p(m) = 14*m**2 + 23*m + 92. Let z be p(-5). Let t = 331 - z. Which is smaller: 0.04 or t?
0.04
Let t be (-1 + 6 + 77/(-14))*6/3. Which is bigger: t or 1/12166?
1/12166
Let o = 3084 + -3094. Is -10 < o?
False
Let n(k) = k**2 + 85*k - 139. Let t be n(-83). Is -308 equal to t?
False
Let g = 14.152 - 14. Let w = g + -0.052. Let r be (-2)/3*(-1 + 956/8). Is w > r?
True
Let r = -732 - -75416/103. Let w = 7007/515 + r. Does w = 0.1?
False
Let n(f) = -32*f + 994. Let d be n(32). Which is bigger: 1 or d?
1
Let a = -11 + 91. Let g = a + 64. Which is greater: 1 or g?
g
Let i be (24/17150)/(80/(-200)). Which is smaller: i or 1?
i
Let m be (4/30)/2*2262995/4674. Which is greater: 31 or m?
m
Suppose -x - 2*x + 1426 = -5*u, x + 3*u - 494 = 0. Is 481 < x?
True
Let j be 2/((-1)/((-4)/8))*2. Let q(h) = 2*h**2 + 4*h - 1. Let d be q(j). Let x = -2/55 - 47/220. Does x = d?
False
Let q be (-56422)/(-5) + 6/(-15). Is q >= 11284?
True
Suppose 1860 = 52*i - 1100 - 4632. Does i = 147?
False
Let i(w) = -w**2 + 5*w - 46. Let u be i(8). Let a be (-266)/u - -4*4/(-4). Is -0.89 > a?
False
Let o(i) = -i**2 + 3*i + 12. Let r be o(5). Let k be 3 - 5 - ((1 - r) + -1). Suppose y - 22 = -2*l - 3*y, k = -4*y + 20. Which is greater: -6/29 or l?
l
Let b be ((-3)/((-9)/(-12)))/(1/3). Are b and -12 nonequal?
False
Let r be 2*(-63)/18 - (-8)/((-8)/1585). Is -1589 < r?
False
Let c = -326 - -1046. Let f be c/64*2/40. Do f and 2 have different values?
True
Suppose 0 = 50*i - 59*i - 630. Suppose 2*j + y + 79 + 14 = 0, 5*j + 4*y = -225. Let m = j - i. Is m greater than or equal to 20?
True
Let j = -13936018/21 + 663295. Let a = j - -325. Let h(x) = -x**2 + 2*x + 3. Let t be h(3). Is t not equal to a?
True
Let c be ((-91628)/(-9163))/(-2) + (-432 - -437). Which is smaller: 0 or c?
0
Let t = -3382.98 + 3373. Which is greater: 1 or t?
1
Suppose -5*h + 24 = 142*y - 145*y, y + 8 = 3*h. Let q = -9897/1102 - -169/19. Which is bigger: q or h?
h
Let h = 122 + -118. Let z(u) = -6*u + 45. Let x be z(h). Suppose 24 = -23*f + x*f. Which is smaller: -9 or f?
f
Suppose -20*z - 475 = 465. Which is greater: -42 or z?
-42
Suppose 0 = -147*y + 21820 + 10079. Which is bigger: y or 227?
227
Suppose 5*k - 980 = 2*q, k - 2*q - 209 + 21 = 0. Let j be k/11*10/(-51). Which is smaller: -3 or j?
j
Let m(b) = -4*b + 146. Let q be m(7). Let s = -116 + q. Is -6 at least as big as s?
False
Let j = -1749 + 1430. Which is bigger: -315 or j?
-315
Let z = 3259 + -3510. Is z less than or equal to -251?
True
Let z = -124143/22 + 5643. Is z less than 14/5?
True
Let h be 1 - (0 + -1)*-30. Let p = h + 11. Which is smaller: p or -58/3?
-58/3
Let g(q) = 2*q**2 + 14*q - 18. Let d be g(-9). Suppose -d*h = -1160 + 134. Is h > 60?
False
Let n(w) = 14*w**2 - 5*w - 13. Let a be n(-4). Suppose -2*r + 5*t - a = 32, 4*r - 2*t = -486. Is r <= -119?
True
Let w(t) = 297*t - 304*t + 7*t**3 + 4*t**2 + 2 + t**3. Let r be w(1). Are 6 and r non-equal?
True
Suppose -4*k = -552 + 1900. Let o = k + 540. Is 203 at least as big as o?
True
Suppose -5*w + 3*s = 145, 2*w + 24 + 34 = -4*s. Let f = -116 - -123. Suppose f*r + 246 - 43 = 0. Is r >= w?
True
Let t(n) = -n**3 + 17*n**2 - 55*n + 10. Let v be t(4). Which is greater: v or -568?
v
Let o = -211 - -213. Let b = -7279927/208236 - -2482/1407. Let l = b + 133/4. Which is bigger: l or o?
o
Let n = -195 + 101. Let b = 3494 - 3495. Is n at most b?
True
Suppose -2*c = -3*c + 9. Suppose -3*g + c = 6*g. Let m = 1396/987 + 2/141. Is m <= g?
False
Suppose -2*q = -9 - 23. Suppose 3*c = -5*v + 147, q*v = 14*v + 2*c + 46. Is v < 24?
False
Let g = -9925 + 9129. Which is smaller: -795 or g?
g
Suppose -4*h + 22 = 10. Suppose 4*b - b + j = 2, h*b + 2*j + 2 = 0. Let t be (b/2)/((-55)/11). Is -1 < t?
True
Let d be (-98)/(-4) - -1 - 18/36. Let c = -21 + d. Suppose -c*o + 10*o + 24 = 0. Is -48/11 not equal to o?
True
Let t be 5/((3 - 1)/2). Suppose 3*b + 47 = 5*z + 4*b, 0 = z + 3*b - 15. Let r be (-6)/z - 365/(-75). Is r at most t?
True
Let v = -1080 + 1079. Is 4/1759 at most v?
False
Let t = -131/160 - -3/5. Let o = 355/2208 + t. Is o at most as big as -1?
False
Let y be 2 + ((-472)/5 - -3). Let d = 484/5 + y. Let r(v) = -2*v**2 - 30*v + 75. Let c be r(-17). Which is bigger: d or c?
d
Suppose -4*b - 7084 = g, 5*b - 42*g + 40*g + 8868 = 0. Which is bigger: b or -1774?
b
Suppose -4*c - 2*q - 48 = -18, -3*c = 2*q + 21. Let w be -2 + ((-3)/c)/((-2)/6). Which is smaller: w or -1?
w
Let n(t) = -t**3 - 59*t**2 - 270*t + 58. Let b be n(-54). Which is bigger: 229/4 or b?
b
Let i(c) = 4*c**2 - 262*c - 1258. Let r be i(70). Which is bigger: r or -60/31?
r
Let n(j) = -j**2 - 44*j + 110. Let x be n(-47). Is x less than or equal to 13?
True
Let z be 14 - (51 + 13 + -14). Which is smaller: z or -33?
z
Let t be (-2)/(-6) - (-58)/(-48). Let l be 7/((-140)/(-24)) - ((-6)/(-5) + 0). Which is smaller: l or t?
t
Let r = -16 + 19. Suppose -2*h + 56 = 2*t, -4*h = r*t - 14 - 72. Let w = -29 + t. Is -4 at most as big as w?
True
Let r = 547/5 - 115. Let u(f) = 5*f**2 + 2*f - 4. Let w be u(1). Suppose -w - 9 = 2*s. Are r and s nonequal?
True
Let c be -1 + -6*(-4)/(-8). Let a be (16 + -22)*4/6 - c. Suppose -i + 18 - 24 = a. Is 3 less than or equal to i?
False
Suppose -4*n - 3 = -39. Let d be (301/14 - n)*(-1)/(-15). Let v be (-12)/8*(-2)/12. Does d = v?
False
Let m = -3.83 - 206.17. Let s = -108 - m. Let t = 98 - s. Is -1.6 bigger than t?
True
Let f = -2540 - -147. Which is smaller: f or -2392?
f
Let w = -497 - -497.005. Which is smaller: 0.05 or w?
w
Let k(x) = 3*x**2 - 24*x - 23. Let p(o) = -5*o**2 + 47*o + 44. Let c(f) = 7*k(f) + 4*p(f). Let w be c(-19). Which is smaller: w or 2?
w
Suppose 446*i - 443*i - 9 = 0. Let c(q) = 2*q**2 - q - 14. Let l be c(i). Which is smaller: l or 4/31?
4/31
Let c = -595 + 939. Suppose 12*d - 13*d - 4*i - c = 0, 2*d + 672 = -4*i. Is -328 less than or equal to d?
True
Let o = -791 - -638. Which is smaller: -3/4 or o?
o
Suppose -4*c - 15 = -3*z + 2, -z = 5*c + 7. Let p be c/7 + (-15)/21. Let i be ((-339)/45 - -19) + (-55)/5. Which is smaller: p or i?
p
Let z be (-171)/(-76)*-4 - (-2 + (-146)/200). Which is smaller: -5 or z?
z
Let d be 0 + -3*8/(-6). Suppose 0 = p - 4*n + 53, p - 2*n + 65 = d. Let j = p - -25. Is j smaller than -44?
False
Suppose -3*x = -p - 0 - 8, 4*p + 5*x = -15. Let g be (-165)/160 - (4 + p). Is 1 equal to g?
False
Suppose 3861*n - 3820*n = -128617. Is -3136 less than or equal to n?
False
Let b = -3879 + 3867. Which is greater: -11/8 or b?
-11/8
Suppose -o - 5 = l, -2*l + 0 - 10 = 5*o. Suppose -2 = j, o = 4*f + 5*j - 4 + 34. Let x be (-594)/30 - (-1)/f. Is -20 != x?
False
Let g(k) = -23*k - 91. Let u be g(-13). Suppose 212 = -t + u. Is 43 less than or equal to t?
False
Let b = -2889 - -3093. Which is bigger: b or 201?
b
Suppose -2*n = -3*v - 6*n + 179, 2*v + 4*n = 126. Suppose 4*g + 4*o + 32 = 0, -3*g + 5 = -3*o + v. Let j be (g/88 - 0)*2. Is j bigger than 0?
False
Let x = 18149 + -41125631/2266. Is x less than -1?
False
Suppose 3*j + h - 6 = -j, 2*h = -4*j + 8. Are -1698 and j equal?
False
Let a be -4 + 1 - ((0 - 0) + 4). Let d be (a - -221)*(-4)/8. Which is smaller: d or -106?
d
Let j = 22540 - 22541. Are -4/2207 and j equal?
False
Suppose 0 = -154*j - 91*j - 3675. Suppose 0 = -3*z + 4 - 1. Is z less than or equal to j?
False
Let q(g) = -g**3 - 20*g**2 + 37*g - 13. Let r be q(7). Which is smaller: -1079 or r?
-1079
Let a = -271 + 289. Let t be (((-64)/6)/(-2))/(2/a). Which is bigger: 49 or t?
49
Let m = 2/273 + 29/182. Let k be -7 + 5 + 4 + 0. Suppose 3*s + 12 = -k*q, 4*q - 3 = 2*s + 5. Which is smaller: q or m?
q
Let r = -309 - -315. Suppose 2*g + 9*t - 12*t - 9 = 0, -2*t = -3*g + r. Which is smaller: -2/1095 or g?
-2/1095
Let j = -11906 - -11598. Is -292 at most j?
False
Suppose 0 = -2*s - 5*o + o + 36, -52 = -2*s + 4*o. Suppose z + 0*z = -