er: 0 or r?
0
Let u = 4732 - 4717. Are u and 0.9 nonequal?
True
Let c(j) = -3525*j - 456. Let r be c(-3). Which is smaller: -0.1 or r?
-0.1
Let u = 4.33 + -195.43. Which is bigger: -1 or u?
-1
Let p be -104 - 18*(-64)/(-72). Let g = 8 - 2. Let j be p/(-36)*g/(-4). Is j at most as big as -5?
True
Let f(t) = -9*t - 12. Suppose 0 = -4*a - 5*c - 7, -4*a + 3*c - 2*c = 13. Let h be f(a). Let q be (6/h*1)/((-6)/(-30)). Which is greater: q or 7?
7
Let m(r) = -r**3 + 57*r**2 + 323*r + 269. Let u be m(62). Which is smaller: u or 1/3?
1/3
Let q(g) = g**2 - 27*g + 114. Let y be q(13). Let o be (-162)/y*5*24/180. Is 1 at least o?
False
Let g(b) = -b**2 - 11*b + 31. Suppose -3*k - 4*d - 42 = 1, -5*d = 5. Let a be g(k). Suppose -4*t - 8 + 0 = 0, 0 = a*j - t - 157. Is j at least as big as 30?
True
Let o be 1*(-4 + 56/15). Let x be 4/10 - (-230)/50. Suppose -x = -3*p + 4*t, 2*t = -3*p - 3*t - 13. Is o >= p?
True
Suppose 16176 = -7*l + 16673. Which is smaller: 73 or l?
l
Suppose 0 = 5*t + 4*v + 3042, -5*t - 1741 - 1274 = -5*v. Which is bigger: -607 or t?
t
Let m be 14/(-35) - 1/((-25)/(-490)). Let q be (m/(-255))/((2/3)/2). Is 1 less than q?
False
Let r be ((-4)/(-12))/(30/(-21663)). Let z = 241 + r. Suppose 950*f = 966*f + 16. Is z at most as big as f?
False
Let x(w) = 243*w**2 + 19*w + 1. Let t be x(-2). Which is smaller: 932 or t?
932
Let l be (-15612)/312 - 3/(-78). Which is greater: l or -446/9?
-446/9
Let m be 0 - -4*(-864)/(-136). Which is smaller: 25 or m?
25
Let t be (-14612)/364 + 1/(-7)*-1. Let y = t - -40. Which is greater: -3/56 or y?
y
Let l = -1137 + 1140. Which is smaller: l or 1/135?
1/135
Let m = 5175.987 - 5176. Is -0.1 >= m?
False
Let r = 13045 + -13043. Is -383 bigger than r?
False
Suppose 3102 = 2*c + 552. Let j be (c/(-125))/((-14)/(-5)). Which is smaller: j or -5?
-5
Suppose -4*q + 2*q = -10, -4*f - q - 1779 = 0. Let t be (-4)/18 + f/18. Let c be (3*12/(-9))/(148/925). Is t less than c?
False
Let i = 82 - 143. Let f be 59 + i - (-62)/24. Let s = -0.07 - 0.03. Do s and f have the same value?
False
Let s be (3726/483)/(6/(-196)). Which is smaller: s or -247?
s
Let i be ((-268)/68 + 4)*(-9 - 14). Which is smaller: -4/5 or i?
i
Let k be (-2 - (-6 + 3))*1 - 7. Let o be (1 - 27/k)*(5 + 7). Let u be o/4 + 3 + -7. Which is smaller: u or 14?
u
Let p = 21 - 19. Suppose -p*o = -3*o + 2. Suppose o = 14*f - 12*f. Is 1 smaller than f?
False
Let n = -0.4575 - -0.4055. Which is greater: -2/43 or n?
-2/43
Let w be 448*((-6)/(-9) - ((-124)/(-24) - -2)). Which is bigger: -2910 or w?
-2910
Suppose 4*x = -2*l + 6*x + 22, 2*l = x + 18. Let r(v) = -v - 7. Let i be r(l). Let o be 102/(-188) - i/28. Which is greater: -1 or o?
o
Let p be -5*(4 + -2 + -1 + -2). Let i be -4 + (p - (-5 + 6)). Which is smaller: 2/361 or i?
i
Let i be 1 + -1 - (-26)/12. Suppose -23*t - 2592 = t. Let j = t - -110. Is i less than or equal to j?
False
Let j = -2124 + 2013. Is j less than or equal to -15?
True
Suppose 0 = 2*q - 3*o + 187, 4*o = 5*q + 144 + 306. Is -80 at most as big as q?
False
Let m(b) = -b**3 + 3*b**2 + 7*b + 1. Let t be m(4). Suppose a - 3*a + 14 = 0. Let q = a - t. Which is greater: -5 or q?
-5
Let o = -25.76 - -36.16. Are 0 and o non-equal?
True
Let y = 101.82 - 114.82. Let v = 30 + -18. Which is greater: v or y?
v
Let d be 18/7*(-1274)/(-21). Let x = d - 118. Is x <= 39?
True
Let u(s) = -s**2 + 3*s - 3. Let l be u(2). Let r be -3 + l + (126 - -4). Suppose -a = -4*c - 4*a + 157, -3*c + r = 5*a. Is c greater than or equal to 38?
False
Let m = 18 - 14. Suppose 4*b - 1 = -p - 16, -m*p + 4*b + 20 = 0. Let y be 3 - -18 - p/1. Is y at most 20?
True
Let t = 28 + -42. Let c(s) be the second derivative of -s**4/3 + 43*s**3/6 - 3*s**2/2 + 239*s. Let j be c(11). Are j and t nonequal?
False
Let b = -106 - -118. Suppose 0 = 3*l - b, l - 2*l = -3*x + 227. Let i = x + -77. Is 17 bigger than i?
True
Let q be (-2)/(-4) + (-14)/4. Suppose -4*j - 40 = 4*f, 5*f + 3*j + 4 = -44. Do q and f have different values?
True
Let j(t) = 10*t**2 + 5 + 2*t - 4*t - 2*t. Let c be j(2). Let a = c + -81. Which is smaller: -43 or a?
a
Let b(o) = -31*o + 154. Let v be b(5). Let x be (-552)/(-2727) + (-4)/18. Which is greater: v or x?
x
Let c be (-11)/((-66)/(-10))*-21. Suppose -w - 18 = 4*n, 14 = c*w - 38*w - 4*n. Let j = -924 - -6483/7. Is j >= w?
True
Let n(g) = g + 37. Let s be n(-41). Let a be s + -1 + 58 + 14. Which is bigger: 65 or a?
a
Let n = 6 + -3. Suppose -75*v = -86*v + 33. Let f be (2 + 0)*(v + 40/(-12)). Which is bigger: n or f?
n
Let b = -3.833 + 3.743. Which is bigger: 2.78 or b?
2.78
Let a = -25125/2 + 12563. Which is greater: -0.01166 or a?
a
Let o = 623/5 - 125. Suppose -3*r + r + 80 = 0. Suppose 0 = r*h - 39*h - 1. Is o less than h?
True
Let d = -0.015907 + -281.974093. Let s = d - -282. Are s and -1/21 nonequal?
True
Let w be (-4)/(-56) - 7413/11172. Which is bigger: 0 or w?
0
Suppose -3*g + 2*r = -5*g - 14, -3*r - 12 = 0. Let k(q) = -q + 8. Let p be k(g). Let w = 34 + -23. Is w at most as big as p?
True
Suppose 62*g - 56*g = 42. Let o be g + (-1 - -26)/(-5). Which is smaller: o or 7/6?
7/6
Let n(o) = o**3 - 6*o**2 - 4*o - 16. Let a be n(7). Suppose -10 + 65 = a*g. Suppose -4*k = -4*v - 40 - 20, -k - 3*v + g = 0. Which is greater: k or 18?
18
Suppose -363 = 29*m + 4*m. Is m equal to -186?
False
Suppose i = -5*j - 21, 3*i + 5*j = 27 - 70. Let a be i/((-19 - 18) + -5 + -1). Which is smaller: -1 or a?
-1
Suppose 1 = -5*m + 3*t - t, t = 5*m - 2. Suppose z = -4 + m. Is -1 less than z?
False
Let b be 9*-47 - (-49 - -67). Which is smaller: -439 or b?
b
Suppose -3*r = 3*c + 2*c + 8, 0 = 2*r + c + 3. Let s = 805 + -16895/21. Which is bigger: s or r?
s
Let g be (145/(-4))/((7/(-4))/7). Let n = -73 + g. Let d be -49*3/n + 2. Which is smaller: d or 1?
d
Suppose -8 - 1 = -3*h. Suppose 8*i - 75 = h*i. Suppose 4*o + o = -i. Which is bigger: 0 or o?
0
Let t = 138.992 - -0.008. Let u = 138.8 - t. Which is smaller: u or -1/2?
-1/2
Let q be (-6 + 4)/(-2)*-1. Let o be (-3 + 1)*q/(-6). Let y be (10/(-3) - (-3 + 0))*3. Is o < y?
False
Let x be 240/400 + (-988)/5. Which is bigger: x or 6?
6
Let y be (-1899)/(-211) + 7324/(-814). Which is greater: y or -1?
y
Let t(r) = -r**3 - 2*r**2 - r + 6. Let i be t(0). Suppose 2*x - 2 = 0, 16 = z + 5*x - x. Let g be (i/z)/((-123)/18). Is 1 bigger than g?
True
Suppose 45*c + 2*c + 67*c + 114 = 0. Is c >= -38/23?
True
Suppose -5*m + 5*l - 75 = 0, -3*l = 30*m - 31*m - 23. Is -45/4 at least m?
False
Let i be 1 - (-12 + -1 + 5). Let p = -24 + i. Let v be 6/(-4) + (p/(-9) - 2). Is -1 not equal to v?
True
Let x = -3/3296 - -6823/253792. Which is bigger: 0.1 or x?
0.1
Let x be (-7)/((-42)/66) - 5. Let d be 1/(-2)*12/x. Let j be (-1)/(-50)*(-8)/(-6). Which is smaller: j or d?
d
Let d(s) = 4*s**3 - 120*s**2 - 43*s - 181. Let a be d(30). Is -1469 at most as big as a?
False
Let d be ((-108)/1458*42/56)/(4/(-3)). Let y = -1 - -7. Which is smaller: d or y?
d
Suppose -5*x + 8*c + 6005 = 11*c, -4*x + 2*c + 4782 = 0. Suppose -26 + x = 4*k. Is 295 < k?
False
Let l = 32138 - 32134. Is l greater than or equal to 111?
False
Let j(n) = -10*n**2 + 302*n + 12. Let c be j(30). Does c = -34?
False
Let b = 31.2 + -274.2. Let g = b - -242.6. Which is smaller: 0.94 or g?
g
Suppose 0 = -4*y - 2*o + 14, 7 = -3*y - 117*o + 119*o. Which is greater: y or 7/2085?
y
Let g(l) = -2*l**2 + 33*l - 41. Let i be g(14). Let r(s) = s**3 - 11*s**2 - 9*s - 14. Let h be r(12). Let p = h + 7. Is i at least as big as p?
True
Suppose -136*d = -141*d - 600. Let s = d - 12. Is s at most -131?
True
Let c = 1.6527 - 1.7527. Which is bigger: c or 6044?
6044
Let o = 651.5 - 646.5. Is o greater than -4?
True
Let i be 558/(3/12*4). Let v be (20/16)/(-5) - i/8. Let t = -74 - v. Is -1 greater than t?
True
Let a(i) = 29*i + 28. Let d be a(-1). Which is smaller: d or -4/281?
d
Suppose -150*a - s + 8273 = -147*a, 2*a - 5506 = -2*s. Do 2759 and a have the same value?
False
Let o(f) = -f**3 - 112*f**2 - 242*f + 99. Let s be o(-109). Does -9165 = s?
False
Let h be 118/(-236)*(1 - 2850/2846). Which is smaller: h or -1?
-1
Let v(t) = 97*t - 210. Let q be v(2). Is q less than 3?
True
Let m = 322 - 120. Let a = m + -205. Is 0.2 greater than a?
True
Let d = -8983/5 + 1806. Is d >= 8?
True
Let p be 2/4*(16 - (14 - -2)). Is p < 1/987?
