or 4.4?
4.4
Let y be (-1)/(-3)*(-1)/(-1). Let g be 1*(5 + -1) + 370*(-15)/(-1200). Is g equal to y?
False
Let k = -38.89 - -0.89. Let s = -21.28 + -12.72. Let o = k - s. Which is bigger: -6 or o?
o
Let k be (-4 - 0 - -9) + 167. Let s = k - 183. Which is bigger: -74/7 or s?
-74/7
Let r = 152 - 148.24. Let z = r - 0.76. Let y = 0.2 + -0.7. Is z <= y?
False
Let p = 213 - 201. Suppose -3*j - j - p = 3*m, m + 4 = 3*j. Is j not equal to 1/81?
True
Let h be ((-18)/4)/((-1208)/(-16)). Is h less than 1?
True
Let g = -42730/39 + -24904/13. Is g > 0?
False
Let u(c) = 83*c + 7. Let x be u(3). Let r = 276 - x. Which is bigger: 16 or r?
r
Let k = -38313.2485 + 38322. Let c = k - 0.0515. Is 2 >= c?
False
Let q(y) = 5*y**2 - 30*y + 19. Let r be q(8). Let c be (4/(-18) + 22/r)/(-1). Does 136 = c?
False
Let m = 30 + -72. Let b = m + 48. Let o = 5.8 - b. Is o equal to -4?
False
Let m(q) = -106*q - 1502. Let p be m(-14). Let g be 2 - ((-324)/(-15) + -1). Which is smaller: p or g?
g
Let v(c) = c**3 - 84*c**2 + 84*c - 83. Let u be v(83). Which is bigger: u or 62/387?
62/387
Let g = 3 - 2. Suppose 6*x + 0*x = 18. Suppose -5*w = 2*i - 10*w - 24, -x*i - 2 = 2*w. Which is bigger: i or g?
i
Let z = 2.311 - -4.289. Are -33 and z unequal?
True
Suppose 15354*i + 945 = 15333*i. Let g = 7 - 1. Let f be i/(-10) - (g/4 + 0). Which is smaller: 5 or f?
f
Let p(m) = 91*m - 721. Let z be p(8). Does z = 3/49?
False
Let m be 1 + (-4)/10*4. Let y = 13.04 + -12.84. Is m smaller than y?
True
Let i be 4*4/96 - (-10 + 2735/270). Let j = 0.6 + -0.4. Is j at least as big as i?
True
Let i = 9 + -7. Suppose -3*o = 4*l - 8, 4*l - i = 5*o - 26. Suppose 2 = -o*v + 6. Which is smaller: 12/7 or v?
v
Let a = -9.27 + 10. Let g = a + 20.27. Let l = 6 - 23/4. Is l <= g?
True
Let f be ((52/(-6) - -8) + 2/3)/(-1). Is f at least -1/5961?
True
Let l = 196/53 - 8576/2491. Let w = 60 + -60. Does w = l?
False
Suppose 2*g - 22 = -2*r, -4*g = -7*g + 5*r + 25. Suppose q + g - 5 = 0. Let b be 75/(-10) + (-1)/2. Is b at most as big as q?
True
Let f = -221 - -224. Suppose 14*w = 3*h + 10*w + 99, 2*h + 67 = f*w. Is h less than or equal to -1/4?
True
Let p = 0.9 + -1. Let y = 24884 - 24919. Which is greater: p or y?
p
Let z be ((176/(-6))/4)/(3/(-18)). Let d = z - 179/4. Is d bigger than -21?
True
Let l = -12132 + 12126. Is -96 smaller than l?
True
Let k = 1.18 - 1.347. Let f = 4406 + -4407. Which is greater: k or f?
k
Let u be 10 - (-3 + 7) - 10. Let p = u - 68. Which is bigger: p or 0.2?
0.2
Let t = -845 + 1687/2. Let k = 0.21 + -10.21. Let f = k - -12. Which is smaller: f or t?
t
Let l(b) = b**2 + 3*b - 9. Let s = -33 - -28. Let o be l(s). Do 4/25 and o have different values?
True
Let q = 56580/161329 - 15/1213. Is -0.1 >= q?
False
Suppose -2*i + 68 = -0*i. Suppose 46 + i = w. Suppose k + w - 91 = 0. Is 11 smaller than k?
False
Let t = -235 + 219. Let a = t + 8. Which is smaller: 5 or a?
a
Let d be (15 + -17)*(2526/33 + 2). Let c = -157 - d. Which is bigger: 1 or c?
1
Let b = 127.822 + 0.178. Let o = b + -118.7. Let z = -11.3 + o. Which is greater: z or 16?
16
Let f be 4 + -3 - 66/67. Let k = 25562 + -25563. Which is smaller: f or k?
k
Let j be 466/4 + 1284/(-72) + 17. Is 1 at least j?
False
Let q = 3 - 3.2. Let w be 1594/104*3/((-12)/(-16)). Let c = w - 61. Which is greater: q or c?
c
Let m = 2194524/67 - 32754. Let x be (-3)/(-6) + (-1)/2. Which is bigger: x or m?
m
Let o be (-9)/(-6)*(-114)/(-9). Let t = 107 - 174. Let i be t/(-4) - 5/(-20). Which is bigger: o or i?
o
Let j(n) = 3*n - 4. Let x be j(2). Suppose 4*f = -p + 6*f - 3, x*p + 8 = 5*f. Which is greater: p or 0.88?
p
Suppose 5*a - 4*a + 291 = 4*o, 4*a + 5*o + 1248 = 0. Let l = -271 - a. Is l smaller than 5?
False
Let i = 37/5 - 101/15. Let g = 131 - 70. Suppose -4*c = -g + 25. Which is smaller: c or i?
i
Let h = 32302/3 + -19521176/1813. Is 1 equal to h?
False
Suppose 5*o = 2*c + 8, -16*o - 20 = -19*o + 5*c. Which is smaller: o or 4/2735?
o
Let d = -56 + 83. Suppose 0 = -6*k - d - 3. Let g be (34/42)/(3/(-18)). Which is bigger: g or k?
g
Let o be 1/(81/18) - (-76)/(-18). Let s be 150/(-120) + 6/o + 2. Which is smaller: s or 2/7?
s
Let y = 114 - 91. Let k = 8 - 8.25. Let n = 0.25 + k. Is n < y?
True
Let p = -10306.05 - -10519. Let i = p - 213. Suppose -2*v - 7 = -3*v. Are v and i nonequal?
True
Let a be 2/27*(-9 + (-186)/(-21)). Suppose -h + 9*h = 8. Let x be -8 + 9 + h + -1. Which is bigger: a or x?
x
Let r = -218 - -236. Suppose -13 = -b - r. Which is smaller: b or -1?
b
Let d be 426/(-142) - (199 - 1). Which is bigger: d or -209?
d
Let k = 21565 - 14679. Which is greater: 6885 or k?
k
Let a(z) = 170*z - 342. Let n be a(2). Is n > -120/83?
False
Let z(f) = -f**3 - 6*f**2 - f - 2. Let s be z(-6). Let p be (s/6)/((-56)/966). Suppose 4*l - 8*l + 4*y = 64, 10 = -l - y. Which is smaller: p or l?
l
Let a be 1/1 - (0 + -4). Suppose -n - 8 = 0, 4*n + 62 = 7*c - 2*c. Suppose 2*i = 3*f - i + c, -f - 32 = a*i. Which is greater: f or -23/3?
f
Let b(a) = -a**2 + 8*a + 8. Let t(p) = -2*p**2 - 2*p + 6. Let k be t(2). Let r be k/7*84/(-9). Let w be b(r). Is w at most 6?
False
Let n = 23/459 - 68702/1380213. Let r = 6483/1410283 - n. Which is bigger: r or 1?
1
Let c = -607 + 608. Which is smaller: 7/4 or c?
c
Suppose -35*v = -8173 - 9607. Is v less than 508?
False
Let r(m) = -m**3 - 10*m**2 - 7*m - 64. Let j be r(-5). Let p be 0/((-20)/(-14) - 88/j). Is p >= -17/16?
True
Let g be 9/(-6)*(-5)/(15/74). Let f = 35 - g. Let v be (f/(-15))/(12/285). Is v bigger than 3?
True
Let k(h) = h**3 + 13*h**2 - 29*h + 14. Let f be k(-15). Let g be 132/(-198) + (-104)/6 + f. Which is smaller: g or -18?
g
Let v(g) = g**3 + 3*g**2 - 10*g - 10. Let n be v(-4). Let k be (-13 + 10)/(-1 - (-8)/n). Suppose -k*s = -14*s. Which is smaller: 2/35 or s?
s
Let m be 12135/105*(-168)/(-144). Is m > 135?
False
Let k = 28043852722/16773623265 - 26/6749949. Let o = -116/71 + k. Is o at most as big as -1?
False
Let r(j) be the third derivative of 2*j**4/3 - j**3/6 - 18*j**2. Let x be r(6). Suppose -25 = -6*l + x. Which is bigger: 22 or l?
22
Let y be 1 + (-2*2 - 0). Let r = 414 + -409. Let s be 6/(-18)*r/(20/21). Which is bigger: s or y?
s
Suppose 3024 = -33*y - 9*y + 42. Which is bigger: 16 or y?
16
Suppose 4*u - 9 - 7 = -4*v, 20 = 5*u + 3*v. Suppose u*d + 5*m - 4 = -33, -3*m = d + 9. Suppose -5*k + 4*i - 9 = 8, k - 6*i - 33 = 0. Is k at most d?
True
Let l = 21835/87324 + -1/21831. Is l at least -11.79?
True
Let i = 143.6 + 9.4. Let t = i - 174. Which is smaller: 1 or t?
t
Suppose -3*n = -6*n + 3*g, 0 = -5*n + 4*g + 4. Suppose -n*a = 63 - 7. Let u = -4755 + 4742. Which is smaller: a or u?
a
Let l = 65.73 + -0.73. Let h = l + -70. Let y be 0 - (-2 + 7/4). Which is smaller: y or h?
h
Let u(c) = 5*c**2 - 328*c + 895. Let n be u(62). Let m = -123 - 97. Is m > n?
True
Let x(m) = -6*m**3 + 3*m**2 - 4*m - 2. Let u be x(2). Suppose d - 3*d - 90 = 4*v, -v + 189 = -4*d. Let k = d - u. Which is smaller: k or -24?
-24
Let c = 48429 - 769585241/15891. Which is smaller: c or 1?
c
Let z be (3 + 70/(-15))*(-2 + 1280/184). Which is bigger: z or -9?
z
Let n = 105 + -104.766. Let j = 9.766 + n. Is 0.05 at most j?
True
Let c = -44285.2 + 44064. Which is greater: -1 or c?
-1
Let s be (-817)/132 + 60/(-990). Which is bigger: s or 81?
81
Let c(k) = -22*k - 44. Let f be c(-2). Let g be ((-724)/3740 + (-6)/(-33))*1. Which is bigger: g or f?
f
Let b = 154.38 - 151.58. Which is bigger: 21/4 or b?
21/4
Let n = -17466.874 - -17467. Let u = 2.8 + -2.826. Let g = n + u. Is g < 11?
True
Let i(m) = -2*m + 3. Let v be i(5). Let s be (-70)/(-28)*-2 + 13. Which is bigger: s or v?
s
Let t = -179.8 - -180. Let q = -7 - 36. Let v = -169/4 - q. Which is bigger: t or v?
v
Let k = -41746/23 + 1815. Which is bigger: k or -2/141?
-2/141
Let a = 154 + 212. Let g = a - 482. Which is greater: g or 1?
1
Let x(g) be the first derivative of -g**4/4 + 6*g**3 - 8*g**2 - 17*g + 27. Let j be x(17). Suppose 3*a + p = -37, p = -4*a - j*p - 51. Is -66/5 != a?
True
Suppose -2*d = -34 - 26. Let m be (108/d)/(3/10). Suppose 0*g + 2*g - 48 = -4*w, 5*w - 4*g - 34 = 0. Does w = m?
False
Let t be ((-2)/(-4))/(2/(-212)). Let c = -5505 - -5451. Which is bigger: c or t?
t
Let a(r) = -3*r**2 + 46*r - 1. Let i be a(12). Which is smaller: i or 118?
118
Suppose y =