qual to j?
True
Let p = 0.751 - -1.249. Is -313 not equal to p?
True
Let y be -7*(-3 - -4)/(-1) + 3. Suppose -10*m + 20 = -y. Is 4 smaller than m?
False
Let o be 1*-1 + (2 - 0). Let c be ((-5)/20)/(27 + 9). Which is smaller: o or c?
c
Suppose 0 = 8*u + 1348 + 1156. Let i = u + 312. Are -5/13 and i non-equal?
True
Suppose 583 - 57 = -5*x + 2*g, -98 = x + 2*g. Which is greater: -86 or x?
-86
Let w be (-12)/(-10)*(-210)/63. Which is bigger: w or -61/24?
-61/24
Let d(m) = 10*m**2 + m + 2. Let v be d(-2). Let t be 218/v + -4*(-3)/48. Let y = t + -571/30. Is y <= -12?
True
Let v(k) = -42*k + 7. Let u be v(3). Let d = -63 - u. Let j be 6/d + 4/28. Is 37 greater than or equal to j?
True
Suppose -24 + 4 = 4*o, 0 = 3*t - 3*o - 204. Let d = 108 - t. Let v = d + -54. Which is greater: -11 or v?
v
Let l = -33.44 + -3.26. Let k = -2.7 - l. Let i = 0.8 + 0.2. Which is greater: i or k?
k
Let p = 2581/91 + -768/13. Which is greater: p or -31?
p
Let i(c) = 2*c**3 - 6*c**2 - 8*c + 5. Let d be i(4). Suppose d*f - 3*b + 1400 = 2*b, 574 = -2*f - 5*b. Does -281 = f?
False
Let j = -1481 - -1481. Which is bigger: 1/27 or j?
1/27
Suppose 0 = 3*d - 15, -3*w + 13 = -61*d + 66*d. Let v be (-45)/3*(-2)/24*w. Suppose g = -3*g - 36. Is g not equal to v?
True
Suppose 2*f - 5 + 3 = 0. Let s be f/(-1 + (-4)/(-5)). Let g(k) = -2*k + 17. Let q be g(12). Which is greater: s or q?
s
Suppose -11 = 2*j - 7. Let p = -17278277/185 - -93397. Let q = 4/37 - p. Is q at most j?
False
Let m = 274 - 300. Let n be (3 + m/6)/(39 - 5). Is -0.2 less than n?
True
Let z be 321/(-12) - 9/(-12). Let g = -22 - z. Suppose g*y + s = 7, 0*s - 5*s + 14 = -y. Which is bigger: 4/9 or y?
y
Suppose q = -4*l + 5, 3*l - 24 = -3*q - 9. Let u be (0 - -3 - -4) + l. Let f(m) = -m**2 - 9*m - 2. Let k be f(-8). Which is smaller: u or k?
k
Let p(o) = 4*o**2 - 36*o + 18. Let j(y) = -8*y**2 + 69*y - 36. Let z(k) = 3*j(k) + 5*p(k). Let a be z(6). Which is greater: -2/1709 or a?
a
Let o = 1.5 - 16.5. Let x be (-2 - -2)/(12/4 + 1). Which is smaller: x or o?
o
Let a = 1219 - 1220. Do 1438 and a have different values?
True
Suppose -130*y + 25978 + 447612 = 0. Which is greater: y or 3642?
y
Let m = -13348 + 13347. Is -38/1041 not equal to m?
True
Suppose -673 = 5*x + 5*z - 198, x - z + 91 = 0. Let s = 12 + -104. Is x at least s?
False
Suppose 50*t + 288 = 62*t. Let z be 2/(-88)*t/(-36). Which is smaller: z or -1/2?
-1/2
Let x = 932 - 933.3. Let h = 18 + -15. Which is smaller: x or h?
x
Let y be 382*(-7)/(-546)*3. Which is smaller: y or 16?
y
Let i = -41.67 + 42.11. Which is smaller: i or 0.054?
0.054
Suppose -5*d = 5*j + 930, 150 = -2*d + 6*j - 238. Which is bigger: -192 or d?
d
Suppose 3*r - 4*r - 493 = -2*f, -5*r = -5*f + 2450. Let t = 488 + r. Are t and 1/17 equal?
False
Let u = -114300617/2145 - -53287. Let g = u - -45061/17160. Which is smaller: 2 or g?
2
Let b = -1.4 - -46.4. Let n = 44.891 - b. Is n smaller than -0.3?
False
Suppose 5*g + 17 = 4*u, 2*u + 39 - 50 = 5*g. Are -13/20 and g equal?
False
Let z = -2500 - -2564. Let q = 68 - 5. Which is smaller: z or q?
q
Suppose 7 = 3*u + 19. Let v be (-378)/(-49) - u/14. Let z = v - -11. Are 19 and z unequal?
False
Let w(v) = -3*v**2 - 91*v + 1096. Let o be w(14). Which is smaller: o or -772?
-772
Let z(s) = s**3 - 13*s**2 + 27*s - 14. Let q = 433 + -422. Let x be z(q). Which is bigger: x or 44?
44
Let c = -55 + -542. Let d = -597 - c. Is d less than or equal to 1/223?
True
Let o = -120.86 + 0.86. Let k = o - -120. Let m = 2.7 + -2.8. Which is smaller: m or k?
m
Let b be (5/3)/(57/171). Suppose -2*q - 2*q = b*q. Which is smaller: -4/5 or q?
-4/5
Let n be (6/((-1620)/(-85)))/1. Let d = -6379/108 + n. Let w = d - -59. Which is bigger: -16/7 or w?
w
Suppose i = -248 + 1140 + 2194. Which is smaller: i or 3087?
i
Let g = -2.3 - -222.3. Let j = -229 + g. Let m = 1 + 0. Which is bigger: j or m?
m
Let u be ((-6)/12 - -2)*-2. Let c = -11.86 - -12. Let s = c - 0.34. Which is smaller: u or s?
u
Let w = -4958.51 + 4832. Let c = 2.51 + w. Are c and -1 nonequal?
True
Let l(h) = -8*h + 22. Let i(u) = -17*u + 44. Let r(c) = 2*i(c) - 5*l(c). Let y be r(5). Suppose -36 = -y*w + 5*w. Is w bigger than 13?
False
Let m = -5815 + 5730. Let t = 23 - 106. Do t and m have the same value?
False
Suppose 7*s = -52 + 52. Suppose 3*v - 12 = 3*o, 4*v + 4*o - 9 = o. Let q be (12/96)/(v/(-4)). Is s greater than or equal to q?
True
Let h = -7 - -10. Suppose -18*n - h + 3 = 0. Is n < 2/147?
True
Let x = 32 + -70. Let s = -38.06 - x. Let b = 0.24 - 0.24. Is b not equal to s?
True
Let g = 10633/86 - -37/43. Let s = -124 + g. Let u(v) = v**3 - 14*v**2 + 15*v - 15. Let l be u(13). Is l less than s?
False
Let k = 29913 + -30091. Which is greater: -52 or k?
-52
Let f = -132252 - -132257. Suppose 55 = 3*q + p, 4*q = -p + 48 + 25. Is q at most as big as f?
False
Suppose 2*x - 24 = -3*d, 5*d - x - 65 = 4*x. Suppose 78 = -d*h + 18. Let c be (-10)/4*1/5*h. Which is smaller: -0.14 or c?
-0.14
Suppose 5*v - 17954 = 4*y, -67*v + 17938 = -4*y - 70*v. Which is bigger: y or -4487?
y
Let w = 1487 - 1486. Which is smaller: w or 2/6881?
2/6881
Let b be -1 - ((-33)/(-5))/(-3). Let v be 3*(35202/72 - (-1)/(-4)). Let d = -1464 + v. Are b and d nonequal?
True
Suppose 1639 = 83*z - 72*z. Let g = 342 + -192. Which is smaller: g or z?
z
Suppose -86 = -7*v + 12. Suppose 0 = -3*d + 4*p - 41, 4*p = d - 3*d - v. Is d > -11?
False
Let l be (12866/(-12))/((-218)/(-2616)). Is 1 at least l?
True
Let y be 202/36 + 299/(-46). Which is smaller: 68 or y?
y
Let t = -6996 - -6995. Which is smaller: t or -1/12065?
t
Let r = 211/2 + -1479/14. Let j = 387 + -316. Which is bigger: r or j?
j
Suppose -2888 + 9424 = 2*v. Suppose -18*n + v = n. Is 0 at most n?
True
Let w = 139 + -14. Suppose -119*p - 90 = -w*p. Does 18 = p?
False
Let i be (2/777)/((700/30)/(-14)). Let c = -1291/2590 + i. Is c less than or equal to 0.2?
True
Let r = 211.93 - 166.93. Which is bigger: 4.1 or r?
r
Let q be 4543/(-42) - (51/18 + -3). Let d be -4 - (156/q)/((-1)/(-12)). Suppose 0 = -3*v + 13 + 23. Is v at most as big as d?
True
Let x = -50811 - -354710/7. Is -138 at most as big as x?
False
Let x = 30133/474588234 - -1/41554. Which is greater: 1 or x?
1
Suppose -t + 75*t = 0. Which is greater: t or -8/43?
t
Let j = 190/9 - 250/9. Let l = -299/45 - j. Suppose -4*w = 8, 3*w + 2*w + 10 = 3*c. Is l bigger than c?
True
Let q be -1 - (405/(-21) + -1). Let x = -4490 + 4508. Which is bigger: x or q?
q
Let h be 4709/(-942) - (-52 + 47). Let k be 1 - (10*12/30 + -4). Is k at least h?
True
Let h be ((-1968)/(-164))/(4192 - 2). Is h smaller than 0?
False
Let j = 1092925/7 - 156211. Suppose -2*u - h - 166 = -3*h, 0 = u + 3*h + 71. Which is greater: u or j?
j
Suppose 5*r + 10 = -b + 2*b, -r = -3*b + 2. Let m be 4/(-64) + 891/11440. Is b at least m?
False
Suppose -1084*i + 1083*i = -4*u + 1063, 1069 = 4*u - 3*i. Does u = 266?
False
Let p(n) = 36*n - 163. Let h be p(11). Let r = 234 - h. Which is smaller: r or -49?
-49
Let t = 751 + -2991/4. Let l be (-3 - 28/(-8))*8. Which is bigger: t or l?
l
Suppose -a - 3*a + 3*b + 9 = 0, 3 = 4*a - b. Suppose -3*o - 15 = 5*q - 0*q, 3*q - 3*o + 33 = a. Let z be 152/q*(-15)/10. Which is greater: 37 or z?
z
Let j(v) = -24*v + 167. Let w be j(7). Let r be 39/252 + w*(-3)/(-12). Let m(o) = -o**2 + 2*o + 4. Let g be m(3). Is r equal to g?
False
Let f = -1 + 2. Suppose -288 = -4*b + 2*z, 9*b - 12*b - z + 216 = 0. Suppose w - 5*w = -b. Which is greater: w or f?
w
Let n(u) = 167 + 0*u**2 - 140 - u**2. Let x be n(-5). Let p be -1 + 0*x/(-4). Which is smaller: p or 2?
p
Let r = 16453 + -1233922/75. Does r = 2?
False
Let d = -72 - -86. Let b = 1051/3752 - -3/536. Does d = b?
False
Let t(s) = -s**2 + 8*s + 988. Let u be t(-45). Which is greater: u or -1399?
u
Let x be 215/318 + 4/(-6). Let i be (1 + 1*5)*(36 + -12). Let y = 143 - i. Which is greater: y or x?
x
Let i = 5097 + -45863/9. Is -0.34 <= i?
True
Let n(r) = 40*r + 3. Let z be n(1). Suppose -z*h + 40*h - 5*w = -38, 5*w = h + 14. Suppose 0 = i + 2 - 8. Is i less than h?
False
Suppose -4*t = 2*i - 7*t - 33, 40 = 2*i + 4*t. Suppose 4*q = 4*g + 2*q - 62, g - 3*q = i. Let n be -9*((-2)/g)/(6/30). Is 6 smaller than n?
False
Let s be (-928)/3894 - (-92)/506. Which is smaller: 1 or s?
s
Let j(k) = -120*k + 4797. Let t 